About the Execution of ITS-Tools for Peterson-PT-6
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8891.523 | 1800000.00 | 3753422.00 | 3951.90 | [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-171654416900178.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-6, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r277-smll-171654416900178
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.9M
-rw-r--r-- 1 mcc users 150K Apr 12 02:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 608K Apr 12 02:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 135K Apr 12 02:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 633K Apr 12 02:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:43 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 84K Apr 23 07:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 254K Apr 23 07:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 65K Apr 23 07:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 220K Apr 23 07:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 294K Apr 12 03:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 1.2M Apr 12 03:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 432K Apr 12 03:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.9M Apr 12 03:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 20K Apr 23 07:42 UpperBounds.txt
-rw-r--r-- 1 mcc users 41K 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 877K 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 1716773469500
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-6
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
StableMarking PT
Running Version 202405141337
[2024-05-27 01:31:11] [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 01:31:11] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-27 01:31:12] [INFO ] Load time of PNML (sax parser for PT used): 422 ms
[2024-05-27 01:31:12] [INFO ] Transformed 1330 places.
[2024-05-27 01:31:12] [INFO ] Transformed 2030 transitions.
[2024-05-27 01:31:12] [INFO ] Found NUPN structural information;
[2024-05-27 01:31:12] [INFO ] Parsed PT model containing 1330 places and 2030 transitions and 6272 arcs in 746 ms.
[2024-05-27 01:31:13] [INFO ] Flatten gal took : 599 ms
[2024-05-27 01:31:14] [INFO ] Flatten gal took : 523 ms
[2024-05-27 01:31:14] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality1583793176475436618.gal : 190 ms
[2024-05-27 01:31:14] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality13369596165472671950.prop : 21 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/ReachabilityCardinality1583793176475436618.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality13369596165472671950.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
RANDOM walk for 40000 steps (8 resets) in 8960 ms. (4 steps per ms) remains 897/1330 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 16 ms. (7 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 16 ms. (7 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 16 ms. (7 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 6 ms. (17 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 897/897 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 897/897 properties
Loading property file /tmp/ReachabilityCardinality13369596165472671950.prop.
[2024-05-27 01:31:15] [INFO ] Flow matrix only has 1820 transitions (discarded 210 similar events)
// Phase 1: matrix 1820 rows 1330 cols
[2024-05-27 01:31:15] [INFO ] Computed 27 invariants in 53 ms
[2024-05-27 01:31:15] [INFO ] State equation strengthened by 330 read => feed constraints.
Invariant property smplace_1307 does not hold.
Invariant property smplace_1208 does not hold.
Invariant property smplace_682 does not hold.
Invariant property smplace_599 does not hold.
SDD proceeding with computation,1326 properties remain. new max is 2
SDD size :1 after 2
Invariant property smplace_953 does not hold.
Invariant property smplace_909 does not hold.
Invariant property smplace_321 does not hold.
SDD proceeding with computation,1323 properties remain. new max is 2
SDD size :2 after 5
Invariant property smplace_357 does not hold.
Invariant property smplace_0 does not hold.
SDD proceeding with computation,1321 properties remain. new max is 2
SDD size :5 after 7
Invariant property smplace_1002 does not hold.
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
At refinement iteration 0 (INCLUDED_ONLY) 0/897 variables, 897/897 constraints. Problems are: Problem set: 0 solved, 897 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 897/3150 variables, and 897 constraints, problems are : Problem set: 0 solved, 897 unsolved in 5132 ms.
Refiners :[Domain max(s): 897/1330 constraints, Positive P Invariants (semi-flows): 0/20 constraints, Generalized P Invariants (flows): 0/7 constraints, State Equation: 0/1330 constraints, ReadFeed: 0/330 constraints, PredecessorRefiner: 897/897 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 897 unsolved
SDD proceeding with computation,1320 properties remain. new max is 2
SDD size :7 after 8
Invariant property smplace_641 does not hold.
At refinement iteration 0 (INCLUDED_ONLY) 0/897 variables, 897/897 constraints. Problems are: Problem set: 0 solved, 897 unsolved
SDD proceeding with computation,1319 properties remain. new max is 2
SDD size :8 after 9
Invariant property smplace_443 does not hold.
Invariant property smplace_44 does not hold.
SDD proceeding with computation,1317 properties remain. new max is 2
SDD size :9 after 11
Invariant property smplace_1094 does not hold.
SDD proceeding with computation,1316 properties remain. new max is 2
SDD size :11 after 12
Invariant property smplace_739 does not hold.
SDD proceeding with computation,1315 properties remain. new max is 2
SDD size :12 after 13
Invariant property smplace_1308 does not hold.
Invariant property smplace_1205 does not hold.
Invariant property smplace_1178 does not hold.
Invariant property smplace_1172 does not hold.
Invariant property smplace_952 does not hold.
Invariant property smplace_681 does not hold.
Invariant property smplace_598 does not hold.
Invariant property smplace_310 does not hold.
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 897/3150 variables, and 897 constraints, problems are : Problem set: 0 solved, 897 unsolved in 5046 ms.
Refiners :[Domain max(s): 897/1330 constraints, Positive P Invariants (semi-flows): 0/20 constraints, Generalized P Invariants (flows): 0/7 constraints, State Equation: 0/1330 constraints, ReadFeed: 0/330 constraints, PredecessorRefiner: 0/897 constraints, Known Traps: 0/0 constraints]
After SMT, in 10760ms problems are : Problem set: 0 solved, 897 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 897 out of 1330 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1330/1330 places, 2030/2030 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 111 transitions
Trivial Post-agglo rules discarded 111 transitions
Performed 111 trivial Post agglomeration. Transition count delta: 111
Iterating post reduction 0 with 111 rules applied. Total rules applied 111 place count 1330 transition count 1919
Reduce places removed 111 places and 0 transitions.
SDD proceeding with computation,1307 properties remain. new max is 2
SDD size :13 after 41
Iterating post reduction 1 with 111 rules applied. Total rules applied 222 place count 1219 transition count 1919
Performed 105 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 105 Pre rules applied. Total rules applied 222 place count 1219 transition count 1814
Deduced a syphon composed of 105 places in 4 ms
Reduce places removed 105 places and 0 transitions.
Iterating global reduction 2 with 210 rules applied. Total rules applied 432 place count 1114 transition count 1814
Applied a total of 432 rules in 272 ms. Remains 1114 /1330 variables (removed 216) and now considering 1814/2030 (removed 216) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 289 ms. Remains : 1114/1330 places, 1814/2030 transitions.
SDD proceeding with computation,1307 properties remain. new max is 4
SDD size :41 after 44
SDD proceeding with computation,1307 properties remain. new max is 8
SDD size :44 after 45
SDD proceeding with computation,1307 properties remain. new max is 16
SDD size :45 after 46
SDD proceeding with computation,1307 properties remain. new max is 32
SDD size :46 after 47
Invariant property smplace_991 does not hold.
Invariant property smplace_912 does not hold.
Invariant property smplace_679 does not hold.
Invariant property smplace_360 does not hold.
Invariant property smplace_320 does not hold.
Invariant property smplace_311 does not hold.
Invariant property smplace_41 does not hold.
Invariant property smplace_1 does not hold.
SDD proceeding with computation,1299 properties remain. new max is 32
SDD size :47 after 74
Invariant property smplace_430 does not hold.
SDD proceeding with computation,1298 properties remain. new max is 32
SDD size :74 after 75
Invariant property smplace_1095 does not hold.
SDD proceeding with computation,1297 properties remain. new max is 32
SDD size :75 after 76
Invariant property smplace_757 does not hold.
SDD proceeding with computation,1296 properties remain. new max is 32
SDD size :76 after 93
SDD proceeding with computation,1296 properties remain. new max is 64
SDD size :93 after 103
SDD proceeding with computation,1296 properties remain. new max is 128
SDD size :103 after 151
SDD proceeding with computation,1296 properties remain. new max is 256
SDD size :151 after 158
SDD proceeding with computation,1296 properties remain. new max is 512
SDD size :158 after 180
Invariant property smplace_1299 does not hold.
Invariant property smplace_1294 does not hold.
Invariant property smplace_1179 does not hold.
Invariant property smplace_1165 does not hold.
Invariant property smplace_945 does not hold.
Invariant property smplace_902 does not hold.
Invariant property smplace_669 does not hold.
Invariant property smplace_460 does not hold.
Invariant property smplace_457 does not hold.
Invariant property smplace_329 does not hold.
Invariant property smplace_90 does not hold.
Invariant property smplace_79 does not hold.
SDD proceeding with computation,1284 properties remain. new max is 512
SDD size :180 after 249
Invariant property smplace_993 does not hold.
Invariant property smplace_946 does not hold.
Invariant property smplace_901 does not hold.
Invariant property smplace_668 does not hold.
Invariant property smplace_412 does not hold.
Invariant property smplace_330 does not hold.
Invariant property smplace_7 does not hold.
SDD proceeding with computation,1277 properties remain. new max is 512
SDD size :249 after 277
Invariant property smplace_1305 does not hold.
Invariant property smplace_1206 does not hold.
Invariant property smplace_1176 does not hold.
Invariant property smplace_1118 does not hold.
Invariant property smplace_1096 does not hold.
Invariant property smplace_992 does not hold.
Invariant property smplace_951 does not hold.
Invariant property smplace_911 does not hold.
Invariant property smplace_684 does not hold.
Invariant property smplace_674 does not hold.
Invariant property smplace_640 does not hold.
Invariant property smplace_597 does not hold.
Invariant property smplace_429 does not hold.
Invariant property smplace_359 does not hold.
Invariant property smplace_319 does not hold.
Invariant property smplace_89 does not hold.
Invariant property smplace_42 does not hold.
Invariant property smplace_2 does not hold.
SDD proceeding with computation,1259 properties remain. new max is 512
SDD size :277 after 622
Invariant property smplace_312 does not hold.
SDD proceeding with computation,1258 properties remain. new max is 512
SDD size :622 after 780
Invariant property smplace_1300 does not hold.
SDD proceeding with computation,1257 properties remain. new max is 512
SDD size :780 after 1269
SDD proceeding with computation,1257 properties remain. new max is 1024
SDD size :1269 after 1376
SDD proceeding with computation,1257 properties remain. new max is 2048
SDD size :1376 after 2197
RANDOM walk for 1529311 steps (4 resets) in 120004 ms. (12 steps per ms) remains 846/897 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 836/846 properties
BEST_FIRST walk for 4004 steps (8 resets) in 140 ms. (28 steps per ms) remains 835/836 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 831/835 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 831/831 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 827/831 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 827/827 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 823/827 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 823/823 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 821/823 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 819/821 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 813/819 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 813/813 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 813/813 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 813/813 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 813/813 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 813/813 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 813/813 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 813/813 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 812/813 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 812/812 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 812/812 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 812/812 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 812/812 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 812/812 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 812/812 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 810/812 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 806/810 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 806/806 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 806/806 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 806/806 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 806/806 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 806/806 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 806/806 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 806/806 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 806/806 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 806/806 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 806/806 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 806/806 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 804/806 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 803/804 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 803/803 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 803/803 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 803/803 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 803/803 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 803/803 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 803/803 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 803/803 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 803/803 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 803/803 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 803/803 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 803/803 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 803/803 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 803/803 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 803/803 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 800/803 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 800/800 properties
[2024-05-27 01:31:58] [INFO ] Flow matrix only has 1604 transitions (discarded 210 similar events)
// Phase 1: matrix 1604 rows 1114 cols
[2024-05-27 01:31:58] [INFO ] Computed 27 invariants in 13 ms
[2024-05-27 01:31:58] [INFO ] State equation strengthened by 330 read => feed constraints.
SDD proceeding with computation,1257 properties remain. new max is 4096
SDD size :2197 after 3018
Invariant property smplace_1188 does not hold.
Invariant property smplace_982 does not hold.
Invariant property smplace_944 does not hold.
Invariant property smplace_903 does not hold.
Invariant property smplace_672 does not hold.
Invariant property smplace_665 does not hold.
Invariant property smplace_458 does not hold.
Invariant property smplace_410 does not hold.
Invariant property smplace_328 does not hold.
Invariant property smplace_9 does not hold.
SDD proceeding with computation,1247 properties remain. new max is 4096
SDD size :3018 after 5619
Invariant property smplace_1086 does not hold.
Invariant property smplace_994 does not hold.
Invariant property smplace_763 does not hold.
Invariant property smplace_435 does not hold.
Invariant property smplace_411 does not hold.
Invariant property smplace_51 does not hold.
Invariant property smplace_8 does not hold.
SDD proceeding with computation,1240 properties remain. new max is 4096
SDD size :5619 after 7667
Invariant property smplace_1085 does not hold.
Invariant property smplace_762 does not hold.
Invariant property smplace_436 does not hold.
Invariant property smplace_288 does not hold.
Invariant property smplace_52 does not hold.
SDD proceeding with computation,1235 properties remain. new max is 4096
SDD size :7667 after 9273
Invariant property smplace_1292 does not hold.
Invariant property smplace_1286 does not hold.
Invariant property smplace_1285 does not hold.
Invariant property smplace_1187 does not hold.
Invariant property smplace_1180 does not hold.
Invariant property smplace_1166 does not hold.
Invariant property smplace_1124 does not hold.
Invariant property smplace_1123 does not hold.
Invariant property smplace_940 does not hold.
Invariant property smplace_938 does not hold.
Invariant property smplace_937 does not hold.
Invariant property smplace_900 does not hold.
Invariant property smplace_894 does not hold.
Invariant property smplace_893 does not hold.
Invariant property smplace_732 does not hold.
Invariant property smplace_731 does not hold.
Invariant property smplace_726 does not hold.
Invariant property smplace_700 does not hold.
Invariant property smplace_693 does not hold.
Invariant property smplace_397 does not hold.
Invariant property smplace_372 does not hold.
Invariant property smplace_371 does not hold.
Invariant property smplace_370 does not hold.
Invariant property smplace_286 does not hold.
Invariant property smplace_285 does not hold.
Invariant property smplace_13 does not hold.
SDD proceeding with computation,1209 properties remain. new max is 4096
SDD size :9273 after 11222
Invariant property smplace_1306 does not hold.
Invariant property smplace_1303 does not hold.
Invariant property smplace_1297 does not hold.
Invariant property smplace_1183 does not hold.
Invariant property smplace_1097 does not hold.
Invariant property smplace_989 does not hold.
Invariant property smplace_985 does not hold.
Invariant property smplace_950 does not hold.
Invariant property smplace_905 does not hold.
Invariant property smplace_758 does not hold.
Invariant property smplace_683 does not hold.
Invariant property smplace_673 does not hold.
Invariant property smplace_662 does not hold.
Invariant property smplace_639 does not hold.
Invariant property smplace_604 does not hold.
Invariant property smplace_432 does not hold.
Invariant property smplace_408 does not hold.
Invariant property smplace_318 does not hold.
Invariant property smplace_313 does not hold.
Invariant property smplace_136 does not hold.
Invariant property smplace_135 does not hold.
Invariant property smplace_133 does not hold.
Invariant property smplace_48 does not hold.
Invariant property smplace_3 does not hold.
SDD proceeding with computation,1185 properties remain. new max is 4096
SDD size :11222 after 23905
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/800 variables, 800/800 constraints. Problems are: Problem set: 0 solved, 800 unsolved
SDD proceeding with computation,1185 properties remain. new max is 8192
SDD size :23905 after 29577
Invariant property smplace_1182 does not hold.
Invariant property smplace_981 does not hold.
Invariant property smplace_943 does not hold.
Invariant property smplace_904 does not hold.
Invariant property smplace_671 does not hold.
Invariant property smplace_666 does not hold.
Invariant property smplace_409 does not hold.
Invariant property smplace_327 does not hold.
Invariant property smplace_287 does not hold.
Invariant property smplace_92 does not hold.
Invariant property smplace_87 does not hold.
Invariant property smplace_10 does not hold.
SDD proceeding with computation,1173 properties remain. new max is 8192
SDD size :29577 after 35352
Invariant property smplace_455 does not hold.
Invariant property smplace_452 does not hold.
Invariant property smplace_451 does not hold.
Invariant property smplace_88 does not hold.
SDD proceeding with computation,1169 properties remain. new max is 8192
SDD size :35352 after 50151
Error getting values : (error "ParserException while parsing response: ((s18 (/ 1.0 2.0))
(s26 (/ 1.0 2.0))
(s30 (/ 1.0 2.0))
(s32 (/ 1.0 2.0))
(s33 (/ 1.0 2.0))
(s40 (/ 1.0 2.0))
(s42 (/ 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))
(s54 (/ 1.0 2.0))
(s55 (/ 1.0 2.0))
(s56 (/ 1.0 2.0))
(s57 (/ 1.0 2.0))
(s58 (/ 1.0 2.0))
(s60 (/ 1.0 2.0))
(s61 (/ 1.0 2.0))
(s62 (/ 1.0 2.0)timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 800/2718 variables, and 800 constraints, problems are : Problem set: 7 solved, 793 unsolved in 45030 ms.
Refiners :[Domain max(s): 800/1114 constraints, Positive P Invariants (semi-flows): 0/20 constraints, Generalized P Invariants (flows): 0/7 constraints, State Equation: 0/1114 constraints, ReadFeed: 0/330 constraints, PredecessorRefiner: 800/800 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 7 solved, 793 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/793 variables, 793/793 constraints. Problems are: Problem set: 7 solved, 793 unsolved
SDD proceeding with computation,1169 properties remain. new max is 16384
SDD size :50151 after 73565
SDD proceeding with computation,1169 properties remain. new max is 32768
SDD size :73565 after 131065
At refinement iteration 1 (INCLUDED_ONLY) 0/793 variables, 0/793 constraints. Problems are: Problem set: 7 solved, 793 unsolved
At refinement iteration 2 (OVERLAPS) 265/1058 variables, 7/800 constraints. Problems are: Problem set: 7 solved, 793 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/1058 variables, 265/1065 constraints. Problems are: Problem set: 7 solved, 793 unsolved
Invariant property smplace_1088 does not hold.
Invariant property smplace_1087 does not hold.
Invariant property smplace_764 does not hold.
Invariant property smplace_422 does not hold.
Invariant property smplace_421 does not hold.
Invariant property smplace_99 does not hold.
Invariant property smplace_50 does not hold.
Invariant property smplace_49 does not hold.
SDD proceeding with computation,1161 properties remain. new max is 32768
SDD size :131065 after 243515
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1058/2718 variables, and 1065 constraints, problems are : Problem set: 11 solved, 789 unsolved in 45049 ms.
Refiners :[Domain max(s): 1058/1114 constraints, Positive P Invariants (semi-flows): 7/20 constraints, Generalized P Invariants (flows): 0/7 constraints, State Equation: 0/1114 constraints, ReadFeed: 0/330 constraints, PredecessorRefiner: 0/800 constraints, Known Traps: 0/0 constraints]
After SMT, in 90313ms problems are : Problem set: 11 solved, 789 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 789 out of 1114 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1114/1114 places, 1814/1814 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 53 transitions
Trivial Post-agglo rules discarded 53 transitions
Performed 53 trivial Post agglomeration. Transition count delta: 53
Iterating post reduction 0 with 53 rules applied. Total rules applied 53 place count 1114 transition count 1761
Reduce places removed 53 places and 0 transitions.
Iterating post reduction 1 with 53 rules applied. Total rules applied 106 place count 1061 transition count 1761
Performed 26 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 26 Pre rules applied. Total rules applied 106 place count 1061 transition count 1735
Deduced a syphon composed of 26 places in 5 ms
Reduce places removed 26 places and 0 transitions.
Iterating global reduction 2 with 52 rules applied. Total rules applied 158 place count 1035 transition count 1735
Applied a total of 158 rules in 164 ms. Remains 1035 /1114 variables (removed 79) and now considering 1735/1814 (removed 79) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 164 ms. Remains : 1035/1114 places, 1735/1814 transitions.
Invariant property smplace_449 does not hold.
RANDOM walk for 1722500 steps (4 resets) in 120011 ms. (14 steps per ms) remains 767/789 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 767/767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 767/767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 767/767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 767/767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 767/767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 767/767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 767/767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 763/767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 763/763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 763/763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 763/763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 763/763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 763/763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 763/763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 760/763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 760/760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 760/760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 760/760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 760/760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 760/760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 760/760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 760/760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 760/760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 760/760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 760/760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 760/760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 760/760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 760/760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 760/760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 760/760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 760/760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 760/760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 760/760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 760/760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 760/760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 760/760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 760/760 properties
SDD proceeding with computation,1160 properties remain. new max is 32768
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 760/760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 760/760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 760/760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 760/760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 756/760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 71 ms. (55 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 756/756 properties
SDD size :243515 after 297507
SDD proceeding with computation,1160 properties remain. new max is 65536
SDD size :297507 after 365793
Probabilistic random walk after 1000000 steps, saw 134414 distinct states, run finished after 18997 ms. (steps per millisecond=52 ) properties seen :0
[2024-05-27 01:34:20] [INFO ] Flow matrix only has 1525 transitions (discarded 210 similar events)
// Phase 1: matrix 1525 rows 1035 cols
[2024-05-27 01:34:20] [INFO ] Computed 27 invariants in 25 ms
[2024-05-27 01:34:20] [INFO ] State equation strengthened by 330 read => feed constraints.
Invariant property smplace_1291 does not hold.
Invariant property smplace_1148 does not hold.
Invariant property smplace_1142 does not hold.
Invariant property smplace_1141 does not hold.
SDD proceeding with computation,1156 properties remain. new max is 65536
SDD size :365793 after 512021
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/756 variables, 756/756 constraints. Problems are: Problem set: 0 solved, 756 unsolved
Invariant property smplace_1181 does not hold.
Invariant property smplace_1110 does not hold.
Invariant property smplace_988 does not hold.
Invariant property smplace_987 does not hold.
Invariant property smplace_974 does not hold.
Invariant property smplace_935 does not hold.
Invariant property smplace_895 does not hold.
Invariant property smplace_753 does not hold.
Invariant property smplace_720 does not hold.
Invariant property smplace_694 does not hold.
Invariant property smplace_660 does not hold.
Invariant property smplace_659 does not hold.
Invariant property smplace_427 does not hold.
Invariant property smplace_404 does not hold.
Invariant property smplace_403 does not hold.
Invariant property smplace_402 does not hold.
Invariant property smplace_365 does not hold.
Invariant property smplace_60 does not hold.
Invariant property smplace_18 does not hold.
Invariant property smplace_16 does not hold.
Invariant property smplace_15 does not hold.
SDD proceeding with computation,1135 properties remain. new max is 65536
SDD size :512021 after 629091
At refinement iteration 1 (INCLUDED_ONLY) 0/756 variables, 0/756 constraints. Problems are: Problem set: 4 solved, 752 unsolved
At refinement iteration 2 (OVERLAPS) 224/980 variables, 8/764 constraints. Problems are: Problem set: 4 solved, 752 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/980 variables, 224/988 constraints. Problems are: Problem set: 4 solved, 752 unsolved
Error getting values : (error "ParserException while parsing response: ((s0 0.0)
(s1 0.0)
(s2 0.0)
(s3 0.0)
(s4 0.0)
(s5 0.0)
(s6 0.0)
(s7 0.0)
(s8 0.0)
(s9 0.0)
(s10 0.0)
(s11 0.0)
(s12 0.0)
(s13 0.0)
(s14 0.0)
(s15 0.0)
(s16 0.0)
(s17 0.0)
(s18 0.0)
(s19 0.0)
(s20 0.0)
(s21 0.0)
(s22 0.0)
(s23 0.0)
(s24 0.0)
(s25 0.0)
(s26 0.0)
(s27 0.0)
(s28 0.0)
(s29 0.0)
(s30 (/ 1.0 240.0))
(s31 0.0)
(s32 (/ 1.0 240.0))
(s33 0.0)
(s34 0.0)
(s35 0.0)
(s36 0.0)
(s37 0.0)
(s38 0.0)
(s39 0.0)
(s40 0.0)
(s41 0.0)
(s42 0.0)
(s43 0.0)
(s44 0.0)
(s45 0.0)
(s46 (/ 1.0 240.0))
(s47 (/ 1.0 240.0))
(s48 (/ 1.0 240.0))
(s49 (/ 1.0 240.0))
(s50 (/ 1.0 240.0))
(s51 (/ 1.0 240.0))
(s52 (/ 1.0 240.0))
(s53 (/ 1.0 240.0))
(s54 (/ 1.0 240.0))
(s55 (/ 1.0 240.0))
(s56 (/ 1.0 240.0))
(s57 (/ 1.0 240.0))
(s58 0.0)
(s59 0.0)
(s60 (/ 1.0 240.0))
(s61 (/ 1.0 240.0))
(s62 (/ 1.0 240.0))
(s63 (/ 1.0 240.0))
(s64 (/ 1.0 240.0))
(s65 0.0)
(s66 0.0)
(s67 (/ 1.0 240.0))
(s68 (/ 1.0 240.0))
(s69 (/ 1.0 240.0))
(s70 (/ 29.0 48.0))
(s71 (/ 1.0 240.0))
(s72 0.0)
(s73 (/ 1.0 240.0))
(s74 (/ 1.0 240.0))
(s75 0.0)
(s76 (/ 1.0 240.0))
(s77 0.0)
(s78 0.0)
(s79 0.0)
(s80 (/ 1.0 240.0))
(s81 0.0)
(s82 (/ 1.0 240.0))
(s83 (/ 1.0 240.0))
(s84 (/ 1.0 240.0))
(s85 (/ 1.0 240.0))
(s86 (/ 1.0 240.0))
(s87 (/ 1.0 240.0))
(s88 (/ 1.0 240.0))
(s89 (/ 1.0 240.0))
(s90 (/ 1.0 240.0))
(s91 (/ 1.0 240.0))
(s92 (/ 1.0 240.0))
(s93 (/ 1.0 240.0))
(s94 (/ 1.0 240.0))
(s95 (/ 1.0 240.0))
(s96 (/ 1.0 240.0))
(s97 (/ 1.0 240.0))
(s98 (/ 1.0 240.0))
(s99 (/ 1.0 240.0))
(s100 (/ 1.0 240.0))
(s101 (/ 1.0 240.0))
(s102 (/ 1.0 240.0))
(s103 (/ 1.0 240.0))
(s104 (/ 1.0 240.0))
(s105 (/ 1.0 240.0))
(s106 (/ 1.0 240.0))
(s107 (/ 1.0 240.0))
(s108 (/ 1.0 240.0))
(s109 (/ 1.0 240.0))
(s110 (/ 1.0 240.0))
(s111 (/ 1.0 240.0))
(s112 (/ 1.0 240.0))
(s113 (/ 1.0 240.0))
(s114 (/ 1.0 240.0))
(s115 (/ 1.0 240.0))
(s116 (/ 1.0 240.0))
(s117 (/ 1.0 240.0))
(s118 (/ 1.0 240.0))
(s119 (/ 1.0 240.0))
(s120 (/ 1.0 240.0))
(s121 0.0)
(s122 (/ 1.0 240.0))
(s123 0.0)
(s124 0.0)
(s125 (/ 1.0 240.0))
(s126 (/ 1.0 240.0))
(s127 (/ 1.0 240.0))
(s128 (/ 1.0 240.0))
(s129 (/ 1.0 240.0))
(s130 (/ 1.0 240.0))
(s131 (/ 1.0 240.0))
(s132 (/ 1.0 240.0))
(s133 (/ 1.0 240.0))
(s134 (/ 1.0 240.0))
(s135 (/ 1.0 240.0))
(s136 (/ 1.0 240.0))
(s137 (/ 1.0 240.0))
(s138 (/ 1.0 240.0))
(s139 (/ 1.0 240.0))
(s140 (/ 1.0 240.0))
(s141 (/ 1.0 240.0))
(s142 (/ 1.0 240.0))
(s143 (/ 1.0 240.0))
(s144 (/ 1.0 240.0))
(s145 (/ 1.0 240.0))
(s146 (/ 1.0 240.0))
(s147 (/ 1.0 240.0))
(s148 (/ 1.0 240.0))
(s149 (/ 1.0 240.0))
(s150 (/ 1.0 240.0))
(s151 (/ 1.0 240.0))
(s152 (/ 1.0 240.0))
(s153 (/ 1.0 240.0))
(s154 (/ 1.0 240.0))
(s155 (/ 1.0 240.0))
(s156 (/ 1.0 240.0))
(s157 (/ 1.0 240.0))
(s158 (/ 1.0 240.0))
(s159 (/ 1.0 240.0))
(s160 (/ 1.0 240.0))
(s161 (/ 1.0 240.0))
(s162 (/ 1.0 240.0))
(s163 (/ 1.0 240.0))
(s164 (/ 1.0 240.0))
(s165 (/ 1.0 240.0))
(s166 (/ 1.0 240.0))
(s167 (/ 1.0 240.0))
(s168 (/ 1.0 240.0))
(s169 (/ 1.0 240.0))
(s170 (/ 1.0 240.0))
(s171 (/ 1.0 240.0))
(s172 (/ 1.0 240.0))
(s173 (/ 1.0 240.0))
(s174 (/ 1.0 240.0))
(s175 (/ 1.0 240.0))
(s176 (/ 1.0 240.0))
(s177 (/ 1.0 240.0))
(s178 (/ 1.0 240.0))
(s179 (/ 1.0 240.0))
(s180 (/ 1.0 240.0))
(s181 (/ 1.0 240.0))
(s182 (/ 1.0 240.0))
(s183 (/ 1.0 240.0))
(s184 (/ 1.0 240.0))
(s185 (/ 1.0 240.0))
(s186 (/ 1.0 240.0))
(s187 (/ 1.0 240.0))
(s188 (/ 1.0 240.0))
(s189 (/ 1.0 240.0))
(s190 (/ 1.0 240.0))
(s191 (/ 1.0 240.0))
(s192 (/ 1.0 240.0))
(s193 (/ 1.0 240.0))
(s194 (/ 1.0 240.0))
(s195 (/ 1.0 240.0))
(s196 (/ 1.0 240.0))
(s197 (/ 1.0 240.0))
(s198 (/ 1.0 240.0))
(s199 (/ 1.0 240.0))
(s200 (/ 1.0 240.0))
(s201 (/ 1.0 240.0))
(s202 (/ 1.0 240.0))
(s203 (/ 1.0 240.0))
(s204 (/ 137.0 240.0))
(s205 (/ 1.0 240.0))
(s206 (/ 1.0 240.0))
(s207 (/ 1.0 240.0))
(s208 (/ 1.0 240.0))
(s209 (/ 1.0 240.0))
(s210 (/ 1.0 240.0))
(s211 (/ 1.0 240.0))
(s212 (/ 1.0 240.0))
(s213 (/ 1.0 240.0))
(s214 (/ 1.0 240.0))
(s215 (/ 1.0 240.0))
(s216 (/ 1.0 240.0))
(s217 (/ 1.0 240.0))
(s218 (/ 1.0 240.0))
(s219 (/ 1.0 240.0))
(s220 (/ 1.0 240.0))
(s221 (/ 1.0 240.0))
(s222 (/ 1.0 240.0))
(s223 (/ 1.0 240.0))
(s224 (/ 1.0 240.0))
(s225 (/ 1.0 240.0))
(s226 (/ 1.0 240.0))
(s227 (/ 1.0 240.0))
(s228 (/ 1.0 240.0))
(s229 (/ 1.0 240.0))
(s230 (/ 1.0 240.0))
(s231 (/ 1.0 240.0))
(s232 (/ 1.0 240.0))
(s233 (/ 1.0 240.0))
(s234 (/ 1.0 240.0))
(s235 (/ 1.0 240.0))
(s236 (/ 1.0 240.0))
(s237 (/ 1.0 240.0))
(s238 (/ 1.0 240.0))
(s239 (/ 1.0 240.0))
(s240 (/ 1.0 240.0))
(s241 (/ 1.0 240.0))
(s242 (/ 1.0 240.0))
(s243 (/ 1.0 240.0))
(s244 (/ 1.0 240.0))
(s245 (/ 1.0 240.0))
(s246 (/ 1.0 240.0))
(s247 (/ 1.0 240.0))
(s248 (/ 1.0 240.0))
(s249 (/ 1.0 240.0))
(s250 (/ 1.0 240.0))
(s251 (/ 1.0 240.0))
(s252 (/ 1.0 240.0))
(s253 (/ 1.0 240.0))
(s254 (/ 1.0 240.0))
(s255 (/ 1.0 240.0))
(s256 (/ 1.0 240.0))
(s257 (/ 1.0 240.0))
(s258 (/ 1.0 240.0))
(s259 (/ 1.0 240.0))
(s260 (/ 1.0 240.0))
(s261 (/ 1.0 240.0))
(s262 (/ 1.0 240.0))
(s263 (/ 1.0 240.0))
(s264 (/ 1.0 240.0))
(s265 (/ 1.0 240.0))
(s266 (/ 1.0 240.0))
(s267 (/ 1.0 240.0))
(s268 (/ 1.0 240.0))
(s269 (/ 1.0 240.0))
(s270 (/ 1.0 240.0))
(s271 (/ 1.0 240.0))
(s272 (/ 1.0 240.0))
(s273 0.0)
(s274 0.0)
(s275 0.0)
(s276 0.0)
(s277 0.0)
(s278 0.0)
(s279 0.0)
(s280 0.0)
(s281 0.0)
(s282 0.0)
(s283 0.0)
(s284 0.0)
(s285 0.0)
(s286 0.0)
(s287 0.0)
(s288 0.0)
(s289 (/ 1.0 240.0))
(s290 (/ 1.0 240.0))
(s291 (/ 1.0 240.0))
(s292 (/ 1.0 240.0))
(s293 (/ 1.0 240.0))
(s294 (/ 1.0 240.0))
(s295 (/ 1.0 240.0))
(s296 (/ 1.0 240.0))
(s297 (/ 1.0 240.0))
(s298 0.0)
(s299 0.0)
(s300 0.0)
(s301 0.0)
(s302 0.0)
(s303 0.0)
(s304 0.0)
(s305 0.0)
(s306 0.0)
(s307 0.0)
(s308 0.0)
(s309 0.0)
(s310 0.0)
(s311 0.0)
(s312 0.0)
(s313 (/ 1.0 2.0))
(s314 0.0)
(s315 0.0)
(s316 0.0)
(s317 0.0)
(s318 0.0)
(s319 0.0)
(s320 0.0)
(s321 0.0)
(s322 0.0)
(s323 0.0)
(s324 0.0)
(s325 0.0)
(s326 0.0)
(s327 0.0)
(s328 0.0)
(s329 0.0)
(s330 0.0)
(s331 0.0)
(s332 0.0)
(s333 0.0)
(s334 0.0)
(s335 0.0)
(s336 0.0)
(s337 0.0)
(s338 0.0)
(s339 0.0)
(s340 0.0)
(s341 0.0)
(s342 0.0)
(s343 0.0)
(s344 0.0)
(s345 0.0)
(s346 0.0)
(s347 0.0)
(s348 0.0)
(s349 0.0)
(s350 0.0)
(s351 0.0)
(s352 0.0)
(s353 0.0)
(s354 0.0)
(s355 0.0)
(s356 0.0)
(s357 0.0)
(s358 0.0)
(s359 0.0)
(s360 0.0)
(s361 0.0)
(s362 0.0)
(s363 0.0)
(s364 0.0)
(s365 0.0)
(s366 0.0)
(s367 (/ 1.0 240.0))
(s368 0.0)
(s369 (/ 1.0 240.0))
(s370 (/ 1.0 240.0))
(s371 (/ 1.0 240.0))
(s372 (/ 1.0 240.0))
(s373 0.0)
(s374 (/ 1.0 240.0))
(s375 (/ 1.0 240.0))
(s376 (/ 1.0 240.0))
(s377 (/ 1.0 240.0))
(s378 (/ 1.0 240.0))
(s379 0.0)
(s380 (/ 1.0 240.0))
(s381 0.0)
(s382 0.0)
(s383 (/ 1.0 240.0))
(s384 (/ 1.0 240.0))
(s385 (/ 1.0 240.0))
(s386 (/ 1.0 240.0))
(s387 (/ 1.0 240.0))
(s388 (/ 1.0 240.0))
(s389 (/ 1.0 240.0))
(s390 0.0)
(s391 (/ 1.0 240.0))
(s392 (/ 1.0 240.0))
(s393 (/ 1.0 240.0))
(s394 (/ 1.0 240.0))
(s395 (/ 1.0 240.0))
(s396 (/ 1.0 240.0))
(s397 (/ 1.0 240.0))
(s398 (/ 1.0 240.0))
(s399 (/ 1.0 240.0))
(s400 (/ 1.0 240.0))
(s401 (/ 1.0 240.0))
(s402 0.0)
(s403 (/ 1.0 240.0))
(s404 (/ 1.0 240.0))
(s405 (/ 1.0 240.0))
(s406 (/ 1.0 240.0))
(s407 0.0)
(s408 (/ 1.0 240.0))
(s409 (/ 1.0 240.0))
(s410 (/ 1.0 240.0))
(s411 (/ 1.0 240.0))
(s412 (/ 1.0 240.0))
(s413 (/ 1.0 240.0))
(s414 (/ 1.0 240.0))
(s415 (/ 1.0 240.0))
(s416 (/ 1.0 240.0))
(s417 (/ 1.0 240.0))
(s418 (/ 1.0 240.0))
(s419 (/ 25.0 48.0))
(s420 (/ 1.0 240.0))
(s421 (/ 1.0 240.0))
(s422 (/ 1.0 240.0))
(s423 (/ 1.0 240.0))
(s424 (/ 1.0 240.0))
(s425 (/ 1.0 240.0))
(s426 (/ 1.0 240.0))
(s427 (/ 1.0 240.0))
(s428 (/ 1.0 240.0))
(s429 (/ 1.0 240.0))
(s430 (/ 1.0 240.0))
(s431 (/ 1.0 240.0))
(s432 (/ 1.0 240.0))
(s433 (/ 1.0 240.0))
(s434 (/ 1.0 240.0))
(s435 (/ 1.0 240.0))
(s436 (/ 1.0 240.0))
(s437 (/ 1.0 240.0))
(s438 (/ 1.0 240.0))
(s439 (/ 1.0 240.0))
(s440 (/ 1.0 240.0))
(s441 (/ 1.0 240.0))
(s442 (/ 1.0 240.0))
(s443 (/ 1.0 240.0))
(s444 (/ 1.0 240.0))
(s445 (/ 1.0 240.0))
(s446 (/ 1.0 240.0))
(s447 (/ 1.0 240.0))
(s448 (/ 1.0 240.0))
(s449 (/ 1.0 240.0))
(s450 (/ 1.0 240.0))
(s451 (/ 1.0 240.0))
(s452 (/ 1.0 240.0))
(s453 (/ 1.0 240.0))
(s454 (/ 1.0 240.0))
(s455 (/ 1.0 240.0))
(s456 (/ 1.0 240.0))
(s457 (/ 1.0 240.0))
(s458 (/ 1.0 240.0))
(s459 (/ 1.0 240.0))
(s460 (/ 1.0 240.0))
(s461 (/ 1.0 240.0))
(s462 (/ 1.0 240.0))
(s463 (/ 1.0 240.0))
(s464 (/ 1.0 240.0))
(s465 (/ 1.0 240.0))
(s466 (/ 1.0 240.0))
(s467 (/ 1.0 240.0))
(s468 (/ 1.0 240.0))
(s469 (/ 1.0 240.0))
(s470 (/ 1.0 240.0))
(s471 (/ 1.0 240.0))
(s472 (/ 1.0 240.0))
(s473 (/ 1.0 240.0))
(s474 (/ 1.0 240.0))
(s475 (/ 1.0 240.0))
(s476 timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 980/2560 variables, and 988 constraints, problems are : Problem set: 4 solved, 752 unsolved in 75028 ms.
Refiners :[Domain max(s): 980/1035 constraints, Positive P Invariants (semi-flows): 8/20 constraints, Generalized P Invariants (flows): 0/7 constraints, State Equation: 0/1035 constraints, ReadFeed: 0/330 constraints, PredecessorRefiner: 756/756 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 4 solved, 752 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/752 variables, 752/752 constraints. Problems are: Problem set: 4 solved, 752 unsolved
Invariant property smplace_1284 does not hold.
Invariant property smplace_1279 does not hold.
Invariant property smplace_1278 does not hold.
Invariant property smplace_1277 does not hold.
Invariant property smplace_1196 does not hold.
Invariant property smplace_1186 does not hold.
Invariant property smplace_1173 does not hold.
Invariant property smplace_1167 does not hold.
Invariant property smplace_1121 does not hold.
Invariant property smplace_1092 does not hold.
Invariant property smplace_1020 does not hold.
Invariant property smplace_1019 does not hold.
Invariant property smplace_1014 does not hold.
Invariant property smplace_1013 does not hold.
At refinement iteration 1 (INCLUDED_ONLY) 0/752 variables, 0/752 constraints. Problems are: Problem set: 5 solved, 751 unsolved
At refinement iteration 2 (OVERLAPS) 228/980 variables, 8/760 constraints. Problems are: Problem set: 5 solved, 751 unsolved
Invariant property smplace_978 does not hold.
At refinement iteration 3 (INCLUDED_ONLY) 0/980 variables, 228/988 constraints. Problems are: Problem set: 5 solved, 751 unsolved
Invariant property smplace_932 does not hold.
Invariant property smplace_931 does not hold.
Invariant property smplace_930 does not hold.
Invariant property smplace_929 does not hold.
Invariant property smplace_752 does not hold.
Invariant property smplace_718 does not hold.
Invariant property smplace_717 does not hold.
Invariant property smplace_692 does not hold.
Invariant property smplace_691 does not hold.
Invariant property smplace_690 does not hold.
Invariant property smplace_656 does not hold.
Invariant property smplace_426 does not hold.
Invariant property smplace_389 does not hold.
Invariant property smplace_380 does not hold.
Invariant property smplace_379 does not hold.
Invariant property smplace_378 does not hold.
Invariant property smplace_377 does not hold.
Invariant property smplace_296 does not hold.
Invariant property smplace_294 does not hold.
Invariant property smplace_293 does not hold.
Invariant property smplace_291 does not hold.
At refinement iteration 4 (INCLUDED_ONLY) 0/980 variables, 0/988 constraints. Problems are: Problem set: 7 solved, 749 unsolved
At refinement iteration 5 (OVERLAPS) 6/986 variables, 6/994 constraints. Problems are: Problem set: 7 solved, 749 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/986 variables, 6/1000 constraints. Problems are: Problem set: 7 solved, 749 unsolved
Invariant property smplace_53 does not hold.
Invariant property smplace_22 does not hold.
SDD proceeding with computation,1097 properties remain. new max is 65536
SDD size :629091 after 690840
Invariant property smplace_1304 does not hold.
Invariant property smplace_1295 does not hold.
Invariant property smplace_1193 does not hold.
Invariant property smplace_1048 does not hold.
Invariant property smplace_1047 does not hold.
Invariant property smplace_1045 does not hold.
Invariant property smplace_1042 does not hold.
Invariant property smplace_949 does not hold.
Invariant property smplace_906 does not hold.
At refinement iteration 7 (INCLUDED_ONLY) 0/986 variables, 0/1000 constraints. Problems are: Problem set: 10 solved, 746 unsolved
Invariant property smplace_812 does not hold.
Invariant property smplace_811 does not hold.
Invariant property smplace_810 does not hold.
Invariant property smplace_797 does not hold.
At refinement iteration 8 (OVERLAPS) 7/993 variables, 7/1007 constraints. Problems are: Problem set: 13 solved, 743 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/993 variables, 7/1014 constraints. Problems are: Problem set: 13 solved, 743 unsolved
Invariant property smplace_678 does not hold.
Invariant property smplace_676 does not hold.
[2024-05-27 01:36:44] [INFO ] Deduced a trap composed of 67 places in 1481 ms of which 178 ms to minimize.
Invariant property smplace_603 does not hold.
Invariant property smplace_484 does not hold.
Invariant property smplace_479 does not hold.
Invariant property smplace_478 does not hold.
Invariant property smplace_477 does not hold.
[2024-05-27 01:36:45] [INFO ] Deduced a trap composed of 40 places in 922 ms of which 11 ms to minimize.
[2024-05-27 01:36:46] [INFO ] Deduced a trap composed of 214 places in 410 ms of which 8 ms to minimize.
[2024-05-27 01:36:46] [INFO ] Deduced a trap composed of 108 places in 537 ms of which 9 ms to minimize.
[2024-05-27 01:36:47] [INFO ] Deduced a trap composed of 217 places in 500 ms of which 8 ms to minimize.
[2024-05-27 01:36:47] [INFO ] Deduced a trap composed of 84 places in 364 ms of which 6 ms to minimize.
[2024-05-27 01:36:49] [INFO ] Deduced a trap composed of 49 places in 578 ms of which 9 ms to minimize.
Invariant property smplace_317 does not hold.
Invariant property smplace_138 does not hold.
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 993/2560 variables, and 1021 constraints, problems are : Problem set: 17 solved, 739 unsolved in 75029 ms.
Refiners :[Domain max(s): 993/1035 constraints, Positive P Invariants (semi-flows): 14/20 constraints, Generalized P Invariants (flows): 7/7 constraints, State Equation: 0/1035 constraints, ReadFeed: 0/330 constraints, PredecessorRefiner: 0/756 constraints, Known Traps: 7/7 constraints]
After SMT, in 150293ms problems are : Problem set: 17 solved, 739 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 739 out of 1035 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1035/1035 places, 1735/1735 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 31 transitions
Trivial Post-agglo rules discarded 31 transitions
Performed 31 trivial Post agglomeration. Transition count delta: 31
Iterating post reduction 0 with 31 rules applied. Total rules applied 31 place count 1035 transition count 1704
Reduce places removed 31 places and 0 transitions.
Iterating post reduction 1 with 31 rules applied. Total rules applied 62 place count 1004 transition count 1704
Performed 13 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 13 Pre rules applied. Total rules applied 62 place count 1004 transition count 1691
Deduced a syphon composed of 13 places in 6 ms
Reduce places removed 13 places and 0 transitions.
Iterating global reduction 2 with 26 rules applied. Total rules applied 88 place count 991 transition count 1691
Applied a total of 88 rules in 101 ms. Remains 991 /1035 variables (removed 44) and now considering 1691/1735 (removed 44) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 101 ms. Remains : 991/1035 places, 1691/1735 transitions.
SDD proceeding with computation,1075 properties remain. new max is 65536
SDD size :690840 after 1.65566e+06
RANDOM walk for 1837315 steps (4 resets) in 120004 ms. (15 steps per ms) remains 731/739 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 727/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 70 ms. (56 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 727/727 properties
Probabilistic random walk after 1000000 steps, saw 131992 distinct states, run finished after 17258 ms. (steps per millisecond=57 ) properties seen :0
[2024-05-27 01:37:38] [INFO ] Flow matrix only has 1481 transitions (discarded 210 similar events)
// Phase 1: matrix 1481 rows 991 cols
[2024-05-27 01:37:38] [INFO ] Computed 27 invariants in 6 ms
[2024-05-27 01:37:38] [INFO ] State equation strengthened by 330 read => feed constraints.
Invariant property smplace_1298 does not hold.
Invariant property smplace_990 does not hold.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/727 variables, 727/727 constraints. Problems are: Problem set: 0 solved, 727 unsolved
Invariant property smplace_638 does not hold.
At refinement iteration 1 (INCLUDED_ONLY) 0/727 variables, 0/727 constraints. Problems are: Problem set: 0 solved, 727 unsolved
At refinement iteration 2 (OVERLAPS) 208/935 variables, 7/734 constraints. Problems are: Problem set: 0 solved, 727 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/935 variables, 208/942 constraints. Problems are: Problem set: 0 solved, 727 unsolved
Invariant property smplace_407 does not hold.
Invariant property smplace_314 does not hold.
At refinement iteration 4 (INCLUDED_ONLY) 0/935 variables, 0/942 constraints. Problems are: Problem set: 0 solved, 727 unsolved
At refinement iteration 5 (OVERLAPS) 7/942 variables, 7/949 constraints. Problems are: Problem set: 0 solved, 727 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/942 variables, 7/956 constraints. Problems are: Problem set: 0 solved, 727 unsolved
Error getting values : (error "ParserException while parsing response: ((s0 0.0)
(s1 0.0)
(s2 0.0)
(s3 0.0)
(s4 0.0)
(s5 0.0)
(s6 0.0)
(s7 0.0)
(s8 0.0)
(s9 0.0)
(s10 0.0)
(s11 0.0)
(s12 0.0)
(s13 0.0)
(s14 0.0)
(s15 0.0)
(s16 0.0)
(s17 0.0)
(s18 0.0)
(s19 0.0)
(s20 0.0)
(s21 0.0)
(s22 0.0)
(s23 0.0)
(s24 0.0)
(s25 0.0)
(s26 0.0)
(s27 0.0)
(s28 0.0)
(s29 0.0)
(s30 0.0)
(s31 0.0)
(s32 0.0)
(s33 0.0)
(s34 0.0)
(s35 0.0)
(s36 0.0)
(s37 0.0)
(s38 0.0)
(s39 0.0)
(s40 0.0)
(s41 0.0)
(s42 0.0)
(s43 0.0)
(s44 0.0)
(s45 0.0)
(s46 (/ 1.0 230.0))
(s47 (/ 1.0 230.0))
(s48 (/ 1.0 230.0))
(s49 (/ 1.0 230.0))
(s50 (/ 1.0 230.0))
(s51 (/ 1.0 230.0))
(s52 (/ 1.0 230.0))
(s53 (/ 1.0 230.0))
(s54 (/ 1.0 230.0))
(s55 (/ 1.0 230.0))
(s56 (/ 1.0 230.0))
(s57 (/ 1.0 230.0))
(s58 0.0)
(s59 (/ 1.0 230.0))
(s60 (/ 1.0 230.0))
(s61 (/ 1.0 230.0))
(s62 (/ 1.0 230.0))
(s63 (/ 1.0 230.0))
(s64 0.0)
(s65 (/ 1.0 230.0))
(s66 (/ 1.0 230.0))
(s67 (/ 1.0 230.0))
(s68 0.0)
(s69 (/ 1.0 230.0))
(s70 0.0)
(s71 (/ 1.0 230.0))
(s72 (/ 1.0 230.0))
(s73 0.0)
(s74 (/ 1.0 230.0))
(s75 0.0)
(s76 0.0)
(s77 0.0)
(s78 (/ 1.0 230.0))
(s79 0.0)
(s80 (/ 1.0 230.0))
(s81 (/ 1.0 230.0))
(s82 (/ 1.0 230.0))
(s83 (/ 1.0 230.0))
(s84 (/ 1.0 230.0))
(s85 (/ 1.0 230.0))
(s86 (/ 1.0 230.0))
(s87 (/ 1.0 230.0))
(s88 (/ 1.0 230.0))
(s89 (/ 1.0 230.0))
(s90 (/ 1.0 230.0))
(s91 (/ 1.0 230.0))
(s92 (/ 1.0 230.0))
(s93 (/ 1.0 230.0))
(s94 timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 942/2472 variables, and 956 constraints, problems are : Problem set: 0 solved, 727 unsolved in 90022 ms.
Refiners :[Domain max(s): 942/991 constraints, Positive P Invariants (semi-flows): 14/20 constraints, Generalized P Invariants (flows): 0/7 constraints, State Equation: 0/991 constraints, ReadFeed: 0/330 constraints, PredecessorRefiner: 727/727 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 727 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/727 variables, 727/727 constraints. Problems are: Problem set: 0 solved, 727 unsolved
Invariant property smplace_4 does not hold.
SDD proceeding with computation,1069 properties remain. new max is 65536
SDD size :1.65566e+06 after 2.04375e+06
At refinement iteration 1 (INCLUDED_ONLY) 0/727 variables, 0/727 constraints. Problems are: Problem set: 0 solved, 727 unsolved
At refinement iteration 2 (OVERLAPS) 208/935 variables, 7/734 constraints. Problems are: Problem set: 0 solved, 727 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/935 variables, 208/942 constraints. Problems are: Problem set: 0 solved, 727 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/935 variables, 0/942 constraints. Problems are: Problem set: 0 solved, 727 unsolved
At refinement iteration 5 (OVERLAPS) 7/942 variables, 7/949 constraints. Problems are: Problem set: 0 solved, 727 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/942 variables, 7/956 constraints. Problems are: Problem set: 0 solved, 727 unsolved
Invariant property smplace_1192 does not hold.
Invariant property smplace_942 does not hold.
Invariant property smplace_897 does not hold.
Invariant property smplace_697 does not hold.
Invariant property smplace_326 does not hold.
Invariant property smplace_290 does not hold.
At refinement iteration 7 (INCLUDED_ONLY) 0/942 variables, 0/956 constraints. Problems are: Problem set: 0 solved, 727 unsolved
SDD proceeding with computation,1063 properties remain. new max is 65536
SDD size :2.04375e+06 after 2.43175e+06
At refinement iteration 8 (OVERLAPS) 7/949 variables, 7/963 constraints. Problems are: Problem set: 0 solved, 727 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/949 variables, 7/970 constraints. Problems are: Problem set: 0 solved, 727 unsolved
[2024-05-27 01:40:13] [INFO ] Deduced a trap composed of 40 places in 966 ms of which 14 ms to minimize.
[2024-05-27 01:40:14] [INFO ] Deduced a trap composed of 46 places in 555 ms of which 12 ms to minimize.
[2024-05-27 01:40:14] [INFO ] Deduced a trap composed of 178 places in 663 ms of which 10 ms to minimize.
[2024-05-27 01:40:15] [INFO ] Deduced a trap composed of 64 places in 405 ms of which 6 ms to minimize.
[2024-05-27 01:40:15] [INFO ] Deduced a trap composed of 151 places in 147 ms of which 3 ms to minimize.
[2024-05-27 01:40:15] [INFO ] Deduced a trap composed of 211 places in 203 ms of which 5 ms to minimize.
[2024-05-27 01:40:17] [INFO ] Deduced a trap composed of 52 places in 673 ms of which 8 ms to minimize.
[2024-05-27 01:40:18] [INFO ] Deduced a trap composed of 71 places in 674 ms of which 10 ms to minimize.
[2024-05-27 01:40:19] [INFO ] Deduced a trap composed of 100 places in 695 ms of which 10 ms to minimize.
[2024-05-27 01:40:21] [INFO ] Deduced a trap composed of 125 places in 540 ms of which 8 ms to minimize.
[2024-05-27 01:40:21] [INFO ] Deduced a trap composed of 91 places in 542 ms of which 8 ms to minimize.
[2024-05-27 01:40:22] [INFO ] Deduced a trap composed of 86 places in 517 ms of which 8 ms to minimize.
[2024-05-27 01:40:24] [INFO ] Deduced a trap composed of 109 places in 361 ms of which 6 ms to minimize.
[2024-05-27 01:40:24] [INFO ] Deduced a trap composed of 118 places in 360 ms of which 6 ms to minimize.
[2024-05-27 01:40:25] [INFO ] Deduced a trap composed of 151 places in 377 ms of which 7 ms to minimize.
[2024-05-27 01:40:26] [INFO ] Deduced a trap composed of 133 places in 229 ms of which 4 ms to minimize.
[2024-05-27 01:40:27] [INFO ] Deduced a trap composed of 259 places in 271 ms of which 5 ms to minimize.
[2024-05-27 01:40:27] [INFO ] Deduced a trap composed of 232 places in 259 ms of which 5 ms to minimize.
[2024-05-27 01:40:28] [INFO ] Deduced a trap composed of 199 places in 242 ms of which 4 ms to minimize.
[2024-05-27 01:40:28] [INFO ] Deduced a trap composed of 175 places in 237 ms of which 4 ms to minimize.
At refinement iteration 10 (INCLUDED_ONLY) 0/949 variables, 20/990 constraints. Problems are: Problem set: 0 solved, 727 unsolved
[2024-05-27 01:40:36] [INFO ] Deduced a trap composed of 142 places in 240 ms of which 4 ms to minimize.
Invariant property smplace_1290 does not hold.
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 949/2472 variables, and 991 constraints, problems are : Problem set: 0 solved, 727 unsolved in 90026 ms.
Refiners :[Domain max(s): 949/991 constraints, Positive P Invariants (semi-flows): 14/20 constraints, Generalized P Invariants (flows): 7/7 constraints, State Equation: 0/991 constraints, ReadFeed: 0/330 constraints, PredecessorRefiner: 0/727 constraints, Known Traps: 21/21 constraints]
After SMT, in 180228ms problems are : Problem set: 0 solved, 727 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 727 out of 991 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 991/991 places, 1691/1691 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 6 transitions
Trivial Post-agglo rules discarded 6 transitions
Performed 6 trivial Post agglomeration. Transition count delta: 6
Iterating post reduction 0 with 6 rules applied. Total rules applied 6 place count 991 transition count 1685
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 1 with 6 rules applied. Total rules applied 12 place count 985 transition count 1685
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 3 Pre rules applied. Total rules applied 12 place count 985 transition count 1682
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 18 place count 982 transition count 1682
Invariant property smplace_1098 does not hold.
Applied a total of 18 rules in 63 ms. Remains 982 /991 variables (removed 9) and now considering 1682/1691 (removed 9) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 63 ms. Remains : 982/991 places, 1682/1691 transitions.
Invariant property smplace_759 does not hold.
RANDOM walk for 1868205 steps (4 resets) in 120005 ms. (15 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 73 ms. (54 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 71 ms. (55 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 84 ms. (47 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 70 ms. (56 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 72 ms. (54 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 81 ms. (48 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 79 ms. (50 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 71 ms. (55 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 85 ms. (46 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 79 ms. (50 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 80 ms. (49 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 74 ms. (53 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 70 ms. (56 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 74 ms. (53 steps per ms) remains 727/727 properties
Invariant property smplace_431 does not hold.
Detected timeout of ITS tools.
[2024-05-27 01:41:15] [INFO ] Flatten gal took : 239 ms
[2024-05-27 01:41:15] [INFO ] Applying decomposition
[2024-05-27 01:41:15] [INFO ] Flatten gal took : 186 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/graph5595411889667447515.txt' '-o' '/tmp/graph5595411889667447515.bin' '-w' '/tmp/graph5595411889667447515.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph5595411889667447515.bin' '-l' '-1' '-v' '-w' '/tmp/graph5595411889667447515.weights' '-q' '0' '-e' '0.001'
[2024-05-27 01:41:16] [INFO ] Decomposing Gal with order
[2024-05-27 01:41:16] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-27 01:41:17] [INFO ] Removed a total of 1787 redundant transitions.
[2024-05-27 01:41:17] [INFO ] Flatten gal took : 389 ms
[2024-05-27 01:41:17] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 44 ms.
[2024-05-27 01:41:18] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality3991336662288098794.gal : 49 ms
[2024-05-27 01:41:18] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality1245725193131621266.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/ReachabilityCardinality3991336662288098794.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality1245725193131621266.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
Loading property file /tmp/ReachabilityCardinality1245725193131621266.prop.
SDD proceeding with computation,727 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,727 properties remain. new max is 8
SDD size :1 after 1
SDD proceeding with computation,727 properties remain. new max is 16
SDD size :1 after 4104
Invariant property smplace_1144 does not hold.
Invariant property smplace_1122 does not hold.
Invariant property smplace_730 does not hold.
Invariant property smplace_729 does not hold.
Invariant property smplace_456 does not hold.
Invariant property smplace_453 does not hold.
Invariant property smplace_91 does not hold.
Invariant property smplace_86 does not hold.
SDD proceeding with computation,719 properties remain. new max is 16
SDD size :4104 after 2.23895e+06
Probabilistic random walk after 1000000 steps, saw 131850 distinct states, run finished after 23758 ms. (steps per millisecond=42 ) properties seen :0
[2024-05-27 01:41:33] [INFO ] Flow matrix only has 1472 transitions (discarded 210 similar events)
// Phase 1: matrix 1472 rows 982 cols
[2024-05-27 01:41:33] [INFO ] Computed 27 invariants in 8 ms
[2024-05-27 01:41:33] [INFO ] State equation strengthened by 330 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/719 variables, 719/719 constraints. Problems are: Problem set: 0 solved, 719 unsolved
Invariant property smplace_1139 does not hold.
Invariant property smplace_1138 does not hold.
Invariant property smplace_1137 does not hold.
Invariant property smplace_1136 does not hold.
Invariant property smplace_1134 does not hold.
Invariant property smplace_1133 does not hold.
Invariant property smplace_1114 does not hold.
Invariant property smplace_1113 does not hold.
Invariant property smplace_1111 does not hold.
Invariant property smplace_1109 does not hold.
Invariant property smplace_1106 does not hold.
Invariant property smplace_1104 does not hold.
Invariant property smplace_1103 does not hold.
Invariant property smplace_1102 does not hold.
Invariant property smplace_1091 does not hold.
Invariant property smplace_1035 does not hold.
Invariant property smplace_1034 does not hold.
Invariant property smplace_820 does not hold.
Invariant property smplace_819 does not hold.
Invariant property smplace_818 does not hold.
Invariant property smplace_817 does not hold.
Invariant property smplace_815 does not hold.
Invariant property smplace_814 does not hold.
Invariant property smplace_813 does not hold.
Invariant property smplace_756 does not hold.
Invariant property smplace_755 does not hold.
Invariant property smplace_751 does not hold.
Invariant property smplace_721 does not hold.
Invariant property smplace_716 does not hold.
Invariant property smplace_715 does not hold.
Invariant property smplace_714 does not hold.
Invariant property smplace_712 does not hold.
Invariant property smplace_507 does not hold.
Invariant property smplace_506 does not hold.
Invariant property smplace_505 does not hold.
Invariant property smplace_503 does not hold.
Invariant property smplace_502 does not hold.
Invariant property smplace_501 does not hold.
Invariant property smplace_498 does not hold.
Invariant property smplace_476 does not hold.
Invariant property smplace_475 does not hold.
Invariant property smplace_474 does not hold.
Invariant property smplace_445 does not hold.
Invariant property smplace_428 does not hold.
Invariant property smplace_425 does not hold.
Invariant property smplace_419 does not hold.
Invariant property smplace_416 does not hold.
Invariant property smplace_415 does not hold.
Invariant property smplace_414 does not hold.
Invariant property smplace_108 does not hold.
Invariant property smplace_106 does not hold.
Invariant property smplace_105 does not hold.
Invariant property smplace_104 does not hold.
Invariant property smplace_101 does not hold.
Invariant property smplace_95 does not hold.
Invariant property smplace_94 does not hold.
Invariant property smplace_93 does not hold.
Invariant property smplace_73 does not hold.
Invariant property smplace_66 does not hold.
Invariant property smplace_65 does not hold.
Invariant property smplace_64 does not hold.
Invariant property smplace_63 does not hold.
Invariant property smplace_61 does not hold.
Invariant property smplace_59 does not hold.
Invariant property smplace_57 does not hold.
Invariant property smplace_54 does not hold.
SDD proceeding with computation,653 properties remain. new max is 16
SDD size :2.23895e+06 after 1.32031e+09
At refinement iteration 1 (INCLUDED_ONLY) 0/719 variables, 0/719 constraints. Problems are: Problem set: 66 solved, 653 unsolved
At refinement iteration 2 (OVERLAPS) 209/928 variables, 9/728 constraints. Problems are: Problem set: 66 solved, 653 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/928 variables, 209/937 constraints. Problems are: Problem set: 66 solved, 653 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/928 variables, 0/937 constraints. Problems are: Problem set: 66 solved, 653 unsolved
At refinement iteration 5 (OVERLAPS) 5/933 variables, 5/942 constraints. Problems are: Problem set: 66 solved, 653 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/933 variables, 5/947 constraints. Problems are: Problem set: 66 solved, 653 unsolved
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 933/2454 variables, and 947 constraints, problems are : Problem set: 66 solved, 653 unsolved in 105024 ms.
Refiners :[Domain max(s): 933/982 constraints, Positive P Invariants (semi-flows): 14/20 constraints, Generalized P Invariants (flows): 0/7 constraints, State Equation: 0/982 constraints, ReadFeed: 0/330 constraints, PredecessorRefiner: 719/719 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 66 solved, 653 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/653 variables, 653/653 constraints. Problems are: Problem set: 66 solved, 653 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/653 variables, 0/653 constraints. Problems are: Problem set: 66 solved, 653 unsolved
At refinement iteration 2 (OVERLAPS) 275/928 variables, 9/662 constraints. Problems are: Problem set: 66 solved, 653 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/928 variables, 275/937 constraints. Problems are: Problem set: 66 solved, 653 unsolved
[2024-05-27 01:43:32] [INFO ] Deduced a trap composed of 46 places in 779 ms of which 9 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/928 variables, 1/938 constraints. Problems are: Problem set: 66 solved, 653 unsolved
Invariant property smplace_1135 does not hold.
Invariant property smplace_1033 does not hold.
Invariant property smplace_816 does not hold.
Invariant property smplace_722 does not hold.
At refinement iteration 5 (INCLUDED_ONLY) 0/928 variables, 0/938 constraints. Problems are: Problem set: 70 solved, 649 unsolved
At refinement iteration 6 (OVERLAPS) 5/933 variables, 5/943 constraints. Problems are: Problem set: 70 solved, 649 unsolved
Invariant property smplace_504 does not hold.
Invariant property smplace_446 does not hold.
At refinement iteration 7 (INCLUDED_ONLY) 0/933 variables, 5/948 constraints. Problems are: Problem set: 72 solved, 647 unsolved
Invariant property smplace_103 does not hold.
Invariant property smplace_96 does not hold.
SDD proceeding with computation,645 properties remain. new max is 16
SDD size :1.32031e+09 after 2.55441e+09
At refinement iteration 8 (INCLUDED_ONLY) 0/933 variables, 0/948 constraints. Problems are: Problem set: 74 solved, 645 unsolved
At refinement iteration 9 (OVERLAPS) 7/940 variables, 7/955 constraints. Problems are: Problem set: 74 solved, 645 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/940 variables, 7/962 constraints. Problems are: Problem set: 74 solved, 645 unsolved
[2024-05-27 01:44:51] [INFO ] Deduced a trap composed of 85 places in 951 ms of which 11 ms to minimize.
[2024-05-27 01:44:51] [INFO ] Deduced a trap composed of 64 places in 753 ms of which 13 ms to minimize.
[2024-05-27 01:44:52] [INFO ] Deduced a trap composed of 40 places in 555 ms of which 8 ms to minimize.
[2024-05-27 01:44:52] [INFO ] Deduced a trap composed of 106 places in 311 ms of which 4 ms to minimize.
[2024-05-27 01:44:53] [INFO ] Deduced a trap composed of 70 places in 950 ms of which 12 ms to minimize.
[2024-05-27 01:44:54] [INFO ] Deduced a trap composed of 52 places in 892 ms of which 8 ms to minimize.
[2024-05-27 01:44:55] [INFO ] Deduced a trap composed of 151 places in 367 ms of which 6 ms to minimize.
[2024-05-27 01:44:57] [INFO ] Deduced a trap composed of 100 places in 819 ms of which 42 ms to minimize.
[2024-05-27 01:44:59] [INFO ] Deduced a trap composed of 124 places in 545 ms of which 9 ms to minimize.
[2024-05-27 01:45:00] [INFO ] Deduced a trap composed of 91 places in 506 ms of which 9 ms to minimize.
[2024-05-27 01:45:02] [INFO ] Deduced a trap composed of 115 places in 358 ms of which 6 ms to minimize.
[2024-05-27 01:45:02] [INFO ] Deduced a trap composed of 148 places in 389 ms of which 7 ms to minimize.
[2024-05-27 01:45:02] [INFO ] Deduced a trap composed of 175 places in 391 ms of which 7 ms to minimize.
[2024-05-27 01:45:03] [INFO ] Deduced a trap composed of 208 places in 423 ms of which 25 ms to minimize.
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 940/2454 variables, and 976 constraints, problems are : Problem set: 74 solved, 645 unsolved in 105023 ms.
Refiners :[Domain max(s): 940/982 constraints, Positive P Invariants (semi-flows): 14/20 constraints, Generalized P Invariants (flows): 7/7 constraints, State Equation: 0/982 constraints, ReadFeed: 0/330 constraints, PredecessorRefiner: 0/719 constraints, Known Traps: 15/15 constraints]
After SMT, in 210207ms problems are : Problem set: 74 solved, 645 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 645 out of 982 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 982/982 places, 1682/1682 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 44 transitions
Trivial Post-agglo rules discarded 44 transitions
Performed 44 trivial Post agglomeration. Transition count delta: 44
Iterating post reduction 0 with 44 rules applied. Total rules applied 44 place count 982 transition count 1638
Reduce places removed 44 places and 0 transitions.
Iterating post reduction 1 with 44 rules applied. Total rules applied 88 place count 938 transition count 1638
Performed 19 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 19 Pre rules applied. Total rules applied 88 place count 938 transition count 1619
Deduced a syphon composed of 19 places in 2 ms
Reduce places removed 19 places and 0 transitions.
Iterating global reduction 2 with 38 rules applied. Total rules applied 126 place count 919 transition count 1619
Applied a total of 126 rules in 78 ms. Remains 919 /982 variables (removed 63) and now considering 1619/1682 (removed 63) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 78 ms. Remains : 919/982 places, 1619/1682 transitions.
SDD proceeding with computation,645 properties remain. new max is 32
SDD size :2.55441e+09 after 2.55441e+09
RANDOM walk for 2089483 steps (4 resets) in 120011 ms. (17 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 28 ms. (138 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 74 ms. (53 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 74 ms. (53 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 73 ms. (54 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 64 ms. (61 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 70 ms. (56 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 74 ms. (53 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 645/645 properties
SDD proceeding with computation,645 properties remain. new max is 64
SDD size :2.55441e+09 after 2.55441e+09
Probabilistic random walk after 1000000 steps, saw 131851 distinct states, run finished after 22035 ms. (steps per millisecond=45 ) properties seen :0
[2024-05-27 01:45:57] [INFO ] Flow matrix only has 1409 transitions (discarded 210 similar events)
// Phase 1: matrix 1409 rows 919 cols
[2024-05-27 01:45:57] [INFO ] Computed 27 invariants in 28 ms
[2024-05-27 01:45:57] [INFO ] State equation strengthened by 330 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/645 variables, 645/645 constraints. Problems are: Problem set: 0 solved, 645 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/645 variables, 0/645 constraints. Problems are: Problem set: 0 solved, 645 unsolved
At refinement iteration 2 (OVERLAPS) 218/863 variables, 7/652 constraints. Problems are: Problem set: 0 solved, 645 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/863 variables, 218/870 constraints. Problems are: Problem set: 0 solved, 645 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/863 variables, 0/870 constraints. Problems are: Problem set: 0 solved, 645 unsolved
At refinement iteration 5 (OVERLAPS) 7/870 variables, 7/877 constraints. Problems are: Problem set: 0 solved, 645 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/870 variables, 7/884 constraints. Problems are: Problem set: 0 solved, 645 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/870 variables, 0/884 constraints. Problems are: Problem set: 0 solved, 645 unsolved
At refinement iteration 8 (OVERLAPS) 7/877 variables, 7/891 constraints. Problems are: Problem set: 0 solved, 645 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/877 variables, 7/898 constraints. Problems are: Problem set: 0 solved, 645 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/877 variables, 0/898 constraints. Problems are: Problem set: 0 solved, 645 unsolved
At refinement iteration 11 (OVERLAPS) 1409/2286 variables, 877/1775 constraints. Problems are: Problem set: 0 solved, 645 unsolved
Error getting values : (error "ParserException while parsing response: ((t0 0.0)
(t1 0.0)
(t2 0.0)
(t3 0.0)
(t4 0.0)
(t5 0.0)
(t6 0.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 (/ 4.0 105.0))
(t32 (/ 4.0 105.0))
(t33 (/ 4.0 105.0))
(t34 (/ 4.0 105.0))
(t35 (/ 11.0 210.0))
(t36 (/ 11.0 210.0))
(t37 (/ 11.0 210.0))
(t38 0.0)
(t39 0.0)
(t40 0.0)
(t41 0.0)
(t42 0.0)
(t43 0.0)
(t44 0.0)
(t45 0.0)
(t46 0.0)
(t47 0.0)
(t48 0.0)
(t49 (/ 2.0 105.0))
(t50 (/ 2.0 105.0))
(t51 (/ 1.0 30.0))
(t52 (/ 1.0 30.0))
(t53 (/ 4.0 105.0))
(t54 (/ 4.0 105.0))
(t55 (/ 4.0 105.0))
(t56 (/ 4.0 105.0))
(t57 (/ 1.0 70.0))
(t58 (/ 2.0 105.0))
(t59 (/ 2.0 105.0))
(t60 (/ 2.0 105.0))
(t61 (/ 2.0 105.0))
(t62 (/ 1.0 14.0))
(t63 (/ 4.0 105.0))
(t64 (/ 11.0 210.0))
(t65 (/ 11.0 210.0))
(t66 (/ 11.0 210.0))
(t67 (/ 2.0 35.0))
(t68 (/ 2.0 35.0))
(t69 (/ 2.0 35.0))
(t70 (/ 2.0 35.0))
(t71 (/ 2.0 35.0))
(t72 (/ 2.0 35.0))
(t73 (/ 11.0 210.0))
(t74 (/ 11.0 210.0))
(t75 (/ 1.0 14.0))
(t76 (/ 1.0 14.0))
(t77 (/ 2.0 35.0))
(t78 (/ 2.0 35.0))
(t79 (/ 4.0 105.0))
(t80 (/ 4.0 105.0))
(t81 (/ 1.0 30.0))
(t82 (/ 1.0 30.0))
(t83 (/ 11.0 210.0))
(t84 (/ 4.0 105.0))
(t85 (/ 4.0 105.0))
(t86 (/ 4.0 105.0))
(t87 (/ 19.0 210.0))
(t88 (/ 1.0 14.0))
(t89 (/ 1.0 14.0))
(t90 (/ 19.0 210.0))
(t91 (/ 19.0 210.0))
(t92 (/ 1.0 14.0))
(t93 (/ 1.0 14.0))
(t94 (/ 2.0 35.0))
(t95 (/ 2.0 35.0))
(t96 (/ 1.0 14.0))
(t97 (/ 2.0 105.0))
(t98 (/ 2.0 105.0))
(t99 (/ 1.0 30.0))
(t100 (/ 1.0 30.0))
(t101 (/ 2.0 105.0))
(t102 (/ 2.0 105.0))
(t103 (/ 2.0 105.0))
(t104 (/ 2.0 105.0))
(t105 (/ 1.0 70.0))
(t106 (/ 2.0 105.0))
(t107 (/ 2.0 105.0))
(t108 (/ 1.0 70.0))
(t109 (/ 19.0 210.0))
(t110 (/ 2.0 35.0))
(t111 (/ 2.0 35.0))
(t112 (/ 11.0 210.0))
(t113 (/ 11.0 210.0))
(t114 (/ 4.0 105.0))
(t115 (/ 11.0 210.0))
(t116 (/ 4.0 105.0))
(t117 (/ 4.0 105.0))
(t118 (/ 4.0 105.0))
(t119 (/ 4.0 105.0))
(t120 (/ 1.0 30.0))
(t121 (/ 1.0 30.0))
(t122 (/ 2.0 105.0))
(t123 (/ 2.0 105.0))
(t124 (/ 2.0 105.0))
(t125 (/ 2.0 105.0))
(t126 (/ 1.0 42.0))
(t127 (/ 1.0 42.0))
(t128 (/ 4.0 105.0))
(t129 (/ 1.0 210.0))
(t130 (/ 2.0 105.0))
(t131 (/ 1.0 42.0))
(t132 (/ 1.0 42.0))
(t133 (/ 4.0 105.0))
(t134 (/ 2.0 35.0))
(t135 (/ 2.0 35.0))
(t136 (/ 11.0 210.0))
(t137 (/ 11.0 210.0))
(t138 (/ 11.0 210.0))
(t139 (/ 4.0 105.0))
(t140 (/ 4.0 105.0))
(t141 (/ 4.0 105.0))
(t142 (/ 8.0 105.0))
(t143 (/ 8.0 105.0))
(t144 (/ 1.0 14.0))
(t145 (/ 1.0 14.0))
(t146 (/ 1.0 14.0))
(t147 (/ 1.0 14.0))
(t148 (/ 2.0 35.0))
(t149 (/ 2.0 35.0))
(t150 (/ 2.0 105.0))
(t151 (/ 2.0 105.0))
(t152 (/ 1.0 70.0))
(t153 (/ 4.0 105.0))
(t154 (/ 4.0 105.0))
(t155 (/ 1.0 30.0))
(t156 (/ 1.0 30.0))
(t157 (/ 2.0 105.0))
(t158 (/ 2.0 105.0))
(t159 (/ 2.0 105.0))
(t160 (/ 2.0 105.0))
(t161 (/ 2.0 105.0))
(t162 (/ 2.0 105.0))
(t163 (/ 2.0 105.0))
(t164 (/ 2.0 105.0))
(t165 (/ 2.0 105.0))
(t166 (/ 2.0 105.0))
(t167 (/ 1.0 30.0))
(t168 (/ 1.0 30.0))
(t169 (/ 4.0 105.0))
(t170 (/ 4.0 105.0))
(t171 (/ 4.0 105.0))
(t172 (/ 4.0 105.0))
(t173 (/ 11.0 210.0))
(t174 (/ 4.0 105.0))
(t175 (/ 11.0 210.0))
(t176 (/ 11.0 210.0))
(t177 (/ 8.0 105.0))
(t178 (/ 19.0 210.0))
(t179 (/ 19.0 210.0))
(t180 (/ 19.0 210.0))
(t181 (/ 19.0 210.0))
(t182 (/ 19.0 210.0))
(t183 (/ 1.0 70.0))
(t184 (/ 2.0 105.0))
(t185 (/ 2.0 105.0))
(t186 (/ 1.0 70.0))
(t187 (/ 2.0 105.0))
(t188 (/ 2.0 105.0))
(t189 (/ 2.0 105.0))
(t190 (/ 2.0 105.0))
(t191 (/ 2.0 35.0))
(t192 (/ 2.0 35.0))
(t193 (/ 2.0 35.0))
(t194 (/ 2.0 35.0))
(t195 (/ 1.0 14.0))
(t196 (/ 1.0 14.0))
(t197 (/ 1.0 14.0))
(t198 (/ 1.0 14.0))
(t199 (/ 8.0 105.0))
(t200 (/ 19.0 210.0))
(t201 (/ 8.0 105.0))
(t202 (/ 8.0 105.0))
(t203 (/ 19.0 210.0))
(t204 (/ 19.0 210.0))
(t205 (/ 19.0 210.0))
(t206 (/ 19.0 210.0))
(t207 (/ 8.0 105.0))
(t208 (/ 2.0 35.0))
(t209 (/ 2.0 35.0))
(t210 (/ 3.0 70.0))
(t211 (/ 3.0 70.0))
(t212 (/ 2.0 35.0))
(t213 (/ 3.0 70.0))
(t214 (/ 4.0 105.0))
(t215 (/ 1.0 42.0))
(t216 (/ 3.0 70.0))
(t217 (/ 4.0 105.0))
(t218 (/ 1.0 42.0))
(t219 (/ 1.0 42.0))
(t220 (/ 1.0 42.0))
(t221 (/ 1.0 42.0))
(t222 (/ 1.0 210.0))
(t223 (/ 1.0 210.0))
(t224 (/ 2.0 105.0))
(t225 (/ 1.0 210.0))
(t226 (/ 3.0 70.0))
(t227 (/ 3.0 70.0))
(t228 (/ 3.0 70.0))
(t229 (/ 4.0 105.0))
(t230 (/ 3.0 70.0))
(t231 (/ 1.0 42.0))
(t232 (/ 4.0 105.0))
(t233 (/ 1.0 42.0))
(t234 (/ 1.0 42.0))
(t235 (/ 1.0 42.0))
(t236 (/ 1.0 42.0))
(t237 (/ 2.0 105.0))
(t238 (/ 1.0 210.0))
(t239 (/ 1.0 210.0))
(t240 (/ 1.0 210.0))
(t241 (/ 1.0 210.0))
(t242 (/ 1.0 210.0))
(t243 (/ 1.0 210.0))
(t244 (/ 1.0 42.0))
(t245 (/ 1.0 42.0))
(t246 (/ 1.0 42.0))
(t247 (/ 1.0 42.0))
(t248 (/ 1.0 42.0))
(t249 (/ 4.0 105.0))
(t250 (/ 4.0 105.0))
(t251 (/ 3.0 70.0))
(t252 (/ 1.0 210.0))
(t253 (/ 1.0 210.0))
(t254 (/ 1.0 210.0))
(t255 (/ 1.0 210.0))
(t256 (/ 1.0 210.0))
(t257 (/ 1.0 210.0))
(t258 (/ 2.0 105.0))
(t259 (/ 8.0 105.0))
(t260 (/ 1.0 210.0))
(t261 (/ 1.0 210.0))
(t262 (/ 1.0 210.0))
(t263 (/ 1.0 210.0))
(t264 (/ 1.0 210.0))
(t265 (/ 8.0 105.0))
(t266 (/ 8.0 105.0))
(t267 (/ 3.0 70.0))
(t268 (/ 3.0 70.0))
(t269 (/ 3.0 70.0))
(t270 (/ 2.0 35.0))
(t271 (/ 2.0 35.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 (/ 1.0 210.0))
(t285 (/ 1.0 210.0))
(t286 (/ 1.0 210.0))
(t287 (/ 2.0 105.0))
(t288 (/ 1.0 210.0))
(t289 (/ 1.0 210.0))
(t290 (/ 1.0 210.0))
(t291 (/ 4.0 105.0))
(t292 (/ 1.0 42.0))
(t293 (/ 3.0 70.0))
(t294 (/ 4.0 105.0))
(t295 (/ 1.0 42.0))
(t296 (/ 1.0 42.0))
(t297 (/ 1.0 42.0))
(t298 (/ 1.0 42.0))
(t299 (/ 2.0 35.0))
(t300 (/ 2.0 35.0))
(t301 (/ 13.0 210.0))
(t302 (/ 13.0 210.0))
(t303 (/ 3.0 70.0))
(t304 (/ 3.0 70.0))
(t305 (/ 2.0 35.0))
(t306 (/ 3.0 70.0))
(t307 (/ 8.0 105.0))
(t308 (/ 8.0 105.0))
(t309 (/ 13.0 210.0))
(t310 (/ 8.0 105.0))
(t311 (/ 8.0 105.0))
(t312 (/ 1.0 210.0))
(t313 (/ 1.0 210.0))
(t314 (/ 1.0 210.0))
(t315 (/ 1.0 210.0))
(t316 (/ 1.0 210.0))
(t317 (/ 1.0 42.0))
(t318 (/ 1.0 42.0))
(t319 (/ 2.0 105.0))
(t320 (/ 1.0 210.0))
(t321 (/ 4.0 105.0))
(t322 (/ 1.0 42.0))
(t323 (/ 1.0 42.0))
(t324 (/ 1.0 42.0))
(t325 (/ 4.0 105.0))
(t326 (/ 3.0 70.0))
(t327 (/ 3.0 70.0))
(t328 (/ 3.0 70.0))
(t329 (/ 3.0 70.0))
(t330 (/ 2.0 35.0))
(t331 (/ 2.0 35.0))
(t332 (/ 2.0 35.0))
(t333 (/ 13.0 210.0))
(t334 (/ 13.0 210.0))
(t335 (/ 13.0 210.0))
(t336 (/ 8.0 105.0))
(t337 (/ 8.0 105.0))
(t338 (/ 8.0 105.0))
(t339 (/ 8.0 105.0))
(t340 (/ 1.0 210.0))
(t341 (/ 1.0 210.0))
(t342 (/ 1.0 210.0))
(t343 0.0)
(t344 0.0)
(t345 0.0)
(t346 0.0)
(t347 0.0)
(t348 0.0)
(t349 0.0)
(t350 0.0)
(t351 0.0)
(t352 0.0)
(t353 0.0)
(t354 0.0)
(t355 0.0)
(t356 0.0)
(t357 0.0)
(t358 0.0)
(t359 0.0)
(t360 0.0)
(t361 0.0)
(t362 0.0)
(t363 0.0)
(t364 0.0)
(t365 0.0)
(t366 0.0)
(t367 0.0)
(t368 0.0)
(t369 0.0)
(t370 0.0)
(t371 0.0)
(t372 0.0)
(t373 0.0)
(t374 0.0)
(t375 0.0)
(t376 0.0)
(t377 0.0)
(t378 0.0)
(t379 0.0)
(t380 0.0)
(t381 0.0)
(t382 0.0)
(t383 0.0)
(t384 0.0)
(t385 0.0)
(t386 0.0)
(t387 0.0)
(t388 0.0)
(t389 0.0)
(t390 0.0)
(t391 0.0)
(t392 0.0)
(t393 0.0)
(t394 0.0)
(t395 0.0)
(t396 0.0)
(t397 0.0)
(t398 0.0)
(t399 0.0)
(t400 0.0)
(t401 0.0)
(t402 0.0)
(t403 0.0)
(t404 0.0)
(t405 0.0)
(t406 0.0)
(t407 (/ 1.0 15.0))
(t408 (/ 1.0 15.0))
(t409 (/ 1.0 15.0))
(t410 (/ 3.0 35.0))
(t411 (/ 3.0 35.0))
(t412 (/ 1.0 70.0))
(t413 (/ 1.0 70.0))
(t414 (/ 1.0 105.0))
(t415 (/ 1.0 70.0))
(t416 (/ 1.0 70.0))
(t417 (/ 1.0 70.0))
(t418 (/ 1.0 70.0))
(t419 (/ 1.0 70.0))
(t420 (/ 1.0 105.0))
(t421 (/ 1.0 30.0))
(t422 (/ 1.0 30.0))
(t423 (/ 1.0 30.0))
(t424 (/ 1.0 30.0))
(t425 (/ 1.0 70.0))
(t426 (/ 1.0 70.0))
(t427 (/ 1.0 35.0))
(t428 (/ 1.0 35.0))
(t429 (/ 11.0 210.0))
(t430 (/ 11.0 210.0))
(t431 (/ 11.0 210.0))
(t432 (/ 11.0 210.0))
(t433 (/ 1.0 30.0))
(t434 (/ 1.0 21.0))
(t435 (/ 1.0 21.0))
(t436 (/ 1.0 21.0))
(t437 (/ 1.0 30.0))
(t438 (/ 1.0 35.0))
(t439 (/ 1.0 35.0))
(t440 (/ 1.0 70.0))
(t441 (/ 1.0 30.0))
(t442 (/ 1.0 30.0))
(t443 (/ 1.0 30.0))
(t444 (/ 1.0 30.0))
(t445 (/ 11.0 210.0))
(t446 (/ 1.0 21.0))
(t447 (/ 1.0 21.0))
(t448 (/ 1.0 21.0))
(t449 (/ 11.0 210.0))
(t450 (/ 11.0 210.0))
(t451 (/ 11.0 210.0))
(t452 (/ 1.0 15.0))
(t453 (/ 3.0 35.0))
(t454 (/ 1.0 15.0))
(t455 (/ 1.0 15.0))
(t456 (/ 3.0 35.0))
(t457 (/ 1.0 105.0))
(t458 (/ 1.0 70.0))
(t459 (/ 1.0 70.0))
(t460 (/ 1.0 70.0))
(t461 (/ 1.0 70.0))
(t462 (/ 1.0 70.0))
(t463 0.0)
(t464 0.0)
(t465 0.0)
(t466 0.0)
(t467 0.0)
(t468 0.0)
(t469 0.0)
(t470 0.0)
(t471 0.0)
(t472 0.0)
(t473 0.0)
(t474 0.0)
(t475 0.0)
(t476 0.0)
(t477 0.0)
(t478 0.0)
(t479 0.0)
(t480 0.0)
(t481 0.0)
(t482 0.0)
(t483 0.0)
(t484 0.0)
(t485 0.0)
(t486 0.0)
(t487 0.0)
(t488 0.0)
(t489 0.0)
(t490 0.0)
(t491 0.0)
(t492 0.0)
(t493 0.0)
(t494 0.0)
(t495 0.0)
(t496 0.0)
(t497 0.0)
(t498 0.0)
(t499 0.0)
(t500 0.0)
(t501 0.0)
(t502 0.0)
(t503 0.0)
(t504 0.0)
(t505 0.0)
(t506 0.0)
(t507 0.0)
(t508 0.0)
(t509 0.0)
(t510 0.0)
(t511 0.0)
(t512 0.0)
(t513 0.0)
(t514 0.0)
(t515 0.0)
(t516 0.0)
(t517 0.0)
(t518 0.0)
(t519 (/ 1.0 30.0))
(t520 (/ 1.0 21.0))
(t521 (/ 1.0 21.0))
(t522 (/ 1.0 21.0))
(t523 (/ 1.0 70.0))
(t524 (/ 1.0 70.0))
(t525 (/ 1.0 70.0))
(t526 (/ 1.0 35.0))
(t527 (/ 1.0 35.0))
(t528 (/ 1.0 30.0))
(t529 (/ 1.0 30.0))
(t530 (/ 1.0 30.0))
(t531 (/ 73.0 210.0))
(t532 (/ 8.0 21.0))
(t533 (/ 44.0 105.0))
(t534 (/ 33.0 35.0))
(t535 (/ 67.0 70.0))
(t536 (/ 73.0 210.0))
(t537 (/ 67.0 70.0))
(t538 (/ 2.0 7.0))
(t539 (/ 34.0 105.0))
(t540 (/ 37.0 42.0))
(t541 (/ 94.0 105.0))
(t542 (/ 34.0 105.0))
(t543 (/ 89.0 105.0))
(t544 (/ 2.0 7.0))
(t545 (/ 11.0 14.0))
(t546 (/ 5.0 6.0))
(t547 (/ 47.0 210.0))
(t548 (/ 4.0 15.0))
(t549 (/ 47.0 210.0))
(t550 (/ 83.0 105.0))
(t551 (/ 4.0 15.0))
(t552 (/ 4.0 21.0))
(t553 (/ 17.0 105.0))
(t554 (/ 27.0 35.0))
(t555 (/ 29.0 42.0))
(t556 (/ 5.0 7.0))
(t557 (/ 4.0 21.0))
(t558 (/ 17.0 105.0))
(t559 (/ 11.0 210.0))
(t560 (/ 11.0 210.0))
(t561 (/ 1.0 15.0))
(t562 (/ 1.0 15.0))
(t563 (/ 1.0 21.0))
(t564 (/ 1.0 21.0))
(t565 (/ 11.0 210.0))
(t566 (/ 11.0 210.0))
(t567 (/ 1.0 30.0))
(t568 (/ 1.0 30.0))
(t569 (/ 1.0 21.0))
(t570 (/ 1.0 30.0))
(t571 (/ 1.0 35.0))
(t572 (/ 1.0 35.0))
(t573 (/ 1.0 30.0))
(t574 (/ 1.0 30.0))
(t575 (/ 1.0 70.0))
(t576 (/ 1.0 70.0))
(t577 (/ 1.0 70.0))
(t578 (/ 1.0 70.0))
(t579 (/ 1.0 105.0))
(t580 (/ 1.0 70.0))
(t581 (/ 1.0 70.0))
(t582 (/ 3.0 35.0))
(t583 (/ 3.0 35.0))
(t584 (/ 3.0 35.0))
(t585 (/ 3.0 35.0))
(t586 (/ 3.0 35.0))
(t587 (/ 1.0 14.0))
(t588 (/ 1.0 14.0))
(t589 (/ 1.0 14.0))
(t590 (/ 1.0 15.0))
(t591 (/ 1.0 15.0))
(t592 (/ 1.0 15.0))
(t593 (/ 11.0 210.0))
(t594 (/ 1.0 15.0))
(t595 (/ 11.0 210.0))
(t596 (/ 11.0 210.0))
(t597 (/ 1.0 21.0))
(t598 (/ 11.0 210.0))
(t599 (/ 1.0 21.0))
(t600 (/ 1.0 21.0))
(t601 (/ 1.0 30.0))
(t602 (/ 1.0 30.0))
(t603 (/ 1.0 30.0))
(t604 (/ 1.0 30.0))
(t605 (/ 1.0 35.0))
(t606 (/ 1.0 30.0))
(t607 (/ 1.0 70.0))
(t608 (/ 1.0 105.0))
(t609 (/ 1.0 70.0))
(t610 (/ 1.0 70.0))
(t611 (/ 1.0 70.0))
(t612 (/ 1.0 70.0))
(t613 (/ 1.0 35.0))
(t614 (/ 1.0 70.0))
(t615 (/ 1.0 14.0))
(t616 (/ 1.0 14.0))
(t617 (/ 1.0 14.0))
(t618 (/ 3.0 35.0))
(t619 (/ 3.0 35.0))
(t620 (/ 3.0 35.0))
(t621 (/ 3.0 35.0))
(t622 (/ 3.0 35.0))
(t623 (/ 11.0 210.0))
(t624 (/ 11.0 210.0))
(t625 (/ 11.0 210.0))
(t626 (/ 11.0 210.0))
(t627 (/ 1.0 15.0))
(t628 (/ 1.0 15.0))
(t629 (/ 1.0 15.0))
(t630 (/ 1.0 15.0))
(t631 (/ 1.0 30.0))
(t632 (/ 1.0 30.0))
(t633 (/ 1.0 30.0))
(t634 (/ 1.0 30.0))
(t635 (/ 1.0 21.0))
(t636 (/ 1.0 21.0))
(t637 (/ 1.0 21.0))
(t638 (/ 1.0 30.0))
(t639 (/ 1.0 70.0))
(t640 (/ 1.0 70.0))
(t641 (/ 1.0 70.0))
(t642 (/ 1.0 70.0))
(t643 (/ 1.0 35.0))
(t644 (/ 1.0 35.0))
(t645 (/ 1.0 70.0))
(t646 (/ 1.0 70.0))
(t647 (/ 1.0 105.0))
(t648 0.0)
(t649 0.0)
(t650 0.0)
(t651 0.0)
(t652 (/ 46.0 105.0))
(t653 0.0)
(t654 0.0)
(t655 0.0)
(t656 0.0)
(t657 0.0)
(t658 0.0)
(t659 0.0)
(t660 0.0)
(t661 0.0)
(t662 1.0)
(t663 0.0)
(t664 0.0)
(t665 0.0)
(t666 1.0)
(t667 0.0)
(t668 0.0)
(t669 0.0)
(t670 0.0)
(t671 0.0)
(t672 0.0)
(t673 0.0)
(t674 1.0)
(t675 1.0)
(t676 1.0)
(t677 1.0)
(t678 1.0)
(t679 1.0)
(t680 (/ 2.0 21.0))
(t681 (/ 2.0 21.0))
(t682 (/ 2.0 21.0))
(t683 1.0)
(t684 (/ 17.0 210.0))
(t685 (/ 17.0 210.0))
(t686 (/ 2.0 21.0))
(t687 (/ 2.0 21.0))
(t688 (/ 25.0 42.0))
(t689 (/ 2.0 21.0))
(t690 (/ 2.0 21.0))
(t691 (/ 2.0 21.0))
(t692 (/ 8.0 105.0))
(t693 (/ 17.0 210.0))
(t694 (/ 17.0 210.0))
(t695 (/ 2.0 21.0))
(t696 (/ 2.0 21.0))
(t697 (/ 13.0 210.0))
(t698 (/ 8.0 105.0))
(t699 (/ 8.0 105.0))
(t700 (/ 2.0 35.0))
(t701 (/ 2.0 35.0))
(t702 (/ 13.0 210.0))
(t703 (/ 13.0 210.0))
(t704 (/ 13.0 210.0))
(t705 (/ 13.0 210.0))
(t706 (/ 2.0 35.0))
(t707 (/ 2.0 21.0))
(t708 (/ 2.0 21.0))
(t709 (/ 2.0 21.0))
(t710 (/ 13.0 210.0))
(t711 (/ 2.0 35.0))
(t712 0.0)
(t713 1.0)
(t714 0.0)
(t715 0.0)
(t716 0.0)
(t717 0.0)
(t718 0.0)
(t719 0.0)
(t720 0.0)
(t721 0.0)
(t722 0.0)
(t723 0.0)
(t724 0.0)
(t725 0.0)
(t726 0.0)
(t727 0.0)
(t728 0.0)
(t729 0.0)
(t730 0.0)
(t731 0.0)
(t732 1.0)
(t733 1.0)
(t734 1.0)
(t735 (/ 2.0 21.0))
(t736 (/ 13.0 21.0))
(t737 (/ 2.0 21.0))
(t738 (/ 17.0 210.0))
(t739 (/ 17.0 210.0))
(t740 (/ 2.0 21.0))
(t741 (/ 2.0 21.0))
(t742 (/ 11.0 21.0))
(t743 0.0)
(t744 0.0)
(t745 0.0)
(t746 (/ 3.0 70.0))
(t747 (/ 137.0 210.0))
(t748 (/ 137.0 210.0))
(t749 0.0)
(t750 (/ 2.0 35.0))
(t751 (/ 2.0 35.0))
(t752 (/ 2.0 35.0))
(t753 (/ 3.0 70.0))
(t754 (/ 8.0 105.0))
(t755 (/ 13.0 210.0))
(t756 (/ 13.0 210.0))
(t757 (/ 13.0 210.0))
(t758 0.0)
(t759 0.0)
(t760 (/ 3.0 70.0))
(t761 (/ 3.0 70.0))
(t762 (/ 1.0 35.0))
(t763 (/ 1.0 35.0))
(t764 (/ 1.0 35.0))
(t765 (/ 1.0 42.0))
(t766 (/ 1.0 35.0))
(t767 (/ 1.0 105.0))
(t768 (/ 1.0 105.0))
(t769 (/ 1.0 105.0))
(t770 (/ 1.0 105.0))
(t771 (/ 1.0 105.0))
(t772 (/ 1.0 105.0))
(t773 (/ 1.0 42.0))
(t774 (/ 1.0 210.0))
(t775 (/ 13.0 210.0))
(t776 (/ 3.0 70.0))
(t777 (/ 1.0 210.0))
(t778 (/ 13.0 210.0))
(t779 (/ 3.0 70.0))
(t780 (/ 1.0 42.0))
(t781 (/ 1.0 105.0))
(t782 (/ 1.0 105.0))
(t783 (/ 1.0 105.0))
(t784 (/ 1.0 105.0))
(t785 (/ 1.0 42.0))
(t786 (/ 1.0 35.0))
(t787 (/ 1.0 105.0))
(t788 (/ 1.0 105.0))
(t789 (/ 1.0 42.0))
(t790 (/ 3.0 70.0))
(t791 (/ 1.0 210.0))
(t792 (/ 1.0 42.0))
(t793 (/ 1.0 210.0))
(t794 (/ 13.0 210.0))
(t795 (/ 17.0 210.0))
(t796 (/ 1.0 210.0))
(t797 (/ 1.0 42.0))
(t798 (/ 3.0 70.0))
(t799 (/ 13.0 210.0))
(t800 (/ 3.0 70.0))
(t801 (/ 13.0 210.0))
(t802 (/ 17.0 210.0))
(t803 (/ 1.0 210.0))
(t804 (/ 1.0 42.0))
(t805 (/ 3.0 70.0))
(t806 (/ 3.0 70.0))
(t807 (/ 3.0 70.0))
(t808 (/ 1.0 35.0))
(t809 (/ 1.0 35.0))
(t810 (/ 1.0 35.0))
(t811 (/ 1.0 35.0))
(t812 (/ 1.0 35.0))
(t813 (/ 1.0 42.0))
(t814 (/ 1.0 105.0))
(t815 (/ 1.0 105.0))
(t816 (/ 1.0 105.0))
(t817 (/ 1.0 105.0))
(t818 (/ 1.0 105.0))
(t819 (/ 1.0 105.0))
(t820 (/ 17.0 210.0))
(t821 (/ 17.0 210.0))
(t822 (/ 17.0 210.0))
(t823 (/ 17.0 210.0))
(t824 (/ 1.0 15.0))
(t825 (/ 1.0 15.0))
(t826 (/ 13.0 210.0))
(t827 (/ 1.0 15.0))
(t828 (/ 13.0 210.0))
(t829 (/ 13.0 210.0))
(t830 (/ 1.0 21.0))
(t831 (/ 1.0 21.0))
(t832 (/ 1.0 21.0))
(t833 (/ 1.0 21.0))
(t834 (/ 1.0 15.0))
(t835 (/ 13.0 210.0))
(t836 (/ 1.0 15.0))
(t837 (/ 1.0 15.0))
(t838 (/ 1.0 21.0))
(t839 (/ 1.0 21.0))
(t840 (/ 13.0 210.0))
(t841 (/ 13.0 210.0))
(t842 (/ 3.0 70.0))
(t843 (/ 3.0 70.0))
(t844 (/ 1.0 21.0))
(t845 (/ 1.0 21.0))
(t846 (/ 1.0 35.0))
(t847 (/ 1.0 35.0))
(t848 (/ 1.0 35.0))
(t849 (/ 1.0 35.0))
(t850 (/ 17.0 210.0))
(t851 (/ 17.0 210.0))
(t852 (/ 17.0 210.0))
(t853 (/ 17.0 210.0))
(t854 (/ 13.0 210.0))
(t855 (/ 17.0 210.0))
(t856 (/ 1.0 105.0))
(t857 (/ 1.0 105.0))
(t858 (/ 1.0 105.0))
(t859 (/ 1.0 105.0))
(t860 (/ 1.0 105.0))
(t861 (/ 1.0 105.0))
(t862 (/ 1.0 35.0))
(t863 (/ 1.0 35.0))
(t864 (/ 1.0 35.0))
(t865 (/ 1.0 42.0))
(t866 (/ 1.0 105.0))
(t867 (/ 1.0 105.0))
(t868 (/ 1.0 105.0))
(t869 (/ 1.0 105.0))
(t870 (/ 1.0 105.0))
(t871 (/ 1.0 105.0))
(t872 (/ 1.0 35.0))
(t873 (/ 1.0 42.0))
(t874 (/ 1.0 35.0))
(t875 (/ 1.0 35.0))
(t876 (/ 1.0 35.0))
(t877 (/ 1.0 35.0))
(t878 (/ 3.0 70.0))
(t879 (/ 3.0 70.0))
(t880 (/ 1.0 21.0))
(t881 (/ 1.0 21.0))
(t882 (/ 1.0 21.0))
(t883 (/ 1.0 21.0))
(t884 (/ 13.0 210.0))
(t885 (/ 13.0 210.0))
(t886 (/ 1.0 42.0))
(t887 (/ 1.0 35.0))
(t888 (/ 1.0 105.0))
(t889 (/ 1.0 105.0))
(t890 (/ 1.0 105.0))
(t891 (/ 1.0 105.0))
(t892 (/ 1.0 105.0))
(t893 (/ 1.0 105.0))
(t894 (/ 1.0 21.0))
(t895 (/ 1.0 21.0))
(t896 (/ 3.0 70.0))
(t897 (/ 3.0 70.0))
(t898 (/ 1.0 35.0))
(t899 (/ 1.0 35.0))
(t900 (/ 1.0 35.0))
(t901 (/ 1.0 35.0))
(t902 (/ 13.0 210.0))
(t903 (/ 13.0 210.0))
(t904 (/ 1.0 21.0))
(t905 (/ 1.0 21.0))
(t906 (/ 17.0 210.0))
(t907 (/ 17.0 210.0))
(t908 (/ 1.0 21.0))
(t909 (/ 1.0 21.0))
(t910 (/ 1.0 21.0))
(t911 (/ 1.0 21.0))
(t912 (/ 1.0 35.0))
(t913 (/ 1.0 35.0))
(t914 (/ 3.0 70.0))
(t915 (/ 3.0 70.0))
(t916 (/ 17.0 210.0))
(t917 (/ 2.0 35.0))
(t918 0.0)
(t919 0.0)
(t920 (/ 3.0 70.0))
(t921 0.0)
(t922 (/ 3.0 70.0))
(t923 (/ 1.0 42.0))
(t924 0.0)
(t925 (/ 2.0 21.0))
(t926 0.0)
(t927 (/ 2.0 21.0))
(t928 0.0)
(t929 (/ 2.0 21.0))
(t930 0.0)
(t931 0.0)
(t932 (/ 2.0 21.0))
(t933 (/ 2.0 21.0))
(t934 0.0)
(t935 (/ 17.0 210.0))
(t936 0.0)
(t937 (/ 2.0 21.0))
(t938 0.0)
(t939 0.0)
(t940 (/ 2.0 21.0))
(t941 0.0)
(t942 (/ 2.0 21.0))
(t943 0.0)
(t944 (/ 2.0 21.0))
(t945 0.0)
(t946 (/ 2.0 21.0))
(t947 0.0)
(t948 (/ 13.0 210.0))
(t949 0.0)
(t950 (/ 2.0 21.0))
(t951 0.0)
(t952 (/ 13.0 210.0))
(t953 (/ 2.0 35.0))
(t954 0.0)
(t955 (/ 2.0 21.0))
(t956 0.0)
(t957 0.0)
(t958 (/ 13.0 210.0))
(t959 (/ 13.0 210.0))
(t960 0.0)
(t961 (/ 2.0 35.0))
(t962 0.0)
(t963 0.0)
(t964 (/ 13.0 210.0))
(t965 0.0)
(t966 (/ 13.0 210.0))
(t967 (/ 2.0 35.0))
(t968 0.0)
(t969 0.0)
(t970 (/ 8.0 105.0))
(t971 0.0)
(t972 (/ 13.0 210.0))
(t973 0.0)
(t974 (/ 3.0 70.0))
(t975 0.0)
(t976 (/ 3.0 70.0))
(t977 0.0)
(t978 (/ 2.0 35.0))
(t979 0.0)
(t980 (/ 2.0 35.0))
(t981 0.0)
(t982 (/ 137.0 210.0))
(t983 0.0)
(t984 (/ 8.0 105.0))
(t985 0.0)
(t986 (/ 8.0 105.0))
(t987 0.0)
(t988 (/ 8.0 105.0))
(t989 (/ 17.0 210.0))
(t990 0.0)
(t991 0.0)
(t992 (/ 2.0 35.0))
(t993 (/ 13.0 210.0))
(t994 0.0)
(t995 (/ 13.0 210.0))
(t996 0.0)
(t997 (/ 2.0 21.0))
(t998 0.0)
(t999 0.0)
(t1000 (/ 13.0 210.0))
(t1001 (/ 2.0 21.0))
(t1002 0.0)
(t1003 (/ 2.0 35.0))
(t1004 0.0)
(t1005 (/ 2.0 35.0))
(t1006 0.0)
(t1007 0.0)
(t1008 (/ 2.0 21.0))
(t1009 (/ 2.0 21.0))
(t1010 0.0)
(t1011 (/ 2.0 35.0))
(t1012 0.0)
(t1013 0.0)
(t1014 (/ 13.0 210.0))
(t1015 (/ 17.0 210.0))
(t1016 0.0)
(t1017 (/ 17.0 210.0))
(t1018 0.0)
(t1019 (/ 17.0 210.0))
(t1020 0.0)
(t1021 0.0)
(t1022 (/ 2.0 21.0))
(t1023 0.0)
(t1024 (/ 2.0 21.0))
(t1025 (/ 1.0 42.0))
(t1026 0.0)
(t1027 0.0)
(t1028 (/ 8.0 105.0))
(t1029 0.0)
(t1030 (/ 17.0 210.0))
(t1031 (/ 8.0 105.0))
(t1032 0.0)
(t1033 (/ 2.0 21.0))
(t1034 0.0)
(t1035 (/ 2.0 21.0))
(t1036 0.0)
(t1037 (/ 2.0 21.0))
(t1038 0.0)
(t1039 0.0)
(t1040 (/ 3.0 70.0))
(t1041 0.0)
(t1042 (/ 13.0 210.0))
(t1043 0.0)
(t1044 0.0)
(t1045 0.0)
(t1046 0.0)
(t1047 0.0)
(t1048 0.0)
(t1049 (/ 5.0 6.0))
(t1050 0.0)
(t1051 0.0)
(t1052 0.0)
(t1053 0.0)
(t1054 0.0)
(t1055 (/ 47.0 210.0))
(t1056 0.0)
(t1057 0.0)
(t1058 0.0)
(t1059 0.0)
(t1060 0.0)
(t1061 0.0)
(t1062 (/ 47.0 210.0))
(t1063 0.0)
(t1064 0.0)
(t1065 0.0)
(t1066 (/ 34.0 105.0))
(t1067 0.0)
(t1068 0.0)
(t1069 0.0)
(t1070 0.0)
(t1071 0.0)
(t1072 0.0)
(t1073 (/ 4.0 15.0))
(t1074 0.0)
(t1075 0.0)
(t1076 0.0)
(t1077 0.0)
(t1078 0.0)
(t1079 0.0)
(t1080 0.0)
(t1081 0.0)
(t1082 0.0)
(t1083 (/ 4.0 15.0))
(t1084 0.0)
(t1085 0.0)
(t1086 0.0)
(t1087 0.0)
(t1088 0.0)
(t1089 0.0)
(t1090 0.0)
(t1091 (/ 83.0 105.0))
(t1092 0.0)
(t1093 0.0)
(t1094 0.0)
(t1095 (/ 11.0 14.0))
(t1096 0.0)
(t1097 0.0)
(t1098 0.0)
(t1099 0.0)
(t1100 0.0)
(t1101 0.0)
(t1102 0.0)
(t1103 0.0)
(t1104 (/ 2.0 7.0))
(t1105 0.0)
(t1106 0.0)
(t1107 0.0)
(t1108 0.0)timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
SMT process timed out in 120194ms, After SMT, problems are : Problem set: 0 solved, 645 unsolved
Fused 645 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 645 out of 919 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 919/919 places, 1619/1619 transitions.
Applied a total of 0 rules in 77 ms. Remains 919 /919 variables (removed 0) and now considering 1619/1619 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 77 ms. Remains : 919/919 places, 1619/1619 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 919/919 places, 1619/1619 transitions.
Applied a total of 0 rules in 64 ms. Remains 919 /919 variables (removed 0) and now considering 1619/1619 (removed 0) transitions.
[2024-05-27 01:47:57] [INFO ] Flow matrix only has 1409 transitions (discarded 210 similar events)
[2024-05-27 01:47:57] [INFO ] Invariant cache hit.
[2024-05-27 01:47:58] [INFO ] Implicit Places using invariants in 1096 ms returned [836, 837, 839, 911, 912, 913, 914]
Discarding 7 places :
Implicit Place search using SMT only with invariants took 1123 ms to find 7 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 912/919 places, 1619/1619 transitions.
Applied a total of 0 rules in 28 ms. Remains 912 /912 variables (removed 0) and now considering 1619/1619 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 1216 ms. Remains : 912/919 places, 1619/1619 transitions.
RANDOM walk for 1109742 steps (0 resets) in 120005 ms. (9 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 28 ms. (138 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 645/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 643/645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 71 ms. (55 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 28 ms. (138 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 28 ms. (138 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 643/643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 643/643 properties
Probabilistic random walk after 1000000 steps, saw 131850 distinct states, run finished after 21259 ms. (steps per millisecond=47 ) properties seen :0
[2024-05-27 01:48:51] [INFO ] Flow matrix only has 1409 transitions (discarded 210 similar events)
// Phase 1: matrix 1409 rows 912 cols
[2024-05-27 01:48:51] [INFO ] Computed 20 invariants in 6 ms
[2024-05-27 01:48:51] [INFO ] State equation strengthened by 330 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/643 variables, 643/643 constraints. Problems are: Problem set: 0 solved, 643 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/643 variables, 0/643 constraints. Problems are: Problem set: 0 solved, 643 unsolved
At refinement iteration 2 (OVERLAPS) 220/863 variables, 7/650 constraints. Problems are: Problem set: 0 solved, 643 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/863 variables, 220/870 constraints. Problems are: Problem set: 0 solved, 643 unsolved
Invariant property smplace_1259 does not hold.
Invariant property smplace_1258 does not hold.
Invariant property smplace_1257 does not hold.
Invariant property smplace_1253 does not hold.
Invariant property smplace_1218 does not hold.
Invariant property smplace_1217 does not hold.
Invariant property smplace_1215 does not hold.
Invariant property smplace_1213 does not hold.
Invariant property smplace_1146 does not hold.
Invariant property smplace_1145 does not hold.
Invariant property smplace_1090 does not hold.
Invariant property smplace_1089 does not hold.
Invariant property smplace_1066 does not hold.
Invariant property smplace_1065 does not hold.
Invariant property smplace_1064 does not hold.
Invariant property smplace_1063 does not hold.
Invariant property smplace_1060 does not hold.
Invariant property smplace_1059 does not hold.
Invariant property smplace_1058 does not hold.
Invariant property smplace_1055 does not hold.
Invariant property smplace_1044 does not hold.
Invariant property smplace_1043 does not hold.
Invariant property smplace_1041 does not hold.
Invariant property smplace_1038 does not hold.
At refinement iteration 4 (INCLUDED_ONLY) 0/863 variables, 0/870 constraints. Problems are: Problem set: 24 solved, 619 unsolved
Invariant property smplace_879 does not hold.
At refinement iteration 5 (OVERLAPS) 7/870 variables, 7/877 constraints. Problems are: Problem set: 25 solved, 618 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/870 variables, 7/884 constraints. Problems are: Problem set: 25 solved, 618 unsolved
Invariant property smplace_849 does not hold.
Invariant property smplace_848 does not hold.
Invariant property smplace_846 does not hold.
Invariant property smplace_809 does not hold.
Invariant property smplace_808 does not hold.
Invariant property smplace_807 does not hold.
Invariant property smplace_796 does not hold.
Invariant property smplace_795 does not hold.
Invariant property smplace_793 does not hold.
Invariant property smplace_788 does not hold.
Invariant property smplace_787 does not hold.
Invariant property smplace_784 does not hold.
Invariant property smplace_782 does not hold.
Invariant property smplace_781 does not hold.
Invariant property smplace_775 does not hold.
Invariant property smplace_773 does not hold.
Invariant property smplace_750 does not hold.
Invariant property smplace_749 does not hold.
Invariant property smplace_724 does not hold.
Invariant property smplace_723 does not hold.
Invariant property smplace_626 does not hold.
Invariant property smplace_625 does not hold.
Invariant property smplace_623 does not hold.
Invariant property smplace_621 does not hold.
Invariant property smplace_564 does not hold.
Invariant property smplace_561 does not hold.
Invariant property smplace_556 does not hold.
Invariant property smplace_555 does not hold.
Invariant property smplace_554 does not hold.
Invariant property smplace_553 does not hold.
Invariant property smplace_552 does not hold.
Invariant property smplace_551 does not hold.
Invariant property smplace_547 does not hold.
Invariant property smplace_546 does not hold.
Invariant property smplace_545 does not hold.
At refinement iteration 7 (INCLUDED_ONLY) 0/870 variables, 0/884 constraints. Problems are: Problem set: 60 solved, 583 unsolved
At refinement iteration 8 (OVERLAPS) 1409/2279 variables, 870/1754 constraints. Problems are: Problem set: 60 solved, 583 unsolved
Invariant property smplace_524 does not hold.
Invariant property smplace_522 does not hold.
Invariant property smplace_521 does not hold.
Invariant property smplace_510 does not hold.
Invariant property smplace_480 does not hold.
Invariant property smplace_448 does not hold.
Invariant property smplace_447 does not hold.
Invariant property smplace_424 does not hold.
Invariant property smplace_423 does not hold.
Invariant property smplace_276 does not hold.
Invariant property smplace_275 does not hold.
Invariant property smplace_272 does not hold.
Invariant property smplace_270 does not hold.
Invariant property smplace_216 does not hold.
Invariant property smplace_212 does not hold.
Invariant property smplace_211 does not hold.
Invariant property smplace_210 does not hold.
Invariant property smplace_184 does not hold.
Invariant property smplace_183 does not hold.
Invariant property smplace_176 does not hold.
Invariant property smplace_163 does not hold.
Invariant property smplace_161 does not hold.
Invariant property smplace_156 does not hold.
Invariant property smplace_155 does not hold.
Invariant property smplace_154 does not hold.
Invariant property smplace_153 does not hold.
Invariant property smplace_152 does not hold.
Invariant property smplace_150 does not hold.
Invariant property smplace_149 does not hold.
Invariant property smplace_141 does not hold.
Invariant property smplace_140 does not hold.
Invariant property smplace_139 does not hold.
Invariant property smplace_137 does not hold.
Invariant property smplace_132 does not hold.
Invariant property smplace_131 does not hold.
Invariant property smplace_130 does not hold.
Invariant property smplace_129 does not hold.
Invariant property smplace_128 does not hold.
Invariant property smplace_126 does not hold.
Invariant property smplace_125 does not hold.
Invariant property smplace_98 does not hold.
Invariant property smplace_97 does not hold.
Invariant property smplace_56 does not hold.
Invariant property smplace_55 does not hold.
SDD proceeding with computation,541 properties remain. new max is 64
SDD size :2.55441e+09 after 1.35756e+10
At refinement iteration 9 (INCLUDED_ONLY) 0/2279 variables, 330/2084 constraints. Problems are: Problem set: 104 solved, 539 unsolved
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 2279/2321 variables, and 2084 constraints, problems are : Problem set: 104 solved, 539 unsolved in 135032 ms.
Refiners :[Domain max(s): 870/912 constraints, Positive P Invariants (semi-flows): 14/20 constraints, State Equation: 870/912 constraints, ReadFeed: 330/330 constraints, PredecessorRefiner: 643/643 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 104 solved, 539 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/539 variables, 539/539 constraints. Problems are: Problem set: 104 solved, 539 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/539 variables, 0/539 constraints. Problems are: Problem set: 104 solved, 539 unsolved
At refinement iteration 2 (OVERLAPS) 324/863 variables, 7/546 constraints. Problems are: Problem set: 104 solved, 539 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/863 variables, 324/870 constraints. Problems are: Problem set: 104 solved, 539 unsolved
[2024-05-27 01:51:17] [INFO ] Deduced a trap composed of 58 places in 919 ms of which 9 ms to minimize.
[2024-05-27 01:51:17] [INFO ] Deduced a trap composed of 52 places in 757 ms of which 7 ms to minimize.
Detected timeout of ITS tools.
[2024-05-27 01:51:18] [INFO ] Deduced a trap composed of 106 places in 462 ms of which 8 ms to minimize.
[2024-05-27 01:51:18] [INFO ] Deduced a trap composed of 130 places in 289 ms of which 5 ms to minimize.
[2024-05-27 01:51:19] [INFO ] Deduced a trap composed of 184 places in 180 ms of which 3 ms to minimize.
[2024-05-27 01:51:20] [INFO ] Deduced a trap composed of 40 places in 925 ms of which 13 ms to minimize.
[2024-05-27 01:51:21] [INFO ] Deduced a trap composed of 46 places in 550 ms of which 7 ms to minimize.
[2024-05-27 01:51:22] [INFO ] Deduced a trap composed of 64 places in 640 ms of which 9 ms to minimize.
[2024-05-27 01:51:23] [INFO ] Deduced a trap composed of 88 places in 581 ms of which 10 ms to minimize.
[2024-05-27 01:51:23] [INFO ] Deduced a trap composed of 85 places in 396 ms of which 8 ms to minimize.
[2024-05-27 01:51:24] [INFO ] Deduced a trap composed of 139 places in 543 ms of which 8 ms to minimize.
[2024-05-27 01:51:25] [INFO ] Deduced a trap composed of 79 places in 446 ms of which 6 ms to minimize.
[2024-05-27 01:51:26] [INFO ] Deduced a trap composed of 100 places in 246 ms of which 4 ms to minimize.
[2024-05-27 01:51:27] [INFO ] Deduced a trap composed of 109 places in 283 ms of which 8 ms to minimize.
[2024-05-27 01:51:27] [INFO ] Deduced a trap composed of 163 places in 319 ms of which 5 ms to minimize.
[2024-05-27 01:51:28] [INFO ] Deduced a trap composed of 124 places in 164 ms of which 3 ms to minimize.
[2024-05-27 01:51:29] [INFO ] Deduced a trap composed of 226 places in 189 ms of which 4 ms to minimize.
[2024-05-27 01:51:30] [INFO ] Deduced a trap composed of 202 places in 204 ms of which 3 ms to minimize.
[2024-05-27 01:51:30] [INFO ] Deduced a trap composed of 181 places in 154 ms of which 3 ms to minimize.
[2024-05-27 01:51:30] [INFO ] Deduced a trap composed of 151 places in 152 ms of which 3 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/863 variables, 20/890 constraints. Problems are: Problem set: 104 solved, 539 unsolved
[2024-05-27 01:51:35] [INFO ] Deduced a trap composed of 133 places in 215 ms of which 5 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/863 variables, 1/891 constraints. Problems are: Problem set: 104 solved, 539 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/863 variables, 0/891 constraints. Problems are: Problem set: 104 solved, 539 unsolved
At refinement iteration 7 (OVERLAPS) 7/870 variables, 7/898 constraints. Problems are: Problem set: 104 solved, 539 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/870 variables, 7/905 constraints. Problems are: Problem set: 104 solved, 539 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/870 variables, 0/905 constraints. Problems are: Problem set: 104 solved, 539 unsolved
At refinement iteration 10 (OVERLAPS) 1409/2279 variables, 870/1775 constraints. Problems are: Problem set: 104 solved, 539 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/2279 variables, 330/2105 constraints. Problems are: Problem set: 104 solved, 539 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 2279/2321 variables, and 2644 constraints, problems are : Problem set: 104 solved, 539 unsolved in 135059 ms.
Refiners :[Domain max(s): 870/912 constraints, Positive P Invariants (semi-flows): 14/20 constraints, State Equation: 870/912 constraints, ReadFeed: 330/330 constraints, PredecessorRefiner: 539/643 constraints, Known Traps: 21/21 constraints]
After SMT, in 270230ms problems are : Problem set: 104 solved, 539 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 539 out of 912 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 912/912 places, 1619/1619 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 51 transitions
Trivial Post-agglo rules discarded 51 transitions
Performed 51 trivial Post agglomeration. Transition count delta: 51
Iterating post reduction 0 with 51 rules applied. Total rules applied 51 place count 912 transition count 1568
Reduce places removed 51 places and 0 transitions.
Iterating post reduction 1 with 51 rules applied. Total rules applied 102 place count 861 transition count 1568
Performed 22 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 22 Pre rules applied. Total rules applied 102 place count 861 transition count 1546
Deduced a syphon composed of 22 places in 1 ms
Reduce places removed 22 places and 0 transitions.
Iterating global reduction 2 with 44 rules applied. Total rules applied 146 place count 839 transition count 1546
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 154 place count 835 transition count 1542
Applied a total of 154 rules in 85 ms. Remains 835 /912 variables (removed 77) and now considering 1542/1619 (removed 77) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 85 ms. Remains : 835/912 places, 1542/1619 transitions.
RANDOM walk for 2971066 steps (8 resets) in 120004 ms. (24 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 28 ms. (138 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 27 ms. (143 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 64 ms. (61 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 539/539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 539/539 properties
Probabilistic random walk after 1000000 steps, saw 131851 distinct states, run finished after 17679 ms. (steps per millisecond=56 ) properties seen :0
[2024-05-27 01:54:10] [INFO ] Flow matrix only has 1332 transitions (discarded 210 similar events)
// Phase 1: matrix 1332 rows 835 cols
[2024-05-27 01:54:10] [INFO ] Computed 20 invariants in 5 ms
[2024-05-27 01:54:10] [INFO ] State equation strengthened by 330 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/539 variables, 539/539 constraints. Problems are: Problem set: 0 solved, 539 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/539 variables, 0/539 constraints. Problems are: Problem set: 0 solved, 539 unsolved
At refinement iteration 2 (OVERLAPS) 247/786 variables, 7/546 constraints. Problems are: Problem set: 0 solved, 539 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/786 variables, 247/793 constraints. Problems are: Problem set: 0 solved, 539 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/786 variables, 0/793 constraints. Problems are: Problem set: 0 solved, 539 unsolved
At refinement iteration 5 (OVERLAPS) 7/793 variables, 7/800 constraints. Problems are: Problem set: 0 solved, 539 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/793 variables, 7/807 constraints. Problems are: Problem set: 0 solved, 539 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/793 variables, 0/807 constraints. Problems are: Problem set: 0 solved, 539 unsolved
At refinement iteration 8 (OVERLAPS) 1332/2125 variables, 793/1600 constraints. Problems are: Problem set: 0 solved, 539 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/2125 variables, 330/1930 constraints. Problems are: Problem set: 0 solved, 539 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/2125 variables, 0/1930 constraints. Problems are: Problem set: 0 solved, 539 unsolved
SMT process timed out in 150190ms, After SMT, problems are : Problem set: 0 solved, 539 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 539 out of 835 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 835/835 places, 1542/1542 transitions.
Applied a total of 0 rules in 30 ms. Remains 835 /835 variables (removed 0) and now considering 1542/1542 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 31 ms. Remains : 835/835 places, 1542/1542 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 835/835 places, 1542/1542 transitions.
Applied a total of 0 rules in 27 ms. Remains 835 /835 variables (removed 0) and now considering 1542/1542 (removed 0) transitions.
[2024-05-27 01:56:40] [INFO ] Flow matrix only has 1332 transitions (discarded 210 similar events)
[2024-05-27 01:56:40] [INFO ] Invariant cache hit.
[2024-05-27 01:56:40] [INFO ] Implicit Places using invariants in 553 ms returned []
[2024-05-27 01:56:40] [INFO ] Flow matrix only has 1332 transitions (discarded 210 similar events)
[2024-05-27 01:56:40] [INFO ] Invariant cache hit.
[2024-05-27 01:56:41] [INFO ] State equation strengthened by 330 read => feed constraints.
[2024-05-27 01:56:44] [INFO ] Implicit Places using invariants and state equation in 3528 ms returned []
Implicit Place search using SMT with State Equation took 4087 ms to find 0 implicit places.
[2024-05-27 01:56:44] [INFO ] Redundant transitions in 229 ms returned []
Running 1535 sub problems to find dead transitions.
[2024-05-27 01:56:44] [INFO ] Flow matrix only has 1332 transitions (discarded 210 similar events)
[2024-05-27 01:56:44] [INFO ] Invariant cache hit.
[2024-05-27 01:56:44] [INFO ] State equation strengthened by 330 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/835 variables, 835/835 constraints. Problems are: Problem set: 0 solved, 1535 unsolved
SMT process timed out in 30897ms, After SMT, problems are : Problem set: 0 solved, 1535 unsolved
Search for dead transitions found 0 dead transitions in 30924ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 35294 ms. Remains : 835/835 places, 1542/1542 transitions.
RANDOM walk for 400000 steps (8 resets) in 43774 ms. (9 steps per ms) remains 539/539 properties
Running SMT prover for 539 properties.
[2024-05-27 01:57:27] [INFO ] Flow matrix only has 1332 transitions (discarded 210 similar events)
[2024-05-27 01:57:27] [INFO ] Invariant cache hit.
[2024-05-27 01:57:28] [INFO ] [Real]Absence check using 20 positive place invariants in 17 ms returned sat
[2024-05-27 01:57:30] [INFO ] After 1733ms SMT Verify possible using state equation in real domain returned unsat :0 sat :539
[2024-05-27 01:57:30] [INFO ] State equation strengthened by 330 read => feed constraints.
[2024-05-27 01:57:36] [INFO ] After 6169ms SMT Verify possible using 330 Read/Feed constraints in real domain returned unsat :0 sat :539
TRAPS : Iteration 0
[2024-05-27 01:58:32] [INFO ] After 62095ms SMT Verify possible using trap constraints in real domain returned unsat :0 sat :0 real:539
[2024-05-27 01:58:32] [INFO ] After 64917ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:539
[2024-05-27 01:58:32] [INFO ] [Nat]Absence check using 20 positive place invariants in 21 ms returned sat
[2024-05-27 01:58:34] [INFO ] After 1517ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :539
[2024-05-27 01:58:41] [INFO ] After 6981ms SMT Verify possible using 330 Read/Feed constraints in natural domain returned unsat :0 sat :539
TRAPS : Iteration 0
[2024-05-27 01:58:42] [INFO ] Deduced a trap composed of 10 places in 743 ms of which 9 ms to minimize.
[2024-05-27 01:58:43] [INFO ] Deduced a trap composed of 13 places in 686 ms of which 8 ms to minimize.
[2024-05-27 01:58:44] [INFO ] Deduced a trap composed of 10 places in 694 ms of which 8 ms to minimize.
[2024-05-27 01:58:44] [INFO ] Deduced a trap composed of 10 places in 734 ms of which 8 ms to minimize.
[2024-05-27 01:58:45] [INFO ] Deduced a trap composed of 27 places in 661 ms of which 8 ms to minimize.
[2024-05-27 01:58:46] [INFO ] Deduced a trap composed of 10 places in 771 ms of which 8 ms to minimize.
[2024-05-27 01:58:47] [INFO ] Deduced a trap composed of 13 places in 630 ms of which 7 ms to minimize.
[2024-05-27 01:58:47] [INFO ] Deduced a trap composed of 11 places in 624 ms of which 8 ms to minimize.
[2024-05-27 01:58:48] [INFO ] Deduced a trap composed of 30 places in 787 ms of which 10 ms to minimize.
[2024-05-27 01:58:49] [INFO ] Deduced a trap composed of 26 places in 770 ms of which 9 ms to minimize.
[2024-05-27 01:58:50] [INFO ] Deduced a trap composed of 27 places in 553 ms of which 7 ms to minimize.
[2024-05-27 01:58:51] [INFO ] Deduced a trap composed of 20 places in 835 ms of which 11 ms to minimize.
[2024-05-27 01:58:52] [INFO ] Deduced a trap composed of 20 places in 986 ms of which 11 ms to minimize.
[2024-05-27 01:58:52] [INFO ] Deduced a trap composed of 26 places in 655 ms of which 8 ms to minimize.
[2024-05-27 01:58:53] [INFO ] Deduced a trap composed of 37 places in 607 ms of which 7 ms to minimize.
[2024-05-27 01:58:54] [INFO ] Deduced a trap composed of 47 places in 674 ms of which 7 ms to minimize.
[2024-05-27 01:58:54] [INFO ] Deduced a trap composed of 38 places in 642 ms of which 7 ms to minimize.
[2024-05-27 01:58:55] [INFO ] Deduced a trap composed of 37 places in 581 ms of which 7 ms to minimize.
[2024-05-27 01:58:56] [INFO ] Deduced a trap composed of 37 places in 627 ms of which 7 ms to minimize.
[2024-05-27 01:58:57] [INFO ] Deduced a trap composed of 47 places in 666 ms of which 9 ms to minimize.
[2024-05-27 01:58:57] [INFO ] Deduced a trap composed of 37 places in 587 ms of which 7 ms to minimize.
[2024-05-27 01:58:58] [INFO ] Deduced a trap composed of 52 places in 516 ms of which 6 ms to minimize.
[2024-05-27 01:58:58] [INFO ] Deduced a trap composed of 44 places in 502 ms of which 6 ms to minimize.
[2024-05-27 01:58:59] [INFO ] Deduced a trap composed of 52 places in 539 ms of which 6 ms to minimize.
[2024-05-27 01:59:00] [INFO ] Deduced a trap composed of 52 places in 573 ms of which 7 ms to minimize.
[2024-05-27 01:59:00] [INFO ] Deduced a trap composed of 52 places in 477 ms of which 6 ms to minimize.
[2024-05-27 01:59:01] [INFO ] Deduced a trap composed of 52 places in 462 ms of which 6 ms to minimize.
[2024-05-27 01:59:01] [INFO ] Deduced a trap composed of 44 places in 481 ms of which 6 ms to minimize.
[2024-05-27 01:59:02] [INFO ] Deduced a trap composed of 36 places in 517 ms of which 7 ms to minimize.
[2024-05-27 01:59:02] [INFO ] Deduced a trap composed of 58 places in 412 ms of which 5 ms to minimize.
[2024-05-27 01:59:02] [INFO ] Trap strengthening (SAT) tested/added 31/30 trap constraints in 21036 ms
[2024-05-27 01:59:03] [INFO ] Deduced a trap composed of 71 places in 427 ms of which 6 ms to minimize.
[2024-05-27 01:59:03] [INFO ] Deduced a trap composed of 71 places in 405 ms of which 5 ms to minimize.
[2024-05-27 01:59:04] [INFO ] Deduced a trap composed of 69 places in 440 ms of which 6 ms to minimize.
[2024-05-27 01:59:04] [INFO ] Deduced a trap composed of 75 places in 376 ms of which 5 ms to minimize.
[2024-05-27 01:59:04] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 1956 ms
[2024-05-27 01:59:05] [INFO ] Deduced a trap composed of 57 places in 326 ms of which 5 ms to minimize.
[2024-05-27 01:59:05] [INFO ] Deduced a trap composed of 64 places in 332 ms of which 4 ms to minimize.
[2024-05-27 01:59:06] [INFO ] Deduced a trap composed of 64 places in 355 ms of which 4 ms to minimize.
[2024-05-27 01:59:06] [INFO ] Deduced a trap composed of 66 places in 329 ms of which 5 ms to minimize.
[2024-05-27 01:59:06] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 1644 ms
[2024-05-27 01:59:07] [INFO ] Deduced a trap composed of 20 places in 656 ms of which 7 ms to minimize.
[2024-05-27 01:59:07] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 775 ms
[2024-05-27 01:59:08] [INFO ] Deduced a trap composed of 21 places in 590 ms of which 9 ms to minimize.
[2024-05-27 01:59:08] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 726 ms
[2024-05-27 01:59:08] [INFO ] Deduced a trap composed of 41 places in 492 ms of which 7 ms to minimize.
[2024-05-27 01:59:09] [INFO ] Deduced a trap composed of 48 places in 459 ms of which 6 ms to minimize.
[2024-05-27 01:59:09] [INFO ] Deduced a trap composed of 47 places in 451 ms of which 7 ms to minimize.
[2024-05-27 01:59:10] [INFO ] Deduced a trap composed of 48 places in 393 ms of which 5 ms to minimize.
[2024-05-27 01:59:10] [INFO ] Deduced a trap composed of 48 places in 430 ms of which 7 ms to minimize.
[2024-05-27 01:59:11] [INFO ] Deduced a trap composed of 68 places in 495 ms of which 7 ms to minimize.
[2024-05-27 01:59:11] [INFO ] Deduced a trap composed of 65 places in 454 ms of which 7 ms to minimize.
[2024-05-27 01:59:12] [INFO ] Deduced a trap composed of 59 places in 354 ms of which 5 ms to minimize.
[2024-05-27 01:59:12] [INFO ] Deduced a trap composed of 75 places in 400 ms of which 6 ms to minimize.
[2024-05-27 01:59:13] [INFO ] Deduced a trap composed of 71 places in 381 ms of which 5 ms to minimize.
[2024-05-27 01:59:13] [INFO ] Deduced a trap composed of 89 places in 534 ms of which 11 ms to minimize.
[2024-05-27 01:59:14] [INFO ] Deduced a trap composed of 67 places in 540 ms of which 8 ms to minimize.
[2024-05-27 01:59:14] [INFO ] Deduced a trap composed of 86 places in 428 ms of which 5 ms to minimize.
[2024-05-27 01:59:15] [INFO ] Trap strengthening (SAT) tested/added 14/13 trap constraints in 6666 ms
[2024-05-27 01:59:15] [INFO ] Deduced a trap composed of 20 places in 513 ms of which 7 ms to minimize.
[2024-05-27 01:59:16] [INFO ] Deduced a trap composed of 25 places in 459 ms of which 6 ms to minimize.
[2024-05-27 01:59:16] [INFO ] Deduced a trap composed of 13 places in 477 ms of which 6 ms to minimize.
[2024-05-27 01:59:17] [INFO ] Deduced a trap composed of 13 places in 464 ms of which 6 ms to minimize.
[2024-05-27 01:59:17] [INFO ] Deduced a trap composed of 14 places in 435 ms of which 6 ms to minimize.
[2024-05-27 01:59:18] [INFO ] Deduced a trap composed of 14 places in 429 ms of which 6 ms to minimize.
[2024-05-27 01:59:18] [INFO ] Deduced a trap composed of 26 places in 394 ms of which 6 ms to minimize.
[2024-05-27 01:59:19] [INFO ] Deduced a trap composed of 112 places in 434 ms of which 5 ms to minimize.
[2024-05-27 01:59:19] [INFO ] Deduced a trap composed of 53 places in 435 ms of which 6 ms to minimize.
[2024-05-27 01:59:20] [INFO ] Deduced a trap composed of 58 places in 436 ms of which 6 ms to minimize.
[2024-05-27 01:59:21] [INFO ] Deduced a trap composed of 52 places in 604 ms of which 9 ms to minimize.
[2024-05-27 01:59:21] [INFO ] Deduced a trap composed of 53 places in 583 ms of which 8 ms to minimize.
[2024-05-27 01:59:22] [INFO ] Deduced a trap composed of 53 places in 580 ms of which 8 ms to minimize.
[2024-05-27 01:59:23] [INFO ] Deduced a trap composed of 89 places in 642 ms of which 10 ms to minimize.
[2024-05-27 01:59:23] [INFO ] Deduced a trap composed of 95 places in 703 ms of which 9 ms to minimize.
[2024-05-27 01:59:24] [INFO ] Deduced a trap composed of 52 places in 625 ms of which 5 ms to minimize.
[2024-05-27 01:59:25] [INFO ] Deduced a trap composed of 56 places in 571 ms of which 8 ms to minimize.
[2024-05-27 01:59:25] [INFO ] Deduced a trap composed of 27 places in 703 ms of which 9 ms to minimize.
[2024-05-27 01:59:26] [INFO ] Deduced a trap composed of 112 places in 485 ms of which 7 ms to minimize.
[2024-05-27 01:59:27] [INFO ] Deduced a trap composed of 113 places in 396 ms of which 5 ms to minimize.
[2024-05-27 01:59:27] [INFO ] Trap strengthening (SAT) tested/added 21/20 trap constraints in 12027 ms
[2024-05-27 01:59:27] [INFO ] Deduced a trap composed of 112 places in 436 ms of which 4 ms to minimize.
[2024-05-27 01:59:28] [INFO ] Deduced a trap composed of 111 places in 387 ms of which 5 ms to minimize.
[2024-05-27 01:59:28] [INFO ] Deduced a trap composed of 111 places in 383 ms of which 5 ms to minimize.
[2024-05-27 01:59:28] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 1555 ms
[2024-05-27 01:59:29] [INFO ] Deduced a trap composed of 59 places in 228 ms of which 4 ms to minimize.
[2024-05-27 01:59:30] [INFO ] Deduced a trap composed of 22 places in 706 ms of which 9 ms to minimize.
[2024-05-27 01:59:31] [INFO ] Deduced a trap composed of 22 places in 747 ms of which 11 ms to minimize.
[2024-05-27 01:59:31] [INFO ] Deduced a trap composed of 35 places in 749 ms of which 10 ms to minimize.
[2024-05-27 01:59:32] [INFO ] Deduced a trap composed of 22 places in 570 ms of which 7 ms to minimize.
[2024-05-27 01:59:32] [INFO ] Deduced a trap composed of 38 places in 268 ms of which 5 ms to minimize.
[2024-05-27 01:59:33] [INFO ] Deduced a trap composed of 56 places in 923 ms of which 11 ms to minimize.
[2024-05-27 01:59:34] [INFO ] Deduced a trap composed of 19 places in 675 ms of which 7 ms to minimize.
[2024-05-27 01:59:34] [INFO ] Deduced a trap composed of 38 places in 327 ms of which 5 ms to minimize.
[2024-05-27 01:59:35] [INFO ] Deduced a trap composed of 38 places in 319 ms of which 5 ms to minimize.
[2024-05-27 01:59:35] [INFO ] Deduced a trap composed of 39 places in 337 ms of which 5 ms to minimize.
[2024-05-27 01:59:36] [INFO ] Deduced a trap composed of 49 places in 273 ms of which 5 ms to minimize.
[2024-05-27 01:59:36] [INFO ] Deduced a trap composed of 37 places in 265 ms of which 4 ms to minimize.
[2024-05-27 01:59:37] [INFO ] Deduced a trap composed of 45 places in 674 ms of which 10 ms to minimize.
[2024-05-27 01:59:38] [INFO ] Deduced a trap composed of 22 places in 639 ms of which 6 ms to minimize.
[2024-05-27 01:59:38] [INFO ] Deduced a trap composed of 22 places in 547 ms of which 10 ms to minimize.
[2024-05-27 01:59:39] [INFO ] Deduced a trap composed of 60 places in 416 ms of which 7 ms to minimize.
[2024-05-27 01:59:39] [INFO ] Deduced a trap composed of 65 places in 427 ms of which 7 ms to minimize.
[2024-05-27 01:59:40] [INFO ] Deduced a trap composed of 39 places in 660 ms of which 9 ms to minimize.
[2024-05-27 01:59:40] [INFO ] Deduced a trap composed of 87 places in 317 ms of which 5 ms to minimize.
[2024-05-27 01:59:41] [INFO ] Deduced a trap composed of 89 places in 315 ms of which 5 ms to minimize.
[2024-05-27 01:59:41] [INFO ] Deduced a trap composed of 88 places in 311 ms of which 5 ms to minimize.
[2024-05-27 01:59:41] [INFO ] Deduced a trap composed of 84 places in 292 ms of which 4 ms to minimize.
[2024-05-27 01:59:42] [INFO ] Deduced a trap composed of 87 places in 353 ms of which 5 ms to minimize.
[2024-05-27 01:59:43] [INFO ] Deduced a trap composed of 48 places in 285 ms of which 4 ms to minimize.
[2024-05-27 01:59:45] [INFO ] Deduced a trap composed of 35 places in 766 ms of which 9 ms to minimize.
[2024-05-27 01:59:46] [INFO ] Deduced a trap composed of 44 places in 718 ms of which 10 ms to minimize.
[2024-05-27 01:59:46] [INFO ] Deduced a trap composed of 40 places in 628 ms of which 12 ms to minimize.
[2024-05-27 01:59:47] [INFO ] Deduced a trap composed of 22 places in 631 ms of which 10 ms to minimize.
[2024-05-27 01:59:48] [INFO ] Deduced a trap composed of 28 places in 612 ms of which 7 ms to minimize.
[2024-05-27 01:59:48] [INFO ] Deduced a trap composed of 24 places in 470 ms of which 6 ms to minimize.
[2024-05-27 01:59:49] [INFO ] Deduced a trap composed of 89 places in 482 ms of which 6 ms to minimize.
[2024-05-27 01:59:49] [INFO ] Deduced a trap composed of 113 places in 392 ms of which 5 ms to minimize.
[2024-05-27 01:59:50] [INFO ] Deduced a trap composed of 89 places in 397 ms of which 5 ms to minimize.
[2024-05-27 01:59:50] [INFO ] Deduced a trap composed of 113 places in 385 ms of which 6 ms to minimize.
[2024-05-27 01:59:51] [INFO ] Deduced a trap composed of 113 places in 400 ms of which 5 ms to minimize.
[2024-05-27 01:59:51] [INFO ] Deduced a trap composed of 110 places in 518 ms of which 7 ms to minimize.
[2024-05-27 01:59:52] [INFO ] Deduced a trap composed of 110 places in 533 ms of which 7 ms to minimize.
[2024-05-27 01:59:52] [INFO ] Trap strengthening (SAT) tested/added 39/38 trap constraints in 23451 ms
[2024-05-27 01:59:52] [INFO ] Deduced a trap composed of 102 places in 276 ms of which 3 ms to minimize.
[2024-05-27 01:59:53] [INFO ] Deduced a trap composed of 98 places in 316 ms of which 5 ms to minimize.
[2024-05-27 01:59:54] [INFO ] Deduced a trap composed of 37 places in 598 ms of which 8 ms to minimize.
[2024-05-27 01:59:55] [INFO ] Deduced a trap composed of 101 places in 390 ms of which 5 ms to minimize.
[2024-05-27 01:59:56] [INFO ] Deduced a trap composed of 126 places in 378 ms of which 5 ms to minimize.
[2024-05-27 01:59:56] [INFO ] Deduced a trap composed of 102 places in 243 ms of which 4 ms to minimize.
[2024-05-27 01:59:56] [INFO ] Trap strengthening (SAT) tested/added 7/6 trap constraints in 4329 ms
[2024-05-27 01:59:57] [INFO ] Deduced a trap composed of 67 places in 224 ms of which 4 ms to minimize.
[2024-05-27 01:59:57] [INFO ] Deduced a trap composed of 102 places in 231 ms of which 4 ms to minimize.
[2024-05-27 01:59:58] [INFO ] Deduced a trap composed of 95 places in 501 ms of which 8 ms to minimize.
[2024-05-27 01:59:59] [INFO ] Deduced a trap composed of 63 places in 482 ms of which 5 ms to minimize.
[2024-05-27 02:00:00] [INFO ] Deduced a trap composed of 15 places in 531 ms of which 8 ms to minimize.
[2024-05-27 02:00:00] [INFO ] Deduced a trap composed of 12 places in 490 ms of which 7 ms to minimize.
[2024-05-27 02:00:01] [INFO ] Deduced a trap composed of 12 places in 569 ms of which 7 ms to minimize.
[2024-05-27 02:00:01] [INFO ] Deduced a trap composed of 21 places in 495 ms of which 7 ms to minimize.
[2024-05-27 02:00:02] [INFO ] Deduced a trap composed of 91 places in 378 ms of which 5 ms to minimize.
[2024-05-27 02:00:02] [INFO ] Deduced a trap composed of 95 places in 388 ms of which 6 ms to minimize.
[2024-05-27 02:00:03] [INFO ] Deduced a trap composed of 91 places in 381 ms of which 4 ms to minimize.
[2024-05-27 02:00:03] [INFO ] Trap strengthening (SAT) tested/added 12/11 trap constraints in 6211 ms
[2024-05-27 02:00:04] [INFO ] Deduced a trap composed of 75 places in 624 ms of which 8 ms to minimize.
[2024-05-27 02:00:04] [INFO ] Deduced a trap composed of 108 places in 510 ms of which 9 ms to minimize.
[2024-05-27 02:00:05] [INFO ] Deduced a trap composed of 122 places in 467 ms of which 6 ms to minimize.
[2024-05-27 02:00:06] [INFO ] Deduced a trap composed of 114 places in 627 ms of which 9 ms to minimize.
[2024-05-27 02:00:06] [INFO ] Deduced a trap composed of 130 places in 482 ms of which 6 ms to minimize.
[2024-05-27 02:00:07] [INFO ] Deduced a trap composed of 71 places in 612 ms of which 9 ms to minimize.
[2024-05-27 02:00:07] [INFO ] Trap strengthening (SAT) tested/added 7/6 trap constraints in 3931 ms
[2024-05-27 02:00:08] [INFO ] Deduced a trap composed of 57 places in 522 ms of which 7 ms to minimize.
[2024-05-27 02:00:08] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 689 ms
[2024-05-27 02:00:09] [INFO ] Deduced a trap composed of 10 places in 735 ms of which 12 ms to minimize.
[2024-05-27 02:00:09] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 893 ms
[2024-05-27 02:00:11] [INFO ] Deduced a trap composed of 59 places in 722 ms of which 9 ms to minimize.
[2024-05-27 02:00:11] [INFO ] Deduced a trap composed of 61 places in 636 ms of which 8 ms to minimize.
[2024-05-27 02:00:12] [INFO ] Deduced a trap composed of 52 places in 603 ms of which 8 ms to minimize.
[2024-05-27 02:00:12] [INFO ] Deduced a trap composed of 74 places in 482 ms of which 7 ms to minimize.
[2024-05-27 02:00:13] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 2831 ms
[2024-05-27 02:00:14] [INFO ] Deduced a trap composed of 70 places in 404 ms of which 6 ms to minimize.
[2024-05-27 02:00:14] [INFO ] Deduced a trap composed of 70 places in 537 ms of which 8 ms to minimize.
[2024-05-27 02:00:15] [INFO ] Deduced a trap composed of 70 places in 535 ms of which 9 ms to minimize.
[2024-05-27 02:00:15] [INFO ] Deduced a trap composed of 70 places in 409 ms of which 9 ms to minimize.
[2024-05-27 02:00:16] [INFO ] Deduced a trap composed of 70 places in 500 ms of which 6 ms to minimize.
[2024-05-27 02:00:16] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 2915 ms
[2024-05-27 02:00:17] [INFO ] Deduced a trap composed of 112 places in 348 ms of which 4 ms to minimize.
[2024-05-27 02:00:17] [INFO ] Deduced a trap composed of 109 places in 325 ms of which 4 ms to minimize.
[2024-05-27 02:00:18] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 932 ms
[2024-05-27 02:00:18] [INFO ] Deduced a trap composed of 112 places in 282 ms of which 4 ms to minimize.
[2024-05-27 02:00:18] [INFO ] Deduced a trap composed of 108 places in 282 ms of which 5 ms to minimize.
[2024-05-27 02:00:19] [INFO ] Deduced a trap composed of 108 places in 276 ms of which 4 ms to minimize.
[2024-05-27 02:00:19] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 1195 ms
[2024-05-27 02:00:19] [INFO ] Deduced a trap composed of 125 places in 300 ms of which 5 ms to minimize.
[2024-05-27 02:00:19] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 467 ms
[2024-05-27 02:00:20] [INFO ] Deduced a trap composed of 46 places in 404 ms of which 6 ms to minimize.
[2024-05-27 02:00:21] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 627 ms
[2024-05-27 02:00:21] [INFO ] Deduced a trap composed of 13 places in 623 ms of which 8 ms to minimize.
[2024-05-27 02:00:22] [INFO ] Deduced a trap composed of 31 places in 427 ms of which 5 ms to minimize.
[2024-05-27 02:00:22] [INFO ] Deduced a trap composed of 95 places in 283 ms of which 4 ms to minimize.
[2024-05-27 02:00:23] [INFO ] Deduced a trap composed of 95 places in 399 ms of which 6 ms to minimize.
[2024-05-27 02:00:23] [INFO ] Deduced a trap composed of 95 places in 397 ms of which 6 ms to minimize.
[2024-05-27 02:00:23] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 2614 ms
[2024-05-27 02:00:25] [INFO ] Deduced a trap composed of 37 places in 550 ms of which 6 ms to minimize.
[2024-05-27 02:00:25] [INFO ] Deduced a trap composed of 73 places in 403 ms of which 5 ms to minimize.
[2024-05-27 02:00:25] [INFO ] Deduced a trap composed of 91 places in 396 ms of which 5 ms to minimize.
[2024-05-27 02:00:26] [INFO ] Deduced a trap composed of 74 places in 522 ms of which 8 ms to minimize.
[2024-05-27 02:00:27] [INFO ] Deduced a trap composed of 30 places in 577 ms of which 9 ms to minimize.
[2024-05-27 02:00:28] [INFO ] Deduced a trap composed of 52 places in 599 ms of which 9 ms to minimize.
[2024-05-27 02:00:28] [INFO ] Deduced a trap composed of 24 places in 617 ms of which 9 ms to minimize.
[2024-05-27 02:00:30] [INFO ] Deduced a trap composed of 91 places in 622 ms of which 10 ms to minimize.
[2024-05-27 02:00:31] [INFO ] Deduced a trap composed of 29 places in 824 ms of which 10 ms to minimize.
[2024-05-27 02:00:31] [INFO ] Deduced a trap composed of 91 places in 670 ms of which 10 ms to minimize.
[2024-05-27 02:00:32] [INFO ] Deduced a trap composed of 25 places in 524 ms of which 7 ms to minimize.
[2024-05-27 02:00:32] [INFO ] Deduced a trap composed of 70 places in 384 ms of which 6 ms to minimize.
[2024-05-27 02:00:33] [INFO ] Deduced a trap composed of 91 places in 500 ms of which 6 ms to minimize.
[2024-05-27 02:00:33] [INFO ] Trap strengthening (SAT) tested/added 14/13 trap constraints in 9227 ms
[2024-05-27 02:00:33] [INFO ] Deduced a trap composed of 74 places in 239 ms of which 3 ms to minimize.
[2024-05-27 02:00:35] [INFO ] Deduced a trap composed of 33 places in 544 ms of which 6 ms to minimize.
[2024-05-27 02:00:36] [INFO ] Deduced a trap composed of 43 places in 615 ms of which 9 ms to minimize.
[2024-05-27 02:00:37] [INFO ] Deduced a trap composed of 42 places in 848 ms of which 10 ms to minimize.
[2024-05-27 02:00:37] [INFO ] Deduced a trap composed of 44 places in 555 ms of which 6 ms to minimize.
[2024-05-27 02:00:38] [INFO ] Deduced a trap composed of 86 places in 422 ms of which 7 ms to minimize.
[2024-05-27 02:00:38] [INFO ] Trap strengthening (SAT) tested/added 7/6 trap constraints in 4563 ms
[2024-05-27 02:00:39] [INFO ] Deduced a trap composed of 94 places in 657 ms of which 9 ms to minimize.
[2024-05-27 02:00:39] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 800 ms
[2024-05-27 02:00:40] [INFO ] Deduced a trap composed of 26 places in 709 ms of which 10 ms to minimize.
[2024-05-27 02:00:40] [INFO ] Deduced a trap composed of 113 places in 340 ms of which 5 ms to minimize.
[2024-05-27 02:00:40] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 1273 ms
[2024-05-27 02:00:41] [INFO ] Deduced a trap composed of 24 places in 560 ms of which 7 ms to minimize.
[2024-05-27 02:00:42] [INFO ] Deduced a trap composed of 26 places in 532 ms of which 7 ms to minimize.
[2024-05-27 02:00:43] [INFO ] Deduced a trap composed of 47 places in 611 ms of which 8 ms to minimize.
[2024-05-27 02:00:43] [INFO ] Deduced a trap composed of 11 places in 525 ms of which 7 ms to minimize.
[2024-05-27 02:00:44] [INFO ] Deduced a trap composed of 11 places in 536 ms of which 10 ms to minimize.
[2024-05-27 02:00:44] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 3144 ms
[2024-05-27 02:00:45] [INFO ] Deduced a trap composed of 77 places in 749 ms of which 9 ms to minimize.
[2024-05-27 02:00:46] [INFO ] Deduced a trap composed of 50 places in 768 ms of which 10 ms to minimize.
[2024-05-27 02:00:46] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 1739 ms
[2024-05-27 02:00:47] [INFO ] Deduced a trap composed of 89 places in 410 ms of which 6 ms to minimize.
[2024-05-27 02:00:48] [INFO ] Deduced a trap composed of 88 places in 523 ms of which 7 ms to minimize.
[2024-05-27 02:00:48] [INFO ] Deduced a trap composed of 74 places in 535 ms of which 9 ms to minimize.
[2024-05-27 02:00:49] [INFO ] Deduced a trap composed of 52 places in 502 ms of which 6 ms to minimize.
[2024-05-27 02:00:49] [INFO ] Deduced a trap composed of 71 places in 531 ms of which 6 ms to minimize.
[2024-05-27 02:00:50] [INFO ] Deduced a trap composed of 86 places in 565 ms of which 6 ms to minimize.
[2024-05-27 02:00:51] [INFO ] Deduced a trap composed of 74 places in 660 ms of which 8 ms to minimize.
[2024-05-27 02:00:51] [INFO ] Trap strengthening (SAT) tested/added 8/7 trap constraints in 4545 ms
[2024-05-27 02:00:52] [INFO ] Deduced a trap composed of 78 places in 522 ms of which 8 ms to minimize.
[2024-05-27 02:00:52] [INFO ] Deduced a trap composed of 88 places in 426 ms of which 7 ms to minimize.
[2024-05-27 02:00:52] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 1166 ms
[2024-05-27 02:00:53] [INFO ] Deduced a trap composed of 22 places in 514 ms of which 6 ms to minimize.
[2024-05-27 02:00:53] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 687 ms
[2024-05-27 02:00:54] [INFO ] Deduced a trap composed of 77 places in 423 ms of which 6 ms to minimize.
[2024-05-27 02:00:54] [INFO ] Deduced a trap composed of 77 places in 453 ms of which 9 ms to minimize.
[2024-05-27 02:00:55] [INFO ] Deduced a trap composed of 109 places in 378 ms of which 4 ms to minimize.
[2024-05-27 02:00:55] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 1610 ms
[2024-05-27 02:00:56] [INFO ] Deduced a trap composed of 11 places in 678 ms of which 9 ms to minimize.
[2024-05-27 02:00:56] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 835 ms
[2024-05-27 02:00:57] [INFO ] Deduced a trap composed of 87 places in 421 ms of which 5 ms to minimize.
[2024-05-27 02:00:57] [INFO ] Deduced a trap composed of 71 places in 423 ms of which 5 ms to minimize.
[2024-05-27 02:00:58] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 1023 ms
[2024-05-27 02:00:58] [INFO ] Deduced a trap composed of 122 places in 326 ms of which 5 ms to minimize.
[2024-05-27 02:00:58] [INFO ] Deduced a trap composed of 126 places in 283 ms of which 4 ms to minimize.
[2024-05-27 02:00:59] [INFO ] Deduced a trap composed of 122 places in 345 ms of which 5 ms to minimize.
[2024-05-27 02:00:59] [INFO ] Deduced a trap composed of 126 places in 339 ms of which 8 ms to minimize.
[2024-05-27 02:00:59] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 1632 ms
[2024-05-27 02:01:00] [INFO ] Deduced a trap composed of 25 places in 565 ms of which 8 ms to minimize.
[2024-05-27 02:01:01] [INFO ] Deduced a trap composed of 20 places in 523 ms of which 7 ms to minimize.
[2024-05-27 02:01:02] [INFO ] Deduced a trap composed of 55 places in 527 ms of which 6 ms to minimize.
[2024-05-27 02:01:02] [INFO ] Deduced a trap composed of 29 places in 586 ms of which 7 ms to minimize.
[2024-05-27 02:01:02] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 2637 ms
[2024-05-27 02:01:03] [INFO ] Deduced a trap composed of 44 places in 576 ms of which 6 ms to minimize.
[2024-05-27 02:01:07] [INFO ] Deduced a trap composed of 59 places in 519 ms of which 9 ms to minimize.
[2024-05-27 02:01:07] [INFO ] Deduced a trap composed of 95 places in 355 ms of which 5 ms to minimize.
[2024-05-27 02:01:08] [INFO ] Deduced a trap composed of 95 places in 417 ms of which 7 ms to minimize.
[2024-05-27 02:01:08] [INFO ] Deduced a trap composed of 94 places in 427 ms of which 7 ms to minimize.
[2024-05-27 02:01:08] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 5879 ms
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-6"
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-6, 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-171654416900178"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Peterson-PT-6.tgz
mv Peterson-PT-6 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 ;