About the Execution of GreatSPN+red for Anderson-PT-12
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 12625.812 | 1800000.00 | 3172216.00 | 4018.40 | [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.r012-smll-171620124200239.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool greatspnxred
Input is Anderson-PT-12, examination is Liveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r012-smll-171620124200239
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.6M
-rw-r--r-- 1 mcc users 7.8K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Apr 22 14:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 22 14:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 19 07:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 19 17:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 180K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 17K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 109K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 22 14:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 22 14:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 3 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 2.1M May 18 16:42 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME Liveness
=== Now, execution of the tool begins
BK_START 1716270963000
Invoking MCC driver with
BK_TOOL=greatspnxred
BK_EXAMINATION=Liveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=Anderson-PT-12
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2024-05-21 05:56:05] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, Liveness, -timeout, 180, -rebuildPNML]
[2024-05-21 05:56:05] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-21 05:56:06] [INFO ] Load time of PNML (sax parser for PT used): 694 ms
[2024-05-21 05:56:06] [INFO ] Transformed 889 places.
[2024-05-21 05:56:06] [INFO ] Transformed 4152 transitions.
[2024-05-21 05:56:06] [INFO ] Found NUPN structural information;
[2024-05-21 05:56:06] [INFO ] Parsed PT model containing 889 places and 4152 transitions and 16080 arcs in 988 ms.
Built sparse matrix representations for Structural reductions in 24 ms.27490KB memory used
Starting structural reductions in DEADLOCK mode, iteration 0 : 889/889 places, 4152/4152 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Applied a total of 0 rules in 378 ms. Remains 889 /889 variables (removed 0) and now considering 4152/4152 (removed 0) transitions.
Finished structural reductions in DEADLOCK mode , in 1 iterations and 411 ms. Remains : 889/889 places, 4152/4152 transitions.
Starting structural reductions in DEADLOCK mode, iteration 0 : 889/889 places, 4152/4152 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Applied a total of 0 rules in 164 ms. Remains 889 /889 variables (removed 0) and now considering 4152/4152 (removed 0) transitions.
// Phase 1: matrix 4152 rows 889 cols
[2024-05-21 05:56:07] [INFO ] Computed 27 invariants in 180 ms
[2024-05-21 05:56:08] [INFO ] Implicit Places using invariants in 840 ms returned []
[2024-05-21 05:56:08] [INFO ] Invariant cache hit.
[2024-05-21 05:56:12] [INFO ] State equation strengthened by 132 read => feed constraints.
[2024-05-21 05:56:12] [INFO ] Implicit Places using invariants and state equation in 4057 ms returned []
Implicit Place search using SMT with State Equation took 4943 ms to find 0 implicit places.
[2024-05-21 05:56:13] [INFO ] Redundant transitions in 440 ms returned []
Running 4140 sub problems to find dead transitions.
[2024-05-21 05:56:13] [INFO ] Invariant cache hit.
[2024-05-21 05:56:13] [INFO ] State equation strengthened by 132 read => feed constraints.
Error getting values : (error "ParserException while parsing response: ((s0 1.0)
(s1 1.0)
(s2 timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/889 variables, 889/889 constraints. Problems are: Problem set: 0 solved, 4140 unsolved
SMT process timed out in 55970ms, After SMT, problems are : Problem set: 0 solved, 4140 unsolved
Search for dead transitions found 0 dead transitions in 56132ms
Finished structural reductions in DEADLOCK mode , in 1 iterations and 61736 ms. Remains : 889/889 places, 4152/4152 transitions.
Random walk for 1250000 steps, including 0 resets, run took 7757 ms (no deadlock found). (steps per millisecond=161 )
Random directed walk for 1250000 steps, including 0 resets, run took 6385 ms (no deadlock found). (steps per millisecond=195 )
[2024-05-21 05:57:23] [INFO ] Invariant cache hit.
[2024-05-21 05:57:24] [INFO ] [Real]Absence check using 13 positive place invariants in 103 ms returned sat
[2024-05-21 05:57:26] [INFO ] [Real]Absence check using 13 positive and 14 generalized place invariants in 1953 ms returned unsat
Starting structural reductions in LIVENESS mode, iteration 0 : 889/889 places, 4152/4152 transitions.
Performed 132 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 132 Pre rules applied. Total rules applied 0 place count 889 transition count 4020
Deduced a syphon composed of 132 places in 5 ms
Reduce places removed 132 places and 0 transitions.
Iterating global reduction 0 with 264 rules applied. Total rules applied 264 place count 757 transition count 4020
Applied a total of 264 rules in 142 ms. Remains 757 /889 variables (removed 132) and now considering 4020/4152 (removed 132) transitions.
// Phase 1: matrix 4020 rows 757 cols
[2024-05-21 05:57:27] [INFO ] Computed 27 invariants in 86 ms
[2024-05-21 05:57:31] [INFO ] Implicit Places using invariants in 4753 ms returned [0]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 4771 ms to find 1 implicit places.
Starting structural reductions in LIVENESS mode, iteration 1 : 756/889 places, 4020/4152 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 144 transitions
Trivial Post-agglo rules discarded 144 transitions
Performed 144 trivial Post agglomeration. Transition count delta: 144
Iterating post reduction 0 with 144 rules applied. Total rules applied 144 place count 756 transition count 3876
Reduce places removed 144 places and 0 transitions.
Iterating post reduction 1 with 144 rules applied. Total rules applied 288 place count 612 transition count 3876
Applied a total of 288 rules in 43 ms. Remains 612 /756 variables (removed 144) and now considering 3876/4020 (removed 144) transitions.
// Phase 1: matrix 3876 rows 612 cols
[2024-05-21 05:57:31] [INFO ] Computed 26 invariants in 36 ms
[2024-05-21 05:57:35] [INFO ] Implicit Places using invariants in 3134 ms returned []
[2024-05-21 05:57:35] [INFO ] Invariant cache hit.
[2024-05-21 05:57:37] [INFO ] State equation strengthened by 252 read => feed constraints.
[2024-05-21 05:57:50] [INFO ] Implicit Places using invariants and state equation in 15140 ms returned []
Implicit Place search using SMT with State Equation took 18281 ms to find 0 implicit places.
Starting structural reductions in LIVENESS mode, iteration 2 : 612/889 places, 3876/4152 transitions.
Finished structural reductions in LIVENESS mode , in 2 iterations and 23240 ms. Remains : 612/889 places, 3876/4152 transitions.
Initial state reduction rules removed 12 formulas.
RANDOM walk for 40000 steps (8 resets) in 19961 ms. (2 steps per ms) remains 2418/3864 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 22 ms. (5 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 25 ms. (4 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 21 ms. (5 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 2418/2418 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 2418/2418 properties
[2024-05-21 05:57:56] [INFO ] Invariant cache hit.
[2024-05-21 05:57:56] [INFO ] State equation strengthened by 252 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/281 variables, 281/281 constraints. Problems are: Problem set: 0 solved, 2418 unsolved
SMT process timed out in 20379ms, After SMT, problems are : Problem set: 0 solved, 2418 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 281 out of 612 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 612/612 places, 3876/3876 transitions.
Discarding 40 places :
Symmetric choice reduction at 0 with 40 rule applications. Total rules 40 place count 572 transition count 3836
Iterating global reduction 0 with 40 rules applied. Total rules applied 80 place count 572 transition count 3836
Applied a total of 80 rules in 275 ms. Remains 572 /612 variables (removed 40) and now considering 3836/3876 (removed 40) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 277 ms. Remains : 572/612 places, 3836/3876 transitions.
RANDOM walk for 697466 steps (0 resets) in 120004 ms. (5 steps per ms) remains 1806/2418 properties
BEST_FIRST walk for 4002 steps (8 resets) in 129 ms. (30 steps per ms) remains 1799/1806 properties
BEST_FIRST walk for 4004 steps (8 resets) in 106 ms. (37 steps per ms) remains 1799/1799 properties
BEST_FIRST walk for 4004 steps (8 resets) in 104 ms. (38 steps per ms) remains 1799/1799 properties
BEST_FIRST walk for 4001 steps (8 resets) in 102 ms. (38 steps per ms) remains 1794/1799 properties
BEST_FIRST walk for 4002 steps (8 resets) in 105 ms. (37 steps per ms) remains 1791/1794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 106 ms. (37 steps per ms) remains 1791/1791 properties
BEST_FIRST walk for 4004 steps (8 resets) in 105 ms. (37 steps per ms) remains 1791/1791 properties
BEST_FIRST walk for 4003 steps (8 resets) in 105 ms. (37 steps per ms) remains 1790/1791 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 1631/1790 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 1528/1631 properties
BEST_FIRST walk for 4002 steps (8 resets) in 168 ms. (23 steps per ms) remains 1526/1528 properties
BEST_FIRST walk for 4002 steps (8 resets) in 174 ms. (22 steps per ms) remains 1526/1526 properties
BEST_FIRST walk for 4001 steps (8 resets) in 215 ms. (18 steps per ms) remains 1525/1526 properties
BEST_FIRST walk for 4003 steps (8 resets) in 218 ms. (18 steps per ms) remains 1525/1525 properties
BEST_FIRST walk for 4002 steps (8 resets) in 257 ms. (15 steps per ms) remains 1525/1525 properties
BEST_FIRST walk for 4003 steps (8 resets) in 278 ms. (14 steps per ms) remains 1520/1525 properties
BEST_FIRST walk for 4003 steps (8 resets) in 238 ms. (16 steps per ms) remains 1520/1520 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 1519/1520 properties
BEST_FIRST walk for 4000 steps (8 resets) in 202 ms. (19 steps per ms) remains 1519/1519 properties
BEST_FIRST walk for 4002 steps (8 resets) in 227 ms. (17 steps per ms) remains 1516/1519 properties
BEST_FIRST walk for 4002 steps (8 resets) in 230 ms. (17 steps per ms) remains 1516/1516 properties
BEST_FIRST walk for 4001 steps (8 resets) in 263 ms. (15 steps per ms) remains 1516/1516 properties
BEST_FIRST walk for 4001 steps (8 resets) in 258 ms. (15 steps per ms) remains 1515/1516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 1514/1515 properties
BEST_FIRST walk for 4002 steps (8 resets) in 257 ms. (15 steps per ms) remains 1514/1514 properties
BEST_FIRST walk for 4002 steps (8 resets) in 253 ms. (15 steps per ms) remains 1514/1514 properties
BEST_FIRST walk for 4002 steps (8 resets) in 279 ms. (14 steps per ms) remains 1514/1514 properties
BEST_FIRST walk for 4003 steps (8 resets) in 288 ms. (13 steps per ms) remains 1513/1514 properties
BEST_FIRST walk for 4003 steps (8 resets) in 236 ms. (16 steps per ms) remains 1513/1513 properties
BEST_FIRST walk for 4001 steps (8 resets) in 157 ms. (25 steps per ms) remains 1511/1513 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 1511/1511 properties
BEST_FIRST walk for 4003 steps (8 resets) in 200 ms. (19 steps per ms) remains 1510/1511 properties
BEST_FIRST walk for 4001 steps (8 resets) in 204 ms. (19 steps per ms) remains 1510/1510 properties
BEST_FIRST walk for 4003 steps (8 resets) in 143 ms. (27 steps per ms) remains 1508/1510 properties
BEST_FIRST walk for 4001 steps (8 resets) in 204 ms. (19 steps per ms) remains 1508/1508 properties
BEST_FIRST walk for 4004 steps (8 resets) in 93 ms. (42 steps per ms) remains 1429/1508 properties
BEST_FIRST walk for 4004 steps (8 resets) in 64 ms. (61 steps per ms) remains 1313/1429 properties
BEST_FIRST walk for 4003 steps (8 resets) in 74 ms. (53 steps per ms) remains 1148/1313 properties
BEST_FIRST walk for 4004 steps (8 resets) in 97 ms. (40 steps per ms) remains 1053/1148 properties
BEST_FIRST walk for 4002 steps (8 resets) in 145 ms. (27 steps per ms) remains 1053/1053 properties
BEST_FIRST walk for 4002 steps (8 resets) in 133 ms. (29 steps per ms) remains 1053/1053 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 1017/1053 properties
BEST_FIRST walk for 4001 steps (8 resets) in 51 ms. (76 steps per ms) remains 1009/1017 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 997/1009 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 978/997 properties
BEST_FIRST walk for 4003 steps (8 resets) in 123 ms. (32 steps per ms) remains 978/978 properties
BEST_FIRST walk for 4002 steps (8 resets) in 134 ms. (29 steps per ms) remains 977/978 properties
BEST_FIRST walk for 4002 steps (8 resets) in 126 ms. (31 steps per ms) remains 977/977 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 962/977 properties
BEST_FIRST walk for 4003 steps (8 resets) in 62 ms. (63 steps per ms) remains 902/962 properties
BEST_FIRST walk for 4002 steps (8 resets) in 131 ms. (30 steps per ms) remains 891/902 properties
BEST_FIRST walk for 4003 steps (8 resets) in 129 ms. (30 steps per ms) remains 890/891 properties
BEST_FIRST walk for 4004 steps (8 resets) in 135 ms. (29 steps per ms) remains 890/890 properties
BEST_FIRST walk for 4003 steps (8 resets) in 128 ms. (31 steps per ms) remains 890/890 properties
BEST_FIRST walk for 4004 steps (8 resets) in 126 ms. (31 steps per ms) remains 890/890 properties
BEST_FIRST walk for 4003 steps (8 resets) in 138 ms. (28 steps per ms) remains 890/890 properties
BEST_FIRST walk for 4001 steps (8 resets) in 120 ms. (33 steps per ms) remains 888/890 properties
BEST_FIRST walk for 4002 steps (8 resets) in 122 ms. (32 steps per ms) remains 888/888 properties
BEST_FIRST walk for 4002 steps (8 resets) in 113 ms. (35 steps per ms) remains 888/888 properties
BEST_FIRST walk for 4001 steps (8 resets) in 123 ms. (32 steps per ms) remains 887/888 properties
BEST_FIRST walk for 4003 steps (8 resets) in 138 ms. (28 steps per ms) remains 887/887 properties
BEST_FIRST walk for 4002 steps (8 resets) in 126 ms. (31 steps per ms) remains 887/887 properties
BEST_FIRST walk for 4003 steps (8 resets) in 122 ms. (32 steps per ms) remains 886/887 properties
BEST_FIRST walk for 4003 steps (8 resets) in 107 ms. (37 steps per ms) remains 886/886 properties
BEST_FIRST walk for 4002 steps (8 resets) in 124 ms. (32 steps per ms) remains 886/886 properties
BEST_FIRST walk for 4003 steps (8 resets) in 129 ms. (30 steps per ms) remains 886/886 properties
BEST_FIRST walk for 4002 steps (8 resets) in 109 ms. (36 steps per ms) remains 886/886 properties
BEST_FIRST walk for 4003 steps (8 resets) in 116 ms. (34 steps per ms) remains 886/886 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 873/886 properties
BEST_FIRST walk for 4003 steps (8 resets) in 47 ms. (83 steps per ms) remains 862/873 properties
BEST_FIRST walk for 4002 steps (8 resets) in 104 ms. (38 steps per ms) remains 832/862 properties
BEST_FIRST walk for 4003 steps (8 resets) in 101 ms. (39 steps per ms) remains 821/832 properties
BEST_FIRST walk for 4001 steps (8 resets) in 101 ms. (39 steps per ms) remains 819/821 properties
BEST_FIRST walk for 4003 steps (8 resets) in 105 ms. (37 steps per ms) remains 819/819 properties
BEST_FIRST walk for 4003 steps (8 resets) in 107 ms. (37 steps per ms) remains 819/819 properties
BEST_FIRST walk for 4002 steps (8 resets) in 113 ms. (35 steps per ms) remains 819/819 properties
BEST_FIRST walk for 4001 steps (8 resets) in 117 ms. (33 steps per ms) remains 818/819 properties
BEST_FIRST walk for 4001 steps (8 resets) in 105 ms. (37 steps per ms) remains 818/818 properties
BEST_FIRST walk for 4003 steps (8 resets) in 76 ms. (51 steps per ms) remains 818/818 properties
BEST_FIRST walk for 4003 steps (8 resets) in 75 ms. (52 steps per ms) remains 818/818 properties
BEST_FIRST walk for 4002 steps (8 resets) in 102 ms. (38 steps per ms) remains 818/818 properties
BEST_FIRST walk for 4002 steps (8 resets) in 99 ms. (40 steps per ms) remains 818/818 properties
BEST_FIRST walk for 4001 steps (8 resets) in 104 ms. (38 steps per ms) remains 818/818 properties
BEST_FIRST walk for 4002 steps (8 resets) in 92 ms. (43 steps per ms) remains 818/818 properties
BEST_FIRST walk for 4002 steps (8 resets) in 109 ms. (36 steps per ms) remains 811/818 properties
BEST_FIRST walk for 4001 steps (8 resets) in 102 ms. (38 steps per ms) remains 811/811 properties
BEST_FIRST walk for 4002 steps (8 resets) in 103 ms. (38 steps per ms) remains 811/811 properties
BEST_FIRST walk for 4003 steps (8 resets) in 105 ms. (37 steps per ms) remains 811/811 properties
BEST_FIRST walk for 4002 steps (8 resets) in 100 ms. (39 steps per ms) remains 811/811 properties
BEST_FIRST walk for 4002 steps (8 resets) in 108 ms. (36 steps per ms) remains 811/811 properties
BEST_FIRST walk for 4002 steps (8 resets) in 103 ms. (38 steps per ms) remains 811/811 properties
BEST_FIRST walk for 4002 steps (8 resets) in 110 ms. (36 steps per ms) remains 811/811 properties
BEST_FIRST walk for 4002 steps (8 resets) in 101 ms. (39 steps per ms) remains 811/811 properties
BEST_FIRST walk for 4003 steps (8 resets) in 45 ms. (87 steps per ms) remains 805/811 properties
BEST_FIRST walk for 4003 steps (8 resets) in 100 ms. (39 steps per ms) remains 804/805 properties
BEST_FIRST walk for 4003 steps (8 resets) in 100 ms. (39 steps per ms) remains 804/804 properties
BEST_FIRST walk for 4003 steps (8 resets) in 97 ms. (40 steps per ms) remains 803/804 properties
BEST_FIRST walk for 4001 steps (8 resets) in 98 ms. (40 steps per ms) remains 803/803 properties
BEST_FIRST walk for 4003 steps (8 resets) in 98 ms. (40 steps per ms) remains 803/803 properties
BEST_FIRST walk for 4003 steps (8 resets) in 95 ms. (41 steps per ms) remains 803/803 properties
BEST_FIRST walk for 4003 steps (8 resets) in 94 ms. (42 steps per ms) remains 803/803 properties
BEST_FIRST walk for 4002 steps (8 resets) in 99 ms. (40 steps per ms) remains 803/803 properties
BEST_FIRST walk for 4004 steps (8 resets) in 96 ms. (41 steps per ms) remains 803/803 properties
BEST_FIRST walk for 4001 steps (8 resets) in 102 ms. (38 steps per ms) remains 803/803 properties
BEST_FIRST walk for 4003 steps (8 resets) in 99 ms. (40 steps per ms) remains 803/803 properties
BEST_FIRST walk for 4002 steps (8 resets) in 98 ms. (40 steps per ms) remains 803/803 properties
BEST_FIRST walk for 4002 steps (8 resets) in 99 ms. (40 steps per ms) remains 803/803 properties
BEST_FIRST walk for 4002 steps (8 resets) in 92 ms. (43 steps per ms) remains 803/803 properties
BEST_FIRST walk for 4003 steps (8 resets) in 96 ms. (41 steps per ms) remains 803/803 properties
BEST_FIRST walk for 4002 steps (8 resets) in 98 ms. (40 steps per ms) remains 803/803 properties
BEST_FIRST walk for 4004 steps (8 resets) in 98 ms. (40 steps per ms) remains 803/803 properties
BEST_FIRST walk for 4003 steps (8 resets) in 113 ms. (35 steps per ms) remains 803/803 properties
BEST_FIRST walk for 4002 steps (8 resets) in 101 ms. (39 steps per ms) remains 803/803 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 800/803 properties
BEST_FIRST walk for 4004 steps (8 resets) in 82 ms. (48 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 81 ms. (48 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4001 steps (8 resets) in 79 ms. (50 steps per ms) remains 800/800 properties
BEST_FIRST walk for 4003 steps (8 resets) in 84 ms. (47 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 4002 steps (8 resets) in 36 ms. (108 steps per ms) remains 794/800 properties
BEST_FIRST walk for 4001 steps (8 resets) in 77 ms. (51 steps per ms) remains 790/794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 789/790 properties
BEST_FIRST walk for 4003 steps (8 resets) in 36 ms. (108 steps per ms) remains 787/789 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 784/787 properties
BEST_FIRST walk for 4002 steps (8 resets) in 83 ms. (47 steps per ms) remains 781/784 properties
BEST_FIRST walk for 4003 steps (8 resets) in 80 ms. (49 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4002 steps (8 resets) in 76 ms. (51 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4003 steps (8 resets) in 75 ms. (52 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4002 steps (8 resets) in 79 ms. (50 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4003 steps (8 resets) in 59 ms. (66 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4003 steps (8 resets) in 58 ms. (67 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4002 steps (8 resets) in 76 ms. (51 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4001 steps (8 resets) in 79 ms. (50 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4002 steps (8 resets) in 78 ms. (50 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4003 steps (8 resets) in 79 ms. (50 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4001 steps (8 resets) in 80 ms. (49 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4001 steps (8 resets) in 75 ms. (52 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4001 steps (8 resets) in 96 ms. (41 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4002 steps (8 resets) in 99 ms. (40 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4001 steps (8 resets) in 101 ms. (39 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4002 steps (8 resets) in 94 ms. (42 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4002 steps (8 resets) in 95 ms. (41 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4003 steps (8 resets) in 101 ms. (39 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4004 steps (8 resets) in 98 ms. (40 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4001 steps (8 resets) in 102 ms. (38 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4003 steps (8 resets) in 100 ms. (39 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4003 steps (8 resets) in 99 ms. (40 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4003 steps (8 resets) in 98 ms. (40 steps per ms) remains 775/781 properties
BEST_FIRST walk for 4003 steps (8 resets) in 100 ms. (39 steps per ms) remains 775/775 properties
BEST_FIRST walk for 4003 steps (8 resets) in 98 ms. (40 steps per ms) remains 775/775 properties
BEST_FIRST walk for 4002 steps (8 resets) in 101 ms. (39 steps per ms) remains 775/775 properties
BEST_FIRST walk for 4003 steps (8 resets) in 106 ms. (37 steps per ms) remains 775/775 properties
BEST_FIRST walk for 4003 steps (8 resets) in 108 ms. (36 steps per ms) remains 775/775 properties
BEST_FIRST walk for 4002 steps (8 resets) in 94 ms. (42 steps per ms) remains 775/775 properties
BEST_FIRST walk for 4003 steps (8 resets) in 89 ms. (44 steps per ms) remains 775/775 properties
BEST_FIRST walk for 4003 steps (8 resets) in 99 ms. (40 steps per ms) remains 775/775 properties
BEST_FIRST walk for 4003 steps (8 resets) in 91 ms. (43 steps per ms) remains 775/775 properties
BEST_FIRST walk for 4003 steps (8 resets) in 96 ms. (41 steps per ms) remains 775/775 properties
BEST_FIRST walk for 4003 steps (8 resets) in 93 ms. (42 steps per ms) remains 775/775 properties
BEST_FIRST walk for 4003 steps (8 resets) in 94 ms. (42 steps per ms) remains 775/775 properties
BEST_FIRST walk for 4003 steps (8 resets) in 94 ms. (42 steps per ms) remains 775/775 properties
BEST_FIRST walk for 4001 steps (8 resets) in 90 ms. (43 steps per ms) remains 775/775 properties
BEST_FIRST walk for 4002 steps (8 resets) in 92 ms. (43 steps per ms) remains 775/775 properties
BEST_FIRST walk for 4002 steps (8 resets) in 94 ms. (42 steps per ms) remains 775/775 properties
BEST_FIRST walk for 4002 steps (8 resets) in 95 ms. (41 steps per ms) remains 775/775 properties
BEST_FIRST walk for 4002 steps (8 resets) in 92 ms. (43 steps per ms) remains 775/775 properties
BEST_FIRST walk for 4004 steps (8 resets) in 114 ms. (34 steps per ms) remains 775/775 properties
BEST_FIRST walk for 4003 steps (8 resets) in 90 ms. (43 steps per ms) remains 774/775 properties
BEST_FIRST walk for 4004 steps (8 resets) in 93 ms. (42 steps per ms) remains 774/774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 96 ms. (41 steps per ms) remains 774/774 properties
BEST_FIRST walk for 4001 steps (8 resets) in 92 ms. (43 steps per ms) remains 774/774 properties
BEST_FIRST walk for 4002 steps (8 resets) in 94 ms. (42 steps per ms) remains 774/774 properties
BEST_FIRST walk for 4003 steps (8 resets) in 94 ms. (42 steps per ms) remains 774/774 properties
BEST_FIRST walk for 4003 steps (8 resets) in 83 ms. (47 steps per ms) remains 774/774 properties
BEST_FIRST walk for 4003 steps (8 resets) in 76 ms. (51 steps per ms) remains 774/774 properties
BEST_FIRST walk for 4003 steps (8 resets) in 74 ms. (53 steps per ms) remains 774/774 properties
BEST_FIRST walk for 4003 steps (8 resets) in 76 ms. (51 steps per ms) remains 774/774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 774/774 properties
BEST_FIRST walk for 4002 steps (8 resets) in 78 ms. (50 steps per ms) remains 774/774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 770/774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 768/770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 32 ms. (121 steps per ms) remains 764/768 properties
BEST_FIRST walk for 4002 steps (8 resets) in 67 ms. (58 steps per ms) remains 744/764 properties
BEST_FIRST walk for 4003 steps (8 resets) in 72 ms. (54 steps per ms) remains 735/744 properties
BEST_FIRST walk for 4003 steps (8 resets) in 77 ms. (51 steps per ms) remains 735/735 properties
BEST_FIRST walk for 4002 steps (8 resets) in 74 ms. (53 steps per ms) remains 735/735 properties
BEST_FIRST walk for 4004 steps (8 resets) in 76 ms. (52 steps per ms) remains 735/735 properties
BEST_FIRST walk for 4002 steps (8 resets) in 73 ms. (54 steps per ms) remains 735/735 properties
BEST_FIRST walk for 4001 steps (8 resets) in 75 ms. (52 steps per ms) remains 735/735 properties
BEST_FIRST walk for 4001 steps (8 resets) in 73 ms. (54 steps per ms) remains 735/735 properties
BEST_FIRST walk for 4003 steps (8 resets) in 54 ms. (72 steps per ms) remains 735/735 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 735/735 properties
BEST_FIRST walk for 4003 steps (8 resets) in 52 ms. (75 steps per ms) remains 735/735 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 735/735 properties
BEST_FIRST walk for 4002 steps (8 resets) in 70 ms. (56 steps per ms) remains 735/735 properties
BEST_FIRST walk for 4003 steps (8 resets) in 69 ms. (57 steps per ms) remains 735/735 properties
BEST_FIRST walk for 4002 steps (8 resets) in 71 ms. (55 steps per ms) remains 735/735 properties
BEST_FIRST walk for 4003 steps (8 resets) in 73 ms. (54 steps per ms) remains 735/735 properties
BEST_FIRST walk for 4003 steps (8 resets) in 72 ms. (54 steps per ms) remains 735/735 properties
BEST_FIRST walk for 4003 steps (8 resets) in 81 ms. (48 steps per ms) remains 722/735 properties
BEST_FIRST walk for 4004 steps (8 resets) in 73 ms. (54 steps per ms) remains 722/722 properties
BEST_FIRST walk for 4003 steps (8 resets) in 74 ms. (53 steps per ms) remains 722/722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 722/722 properties
BEST_FIRST walk for 4003 steps (8 resets) in 72 ms. (54 steps per ms) remains 722/722 properties
BEST_FIRST walk for 4003 steps (8 resets) in 71 ms. (55 steps per ms) remains 722/722 properties
BEST_FIRST walk for 4002 steps (8 resets) in 72 ms. (54 steps per ms) remains 722/722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 71 ms. (55 steps per ms) remains 722/722 properties
BEST_FIRST walk for 4000 steps (8 resets) in 71 ms. (55 steps per ms) remains 722/722 properties
BEST_FIRST walk for 4002 steps (8 resets) in 69 ms. (57 steps per ms) remains 721/722 properties
BEST_FIRST walk for 4002 steps (8 resets) in 75 ms. (52 steps per ms) remains 721/721 properties
BEST_FIRST walk for 4003 steps (8 resets) in 72 ms. (54 steps per ms) remains 721/721 properties
BEST_FIRST walk for 4003 steps (8 resets) in 72 ms. (54 steps per ms) remains 721/721 properties
BEST_FIRST walk for 4003 steps (8 resets) in 68 ms. (58 steps per ms) remains 721/721 properties
BEST_FIRST walk for 4004 steps (8 resets) in 70 ms. (56 steps per ms) remains 721/721 properties
BEST_FIRST walk for 4004 steps (8 resets) in 71 ms. (55 steps per ms) remains 721/721 properties
BEST_FIRST walk for 4003 steps (8 resets) in 32 ms. (121 steps per ms) remains 717/721 properties
BEST_FIRST walk for 4002 steps (8 resets) in 74 ms. (53 steps per ms) remains 716/717 properties
BEST_FIRST walk for 4002 steps (8 resets) in 72 ms. (54 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4003 steps (8 resets) in 70 ms. (56 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4002 steps (8 resets) in 74 ms. (53 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4002 steps (8 resets) in 75 ms. (52 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4003 steps (8 resets) in 71 ms. (55 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 713/716 properties
BEST_FIRST walk for 4003 steps (8 resets) in 68 ms. (58 steps per ms) remains 713/713 properties
BEST_FIRST walk for 4003 steps (8 resets) in 71 ms. (55 steps per ms) remains 713/713 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 713/713 properties
BEST_FIRST walk for 4004 steps (8 resets) in 72 ms. (54 steps per ms) remains 712/713 properties
BEST_FIRST walk for 4003 steps (8 resets) in 70 ms. (56 steps per ms) remains 712/712 properties
BEST_FIRST walk for 4002 steps (8 resets) in 68 ms. (58 steps per ms) remains 712/712 properties
BEST_FIRST walk for 4002 steps (8 resets) in 73 ms. (54 steps per ms) remains 712/712 properties
BEST_FIRST walk for 4003 steps (8 resets) in 33 ms. (117 steps per ms) remains 712/712 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 712/712 properties
BEST_FIRST walk for 4003 steps (8 resets) in 28 ms. (138 steps per ms) remains 708/712 properties
BEST_FIRST walk for 4002 steps (8 resets) in 64 ms. (61 steps per ms) remains 705/708 properties
BEST_FIRST walk for 4002 steps (8 resets) in 68 ms. (58 steps per ms) remains 686/705 properties
BEST_FIRST walk for 4001 steps (8 resets) in 69 ms. (57 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4002 steps (8 resets) in 71 ms. (55 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4001 steps (8 resets) in 70 ms. (56 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4003 steps (8 resets) in 72 ms. (54 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4002 steps (8 resets) in 52 ms. (75 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4001 steps (8 resets) in 49 ms. (80 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4001 steps (8 resets) in 73 ms. (54 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4004 steps (8 resets) in 71 ms. (55 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4002 steps (8 resets) in 73 ms. (54 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4002 steps (8 resets) in 72 ms. (54 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4002 steps (8 resets) in 71 ms. (55 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4003 steps (8 resets) in 69 ms. (57 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4002 steps (8 resets) in 66 ms. (59 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4001 steps (8 resets) in 67 ms. (58 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4002 steps (8 resets) in 70 ms. (56 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4003 steps (8 resets) in 71 ms. (55 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4002 steps (8 resets) in 67 ms. (58 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4004 steps (8 resets) in 81 ms. (48 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4002 steps (8 resets) in 70 ms. (56 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4002 steps (8 resets) in 74 ms. (53 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4004 steps (8 resets) in 70 ms. (56 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4003 steps (8 resets) in 67 ms. (58 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4002 steps (8 resets) in 67 ms. (58 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4002 steps (8 resets) in 70 ms. (56 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4002 steps (8 resets) in 69 ms. (57 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4003 steps (8 resets) in 69 ms. (57 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4004 steps (8 resets) in 73 ms. (54 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4003 steps (8 resets) in 70 ms. (56 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4002 steps (8 resets) in 72 ms. (54 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4003 steps (8 resets) in 68 ms. (58 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4004 steps (8 resets) in 80 ms. (49 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4003 steps (8 resets) in 67 ms. (58 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4002 steps (8 resets) in 75 ms. (52 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4002 steps (8 resets) in 69 ms. (57 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4003 steps (8 resets) in 72 ms. (54 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4002 steps (8 resets) in 66 ms. (59 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4002 steps (8 resets) in 67 ms. (58 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4001 steps (8 resets) in 69 ms. (57 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4001 steps (8 resets) in 71 ms. (55 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4003 steps (8 resets) in 70 ms. (56 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4003 steps (8 resets) in 70 ms. (56 steps per ms) remains 686/686 properties
// Phase 1: matrix 3836 rows 572 cols
[2024-05-21 05:58:55] [INFO ] Computed 26 invariants in 30 ms
[2024-05-21 05:58:55] [INFO ] State equation strengthened by 224 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/234 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 686 unsolved
At refinement iteration 1 (OVERLAPS) 331/565 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 686 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/565 variables, 4/17 constraints. Problems are: Problem set: 0 solved, 686 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/565 variables, 0/17 constraints. Problems are: Problem set: 0 solved, 686 unsolved
At refinement iteration 4 (OVERLAPS) 7/572 variables, 9/26 constraints. Problems are: Problem set: 0 solved, 686 unsolved
[2024-05-21 05:59:34] [INFO ] Deduced a trap composed of 136 places in 1021 ms of which 58 ms to minimize.
[2024-05-21 05:59:35] [INFO ] Deduced a trap composed of 191 places in 1016 ms of which 7 ms to minimize.
[2024-05-21 05:59:36] [INFO ] Deduced a trap composed of 205 places in 1169 ms of which 7 ms to minimize.
[2024-05-21 05:59:37] [INFO ] Deduced a trap composed of 229 places in 984 ms of which 6 ms to minimize.
[2024-05-21 05:59:38] [INFO ] Deduced a trap composed of 230 places in 988 ms of which 6 ms to minimize.
[2024-05-21 05:59:39] [INFO ] Deduced a trap composed of 205 places in 897 ms of which 6 ms to minimize.
[2024-05-21 05:59:40] [INFO ] Deduced a trap composed of 210 places in 1033 ms of which 6 ms to minimize.
[2024-05-21 05:59:41] [INFO ] Deduced a trap composed of 147 places in 911 ms of which 6 ms to minimize.
[2024-05-21 05:59:42] [INFO ] Deduced a trap composed of 206 places in 1022 ms of which 5 ms to minimize.
[2024-05-21 05:59:43] [INFO ] Deduced a trap composed of 102 places in 1029 ms of which 6 ms to minimize.
[2024-05-21 05:59:44] [INFO ] Deduced a trap composed of 208 places in 1018 ms of which 6 ms to minimize.
SMT process timed out in 49302ms, After SMT, problems are : Problem set: 0 solved, 686 unsolved
Fused 686 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 234 out of 572 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 572/572 places, 3836/3836 transitions.
Discarding 32 places :
Symmetric choice reduction at 0 with 32 rule applications. Total rules 32 place count 540 transition count 3804
Iterating global reduction 0 with 32 rules applied. Total rules applied 64 place count 540 transition count 3804
Applied a total of 64 rules in 174 ms. Remains 540 /572 variables (removed 32) and now considering 3804/3836 (removed 32) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 174 ms. Remains : 540/572 places, 3804/3836 transitions.
RANDOM walk for 2002321 steps (4 resets) in 120004 ms. (16 steps per ms) remains 667/686 properties
BEST_FIRST walk for 4003 steps (8 resets) in 69 ms. (57 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4003 steps (8 resets) in 68 ms. (58 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4002 steps (8 resets) in 83 ms. (47 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4003 steps (8 resets) in 87 ms. (45 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4001 steps (8 resets) in 88 ms. (44 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4002 steps (8 resets) in 92 ms. (43 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4002 steps (8 resets) in 87 ms. (45 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4000 steps (8 resets) in 106 ms. (37 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4003 steps (8 resets) in 64 ms. (61 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4002 steps (8 resets) in 64 ms. (61 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4003 steps (8 resets) in 66 ms. (59 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4003 steps (8 resets) in 63 ms. (62 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4002 steps (8 resets) in 69 ms. (57 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4002 steps (8 resets) in 65 ms. (60 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4002 steps (8 resets) in 61 ms. (64 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4002 steps (8 resets) in 63 ms. (62 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4002 steps (8 resets) in 66 ms. (59 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4002 steps (8 resets) in 64 ms. (61 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4001 steps (8 resets) in 66 ms. (59 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4003 steps (8 resets) in 67 ms. (58 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4001 steps (8 resets) in 65 ms. (60 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4003 steps (8 resets) in 67 ms. (58 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4002 steps (8 resets) in 67 ms. (58 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4003 steps (8 resets) in 63 ms. (62 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4002 steps (8 resets) in 65 ms. (60 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4002 steps (8 resets) in 64 ms. (61 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4003 steps (8 resets) in 65 ms. (60 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4002 steps (8 resets) in 67 ms. (58 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4003 steps (8 resets) in 66 ms. (59 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4002 steps (8 resets) in 62 ms. (63 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4002 steps (8 resets) in 63 ms. (62 steps per ms) remains 659/667 properties
BEST_FIRST walk for 4003 steps (8 resets) in 66 ms. (59 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4002 steps (8 resets) in 63 ms. (62 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4003 steps (8 resets) in 66 ms. (59 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4003 steps (8 resets) in 67 ms. (58 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4002 steps (8 resets) in 66 ms. (59 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4000 steps (8 resets) in 66 ms. (59 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4002 steps (8 resets) in 62 ms. (63 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4003 steps (8 resets) in 47 ms. (83 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4001 steps (8 resets) in 66 ms. (59 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4003 steps (8 resets) in 62 ms. (63 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4003 steps (8 resets) in 64 ms. (61 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4003 steps (8 resets) in 67 ms. (58 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4001 steps (8 resets) in 64 ms. (61 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4002 steps (8 resets) in 61 ms. (64 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4002 steps (8 resets) in 65 ms. (60 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4002 steps (8 resets) in 63 ms. (62 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4003 steps (8 resets) in 61 ms. (64 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4003 steps (8 resets) in 65 ms. (60 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4000 steps (8 resets) in 63 ms. (62 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4002 steps (8 resets) in 61 ms. (64 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4002 steps (8 resets) in 64 ms. (61 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4003 steps (8 resets) in 61 ms. (64 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4002 steps (8 resets) in 61 ms. (64 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4002 steps (8 resets) in 64 ms. (61 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4003 steps (8 resets) in 66 ms. (59 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4002 steps (8 resets) in 63 ms. (62 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4003 steps (8 resets) in 65 ms. (60 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4002 steps (8 resets) in 66 ms. (59 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4001 steps (8 resets) in 65 ms. (60 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4002 steps (8 resets) in 63 ms. (62 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4002 steps (8 resets) in 62 ms. (63 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4002 steps (8 resets) in 63 ms. (62 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4002 steps (8 resets) in 63 ms. (62 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4002 steps (8 resets) in 64 ms. (61 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4003 steps (8 resets) in 62 ms. (63 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4002 steps (8 resets) in 67 ms. (58 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4003 steps (8 resets) in 63 ms. (62 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4001 steps (8 resets) in 64 ms. (61 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4001 steps (8 resets) in 66 ms. (59 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4003 steps (8 resets) in 63 ms. (62 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4000 steps (8 resets) in 65 ms. (60 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4002 steps (8 resets) in 47 ms. (83 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4003 steps (8 resets) in 47 ms. (83 steps per ms) remains 659/659 properties
BEST_FIRST walk for 4003 steps (8 resets) in 47 ms. (83 steps per ms) remains 659/659 properties
Probabilistic random walk after 1000000 steps, saw 760259 distinct states, run finished after 57979 ms. (steps per millisecond=17 ) properties seen :12
// Phase 1: matrix 3804 rows 540 cols
[2024-05-21 06:01:14] [INFO ] Computed 26 invariants in 27 ms
[2024-05-21 06:01:14] [INFO ] State equation strengthened by 192 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/223 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 647 unsolved
At refinement iteration 1 (OVERLAPS) 308/531 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 647 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/531 variables, 4/17 constraints. Problems are: Problem set: 0 solved, 647 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/531 variables, 0/17 constraints. Problems are: Problem set: 0 solved, 647 unsolved
At refinement iteration 4 (OVERLAPS) 9/540 variables, 9/26 constraints. Problems are: Problem set: 0 solved, 647 unsolved
[2024-05-21 06:01:48] [INFO ] Deduced a trap composed of 131 places in 1013 ms of which 6 ms to minimize.
[2024-05-21 06:01:49] [INFO ] Deduced a trap composed of 164 places in 1002 ms of which 5 ms to minimize.
[2024-05-21 06:01:50] [INFO ] Deduced a trap composed of 124 places in 1029 ms of which 6 ms to minimize.
[2024-05-21 06:01:51] [INFO ] Deduced a trap composed of 88 places in 994 ms of which 6 ms to minimize.
[2024-05-21 06:01:52] [INFO ] Deduced a trap composed of 174 places in 966 ms of which 6 ms to minimize.
[2024-05-21 06:01:53] [INFO ] Deduced a trap composed of 139 places in 959 ms of which 5 ms to minimize.
[2024-05-21 06:01:54] [INFO ] Deduced a trap composed of 147 places in 968 ms of which 5 ms to minimize.
[2024-05-21 06:01:55] [INFO ] Deduced a trap composed of 160 places in 953 ms of which 6 ms to minimize.
[2024-05-21 06:01:56] [INFO ] Deduced a trap composed of 102 places in 957 ms of which 5 ms to minimize.
[2024-05-21 06:01:57] [INFO ] Deduced a trap composed of 77 places in 957 ms of which 6 ms to minimize.
[2024-05-21 06:01:58] [INFO ] Deduced a trap composed of 152 places in 984 ms of which 6 ms to minimize.
[2024-05-21 06:01:59] [INFO ] Deduced a trap composed of 191 places in 958 ms of which 5 ms to minimize.
[2024-05-21 06:02:00] [INFO ] Deduced a trap composed of 197 places in 971 ms of which 5 ms to minimize.
[2024-05-21 06:02:01] [INFO ] Deduced a trap composed of 161 places in 1008 ms of which 5 ms to minimize.
[2024-05-21 06:02:02] [INFO ] Deduced a trap composed of 144 places in 996 ms of which 5 ms to minimize.
[2024-05-21 06:02:03] [INFO ] Deduced a trap composed of 186 places in 946 ms of which 6 ms to minimize.
[2024-05-21 06:02:04] [INFO ] Deduced a trap composed of 150 places in 973 ms of which 5 ms to minimize.
[2024-05-21 06:02:05] [INFO ] Deduced a trap composed of 130 places in 961 ms of which 5 ms to minimize.
[2024-05-21 06:02:06] [INFO ] Deduced a trap composed of 168 places in 1001 ms of which 6 ms to minimize.
[2024-05-21 06:02:07] [INFO ] Deduced a trap composed of 173 places in 1015 ms of which 5 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/540 variables, 20/46 constraints. Problems are: Problem set: 0 solved, 647 unsolved
[2024-05-21 06:02:09] [INFO ] Deduced a trap composed of 157 places in 1027 ms of which 5 ms to minimize.
[2024-05-21 06:02:10] [INFO ] Deduced a trap composed of 91 places in 1026 ms of which 6 ms to minimize.
[2024-05-21 06:02:11] [INFO ] Deduced a trap composed of 88 places in 1019 ms of which 6 ms to minimize.
[2024-05-21 06:02:12] [INFO ] Deduced a trap composed of 100 places in 903 ms of which 6 ms to minimize.
[2024-05-21 06:02:13] [INFO ] Deduced a trap composed of 51 places in 1039 ms of which 6 ms to minimize.
[2024-05-21 06:02:14] [INFO ] Deduced a trap composed of 135 places in 1008 ms of which 5 ms to minimize.
[2024-05-21 06:02:15] [INFO ] Deduced a trap composed of 128 places in 942 ms of which 5 ms to minimize.
[2024-05-21 06:02:16] [INFO ] Deduced a trap composed of 82 places in 1027 ms of which 6 ms to minimize.
[2024-05-21 06:02:17] [INFO ] Deduced a trap composed of 206 places in 1023 ms of which 6 ms to minimize.
[2024-05-21 06:02:18] [INFO ] Deduced a trap composed of 157 places in 999 ms of which 6 ms to minimize.
[2024-05-21 06:02:19] [INFO ] Deduced a trap composed of 112 places in 1033 ms of which 6 ms to minimize.
[2024-05-21 06:02:20] [INFO ] Deduced a trap composed of 94 places in 1033 ms of which 6 ms to minimize.
[2024-05-21 06:02:21] [INFO ] Deduced a trap composed of 81 places in 938 ms of which 5 ms to minimize.
[2024-05-21 06:02:22] [INFO ] Deduced a trap composed of 175 places in 1042 ms of which 6 ms to minimize.
[2024-05-21 06:02:23] [INFO ] Deduced a trap composed of 118 places in 1048 ms of which 5 ms to minimize.
[2024-05-21 06:02:24] [INFO ] Deduced a trap composed of 57 places in 1023 ms of which 6 ms to minimize.
[2024-05-21 06:02:25] [INFO ] Deduced a trap composed of 52 places in 917 ms of which 5 ms to minimize.
[2024-05-21 06:02:26] [INFO ] Deduced a trap composed of 124 places in 1022 ms of which 6 ms to minimize.
[2024-05-21 06:02:27] [INFO ] Deduced a trap composed of 214 places in 908 ms of which 5 ms to minimize.
[2024-05-21 06:02:28] [INFO ] Deduced a trap composed of 151 places in 1020 ms of which 6 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/540 variables, 20/66 constraints. Problems are: Problem set: 0 solved, 647 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 540/4344 variables, and 66 constraints, problems are : Problem set: 0 solved, 647 unsolved in 75025 ms.
Refiners :[Positive P Invariants (semi-flows): 13/13 constraints, Generalized P Invariants (flows): 13/13 constraints, State Equation: 0/540 constraints, ReadFeed: 0/192 constraints, PredecessorRefiner: 647/647 constraints, Known Traps: 40/40 constraints]
Escalating to Integer solving :Problem set: 0 solved, 647 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/223 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 647 unsolved
At refinement iteration 1 (OVERLAPS) 308/531 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 647 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/531 variables, 4/17 constraints. Problems are: Problem set: 0 solved, 647 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/531 variables, 0/17 constraints. Problems are: Problem set: 0 solved, 647 unsolved
At refinement iteration 4 (OVERLAPS) 9/540 variables, 9/26 constraints. Problems are: Problem set: 0 solved, 647 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/540 variables, 40/66 constraints. Problems are: Problem set: 0 solved, 647 unsolved
[2024-05-21 06:02:55] [INFO ] Deduced a trap composed of 189 places in 1030 ms of which 6 ms to minimize.
[2024-05-21 06:02:56] [INFO ] Deduced a trap composed of 204 places in 894 ms of which 5 ms to minimize.
[2024-05-21 06:02:57] [INFO ] Deduced a trap composed of 123 places in 1033 ms of which 6 ms to minimize.
[2024-05-21 06:02:58] [INFO ] Deduced a trap composed of 216 places in 920 ms of which 6 ms to minimize.
[2024-05-21 06:02:59] [INFO ] Deduced a trap composed of 137 places in 979 ms of which 5 ms to minimize.
[2024-05-21 06:03:00] [INFO ] Deduced a trap composed of 89 places in 946 ms of which 6 ms to minimize.
[2024-05-21 06:03:01] [INFO ] Deduced a trap composed of 100 places in 1044 ms of which 6 ms to minimize.
[2024-05-21 06:03:02] [INFO ] Deduced a trap composed of 114 places in 1019 ms of which 5 ms to minimize.
[2024-05-21 06:03:03] [INFO ] Deduced a trap composed of 98 places in 1052 ms of which 6 ms to minimize.
[2024-05-21 06:03:04] [INFO ] Deduced a trap composed of 237 places in 1011 ms of which 6 ms to minimize.
[2024-05-21 06:03:05] [INFO ] Deduced a trap composed of 234 places in 1018 ms of which 6 ms to minimize.
[2024-05-21 06:03:06] [INFO ] Deduced a trap composed of 111 places in 1015 ms of which 6 ms to minimize.
[2024-05-21 06:03:07] [INFO ] Deduced a trap composed of 238 places in 1020 ms of which 6 ms to minimize.
[2024-05-21 06:03:08] [INFO ] Deduced a trap composed of 223 places in 1021 ms of which 5 ms to minimize.
[2024-05-21 06:03:09] [INFO ] Deduced a trap composed of 286 places in 944 ms of which 6 ms to minimize.
[2024-05-21 06:03:10] [INFO ] Deduced a trap composed of 276 places in 1021 ms of which 6 ms to minimize.
[2024-05-21 06:03:11] [INFO ] Deduced a trap composed of 253 places in 959 ms of which 5 ms to minimize.
[2024-05-21 06:03:12] [INFO ] Deduced a trap composed of 229 places in 908 ms of which 5 ms to minimize.
[2024-05-21 06:03:13] [INFO ] Deduced a trap composed of 169 places in 1039 ms of which 6 ms to minimize.
[2024-05-21 06:03:14] [INFO ] Deduced a trap composed of 272 places in 1307 ms of which 26 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/540 variables, 20/86 constraints. Problems are: Problem set: 0 solved, 647 unsolved
[2024-05-21 06:03:18] [INFO ] Deduced a trap composed of 253 places in 1188 ms of which 6 ms to minimize.
[2024-05-21 06:03:19] [INFO ] Deduced a trap composed of 241 places in 1199 ms of which 6 ms to minimize.
[2024-05-21 06:03:20] [INFO ] Deduced a trap composed of 194 places in 1231 ms of which 5 ms to minimize.
[2024-05-21 06:03:21] [INFO ] Deduced a trap composed of 89 places in 1047 ms of which 6 ms to minimize.
[2024-05-21 06:03:23] [INFO ] Deduced a trap composed of 303 places in 1492 ms of which 10 ms to minimize.
[2024-05-21 06:03:24] [INFO ] Deduced a trap composed of 229 places in 968 ms of which 6 ms to minimize.
[2024-05-21 06:03:25] [INFO ] Deduced a trap composed of 232 places in 1069 ms of which 5 ms to minimize.
[2024-05-21 06:03:26] [INFO ] Deduced a trap composed of 257 places in 1089 ms of which 5 ms to minimize.
[2024-05-21 06:03:27] [INFO ] Deduced a trap composed of 166 places in 926 ms of which 5 ms to minimize.
[2024-05-21 06:03:28] [INFO ] Deduced a trap composed of 172 places in 1005 ms of which 6 ms to minimize.
[2024-05-21 06:03:29] [INFO ] Deduced a trap composed of 186 places in 1077 ms of which 8 ms to minimize.
[2024-05-21 06:03:30] [INFO ] Deduced a trap composed of 143 places in 1033 ms of which 5 ms to minimize.
[2024-05-21 06:03:31] [INFO ] Deduced a trap composed of 78 places in 1064 ms of which 6 ms to minimize.
[2024-05-21 06:03:32] [INFO ] Deduced a trap composed of 87 places in 1009 ms of which 5 ms to minimize.
[2024-05-21 06:03:34] [INFO ] Deduced a trap composed of 152 places in 1363 ms of which 6 ms to minimize.
[2024-05-21 06:03:35] [INFO ] Deduced a trap composed of 119 places in 977 ms of which 5 ms to minimize.
[2024-05-21 06:03:36] [INFO ] Deduced a trap composed of 68 places in 1668 ms of which 10 ms to minimize.
[2024-05-21 06:03:38] [INFO ] Deduced a trap composed of 209 places in 1415 ms of which 11 ms to minimize.
[2024-05-21 06:03:39] [INFO ] Deduced a trap composed of 241 places in 1001 ms of which 5 ms to minimize.
[2024-05-21 06:03:40] [INFO ] Deduced a trap composed of 226 places in 1050 ms of which 5 ms to minimize.
At refinement iteration 7 (INCLUDED_ONLY) 0/540 variables, 20/106 constraints. Problems are: Problem set: 0 solved, 647 unsolved
[2024-05-21 06:03:45] [INFO ] Deduced a trap composed of 133 places in 1034 ms of which 5 ms to minimize.
[2024-05-21 06:03:46] [INFO ] Deduced a trap composed of 152 places in 1136 ms of which 6 ms to minimize.
[2024-05-21 06:03:47] [INFO ] Deduced a trap composed of 217 places in 948 ms of which 8 ms to minimize.
[2024-05-21 06:03:49] [INFO ] Deduced a trap composed of 120 places in 1439 ms of which 8 ms to minimize.
SMT process timed out in 154462ms, After SMT, problems are : Problem set: 0 solved, 647 unsolved
Fused 647 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 223 out of 540 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 540/540 places, 3804/3804 transitions.
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 8 place count 532 transition count 3796
Iterating global reduction 0 with 8 rules applied. Total rules applied 16 place count 532 transition count 3796
Applied a total of 16 rules in 176 ms. Remains 532 /540 variables (removed 8) and now considering 3796/3804 (removed 8) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 182 ms. Remains : 532/540 places, 3796/3804 transitions.
RANDOM walk for 2232273 steps (4 resets) in 120004 ms. (18 steps per ms) remains 634/647 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4002 steps (8 resets) in 51 ms. (76 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4002 steps (8 resets) in 51 ms. (76 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4001 steps (8 resets) in 71 ms. (55 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4002 steps (8 resets) in 66 ms. (59 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4002 steps (8 resets) in 64 ms. (61 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 75 ms. (52 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 71 ms. (55 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 60 ms. (65 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4002 steps (8 resets) in 65 ms. (60 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 64 ms. (61 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 68 ms. (58 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 63 ms. (62 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4002 steps (8 resets) in 66 ms. (59 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4002 steps (8 resets) in 65 ms. (60 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4001 steps (8 resets) in 63 ms. (62 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4002 steps (8 resets) in 66 ms. (59 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 65 ms. (60 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4002 steps (8 resets) in 67 ms. (58 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 66 ms. (59 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 66 ms. (59 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 74 ms. (53 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4002 steps (8 resets) in 88 ms. (44 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4001 steps (8 resets) in 86 ms. (45 steps per ms) remains 631/634 properties
BEST_FIRST walk for 4002 steps (8 resets) in 88 ms. (44 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4002 steps (8 resets) in 87 ms. (45 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4002 steps (8 resets) in 90 ms. (43 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 88 ms. (44 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4002 steps (8 resets) in 87 ms. (45 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 87 ms. (45 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 87 ms. (45 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 87 ms. (45 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4002 steps (8 resets) in 86 ms. (46 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4004 steps (8 resets) in 81 ms. (48 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4004 steps (8 resets) in 86 ms. (46 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4002 steps (8 resets) in 83 ms. (47 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4002 steps (8 resets) in 89 ms. (44 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4002 steps (8 resets) in 91 ms. (43 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 87 ms. (45 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 89 ms. (44 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4001 steps (8 resets) in 85 ms. (46 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4002 steps (8 resets) in 84 ms. (47 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 60 ms. (65 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 62 ms. (63 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 77 ms. (51 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4004 steps (8 resets) in 86 ms. (46 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 77 ms. (51 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4000 steps (8 resets) in 82 ms. (48 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4001 steps (8 resets) in 80 ms. (49 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 82 ms. (48 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4001 steps (8 resets) in 84 ms. (47 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4002 steps (8 resets) in 83 ms. (47 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 82 ms. (48 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4001 steps (8 resets) in 84 ms. (47 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 85 ms. (46 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 79 ms. (50 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 83 ms. (47 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 82 ms. (48 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 79 ms. (50 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4002 steps (8 resets) in 79 ms. (50 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4002 steps (8 resets) in 81 ms. (48 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 83 ms. (47 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4002 steps (8 resets) in 82 ms. (48 steps per ms) remains 629/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 80 ms. (49 steps per ms) remains 629/629 properties
BEST_FIRST walk for 4002 steps (8 resets) in 76 ms. (51 steps per ms) remains 629/629 properties
BEST_FIRST walk for 4003 steps (8 resets) in 77 ms. (51 steps per ms) remains 629/629 properties
BEST_FIRST walk for 4002 steps (8 resets) in 80 ms. (49 steps per ms) remains 629/629 properties
BEST_FIRST walk for 4003 steps (8 resets) in 74 ms. (53 steps per ms) remains 629/629 properties
BEST_FIRST walk for 4003 steps (8 resets) in 92 ms. (43 steps per ms) remains 629/629 properties
BEST_FIRST walk for 4003 steps (8 resets) in 80 ms. (49 steps per ms) remains 629/629 properties
BEST_FIRST walk for 4003 steps (8 resets) in 86 ms. (46 steps per ms) remains 629/629 properties
BEST_FIRST walk for 4002 steps (8 resets) in 87 ms. (45 steps per ms) remains 629/629 properties
BEST_FIRST walk for 4002 steps (8 resets) in 117 ms. (33 steps per ms) remains 628/629 properties
BEST_FIRST walk for 4002 steps (8 resets) in 125 ms. (31 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4004 steps (8 resets) in 116 ms. (34 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4003 steps (8 resets) in 112 ms. (35 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4002 steps (8 resets) in 68 ms. (58 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4004 steps (8 resets) in 112 ms. (35 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4004 steps (8 resets) in 72 ms. (54 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4002 steps (8 resets) in 64 ms. (61 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4002 steps (8 resets) in 91 ms. (43 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4002 steps (8 resets) in 90 ms. (43 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4003 steps (8 resets) in 141 ms. (28 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4003 steps (8 resets) in 120 ms. (33 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4002 steps (8 resets) in 112 ms. (35 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4003 steps (8 resets) in 146 ms. (27 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4003 steps (8 resets) in 98 ms. (40 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4003 steps (8 resets) in 140 ms. (28 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4001 steps (8 resets) in 106 ms. (37 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4003 steps (8 resets) in 113 ms. (35 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4001 steps (8 resets) in 92 ms. (43 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4001 steps (8 resets) in 141 ms. (28 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4003 steps (8 resets) in 100 ms. (39 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4003 steps (8 resets) in 103 ms. (38 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4003 steps (8 resets) in 147 ms. (27 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4002 steps (8 resets) in 132 ms. (30 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4003 steps (8 resets) in 129 ms. (30 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4003 steps (8 resets) in 101 ms. (39 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4002 steps (8 resets) in 118 ms. (33 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4002 steps (8 resets) in 99 ms. (40 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4001 steps (8 resets) in 110 ms. (36 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4002 steps (8 resets) in 112 ms. (35 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4003 steps (8 resets) in 103 ms. (38 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4001 steps (8 resets) in 141 ms. (28 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4003 steps (8 resets) in 98 ms. (40 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4003 steps (8 resets) in 101 ms. (39 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4002 steps (8 resets) in 140 ms. (28 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4002 steps (8 resets) in 148 ms. (26 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4003 steps (8 resets) in 125 ms. (31 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4004 steps (8 resets) in 114 ms. (34 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4003 steps (8 resets) in 142 ms. (27 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4001 steps (8 resets) in 107 ms. (37 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4002 steps (8 resets) in 139 ms. (28 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4003 steps (8 resets) in 151 ms. (26 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4001 steps (8 resets) in 110 ms. (36 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4002 steps (8 resets) in 125 ms. (31 steps per ms) remains 628/628 properties
BEST_FIRST walk for 4001 steps (8 resets) in 115 ms. (34 steps per ms) remains 628/628 properties
Probabilistic random walk after 1000000 steps, saw 760307 distinct states, run finished after 61530 ms. (steps per millisecond=16 ) properties seen :0
// Phase 1: matrix 3796 rows 532 cols
[2024-05-21 06:05:24] [INFO ] Computed 26 invariants in 24 ms
[2024-05-21 06:05:24] [INFO ] State equation strengthened by 184 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/217 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 628 unsolved
At refinement iteration 1 (OVERLAPS) 305/522 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 628 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/522 variables, 3/16 constraints. Problems are: Problem set: 0 solved, 628 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/522 variables, 0/16 constraints. Problems are: Problem set: 0 solved, 628 unsolved
At refinement iteration 4 (OVERLAPS) 10/532 variables, 10/26 constraints. Problems are: Problem set: 0 solved, 628 unsolved
[2024-05-21 06:06:10] [INFO ] Deduced a trap composed of 143 places in 1437 ms of which 8 ms to minimize.
[2024-05-21 06:06:12] [INFO ] Deduced a trap composed of 111 places in 1439 ms of which 8 ms to minimize.
[2024-05-21 06:06:13] [INFO ] Deduced a trap composed of 137 places in 1399 ms of which 8 ms to minimize.
[2024-05-21 06:06:15] [INFO ] Deduced a trap composed of 126 places in 1472 ms of which 9 ms to minimize.
[2024-05-21 06:06:16] [INFO ] Deduced a trap composed of 106 places in 1487 ms of which 9 ms to minimize.
[2024-05-21 06:06:18] [INFO ] Deduced a trap composed of 128 places in 1469 ms of which 8 ms to minimize.
[2024-05-21 06:06:19] [INFO ] Deduced a trap composed of 71 places in 1397 ms of which 8 ms to minimize.
[2024-05-21 06:06:20] [INFO ] Deduced a trap composed of 118 places in 1366 ms of which 8 ms to minimize.
[2024-05-21 06:06:22] [INFO ] Deduced a trap composed of 175 places in 1505 ms of which 9 ms to minimize.
[2024-05-21 06:06:23] [INFO ] Deduced a trap composed of 145 places in 1411 ms of which 8 ms to minimize.
[2024-05-21 06:06:25] [INFO ] Deduced a trap composed of 93 places in 1406 ms of which 9 ms to minimize.
[2024-05-21 06:06:26] [INFO ] Deduced a trap composed of 148 places in 1480 ms of which 8 ms to minimize.
[2024-05-21 06:06:28] [INFO ] Deduced a trap composed of 157 places in 1396 ms of which 8 ms to minimize.
[2024-05-21 06:06:29] [INFO ] Deduced a trap composed of 135 places in 1437 ms of which 8 ms to minimize.
[2024-05-21 06:06:31] [INFO ] Deduced a trap composed of 132 places in 1434 ms of which 8 ms to minimize.
[2024-05-21 06:06:32] [INFO ] Deduced a trap composed of 134 places in 1480 ms of which 9 ms to minimize.
[2024-05-21 06:06:34] [INFO ] Deduced a trap composed of 142 places in 1465 ms of which 8 ms to minimize.
[2024-05-21 06:06:35] [INFO ] Deduced a trap composed of 138 places in 1504 ms of which 8 ms to minimize.
[2024-05-21 06:06:37] [INFO ] Deduced a trap composed of 111 places in 1381 ms of which 8 ms to minimize.
[2024-05-21 06:06:38] [INFO ] Deduced a trap composed of 206 places in 1476 ms of which 8 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/532 variables, 20/46 constraints. Problems are: Problem set: 0 solved, 628 unsolved
[2024-05-21 06:06:42] [INFO ] Deduced a trap composed of 101 places in 1458 ms of which 8 ms to minimize.
[2024-05-21 06:06:43] [INFO ] Deduced a trap composed of 218 places in 1464 ms of which 8 ms to minimize.
[2024-05-21 06:06:45] [INFO ] Deduced a trap composed of 94 places in 1482 ms of which 8 ms to minimize.
[2024-05-21 06:06:46] [INFO ] Deduced a trap composed of 111 places in 1454 ms of which 8 ms to minimize.
[2024-05-21 06:06:48] [INFO ] Deduced a trap composed of 70 places in 1463 ms of which 8 ms to minimize.
[2024-05-21 06:06:49] [INFO ] Deduced a trap composed of 66 places in 1497 ms of which 9 ms to minimize.
[2024-05-21 06:06:51] [INFO ] Deduced a trap composed of 65 places in 1435 ms of which 9 ms to minimize.
[2024-05-21 06:06:52] [INFO ] Deduced a trap composed of 211 places in 1364 ms of which 8 ms to minimize.
[2024-05-21 06:06:54] [INFO ] Deduced a trap composed of 105 places in 1471 ms of which 8 ms to minimize.
[2024-05-21 06:06:56] [INFO ] Deduced a trap composed of 163 places in 1372 ms of which 9 ms to minimize.
[2024-05-21 06:06:58] [INFO ] Deduced a trap composed of 221 places in 1391 ms of which 8 ms to minimize.
[2024-05-21 06:06:59] [INFO ] Deduced a trap composed of 112 places in 1374 ms of which 8 ms to minimize.
SMT process timed out in 94812ms, After SMT, problems are : Problem set: 0 solved, 628 unsolved
Fused 628 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 217 out of 532 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 532/532 places, 3796/3796 transitions.
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 4 place count 528 transition count 3792
Iterating global reduction 0 with 4 rules applied. Total rules applied 8 place count 528 transition count 3792
Applied a total of 8 rules in 167 ms. Remains 528 /532 variables (removed 4) and now considering 3792/3796 (removed 4) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 167 ms. Remains : 528/532 places, 3792/3796 transitions.
RANDOM walk for 1811061 steps (4 resets) in 120004 ms. (15 steps per ms) remains 617/628 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 617/617 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 617/617 properties
BEST_FIRST walk for 4003 steps (8 resets) in 66 ms. (59 steps per ms) remains 617/617 properties
BEST_FIRST walk for 4003 steps (8 resets) in 40 ms. (97 steps per ms) remains 614/617 properties
BEST_FIRST walk for 4003 steps (8 resets) in 68 ms. (58 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4003 steps (8 resets) in 85 ms. (46 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4001 steps (8 resets) in 68 ms. (57 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (8 resets) in 82 ms. (48 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4001 steps (8 resets) in 96 ms. (41 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4002 steps (8 resets) in 93 ms. (42 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4002 steps (8 resets) in 83 ms. (47 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4001 steps (8 resets) in 139 ms. (28 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4003 steps (8 resets) in 89 ms. (44 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4003 steps (8 resets) in 127 ms. (31 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4003 steps (8 resets) in 137 ms. (29 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4002 steps (8 resets) in 135 ms. (29 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (8 resets) in 86 ms. (46 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4002 steps (8 resets) in 122 ms. (32 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4002 steps (8 resets) in 83 ms. (47 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4003 steps (8 resets) in 90 ms. (43 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4002 steps (8 resets) in 126 ms. (31 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4001 steps (8 resets) in 98 ms. (40 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4001 steps (8 resets) in 85 ms. (46 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (8 resets) in 102 ms. (38 steps per ms) remains 610/614 properties
BEST_FIRST walk for 4004 steps (8 resets) in 133 ms. (29 steps per ms) remains 610/610 properties
BEST_FIRST walk for 4002 steps (8 resets) in 112 ms. (35 steps per ms) remains 610/610 properties
BEST_FIRST walk for 4001 steps (8 resets) in 95 ms. (41 steps per ms) remains 610/610 properties
BEST_FIRST walk for 4002 steps (8 resets) in 113 ms. (35 steps per ms) remains 610/610 properties
BEST_FIRST walk for 4003 steps (8 resets) in 113 ms. (35 steps per ms) remains 610/610 properties
BEST_FIRST walk for 4001 steps (8 resets) in 152 ms. (26 steps per ms) remains 610/610 properties
BEST_FIRST walk for 4003 steps (8 resets) in 113 ms. (35 steps per ms) remains 610/610 properties
BEST_FIRST walk for 4002 steps (8 resets) in 96 ms. (41 steps per ms) remains 610/610 properties
BEST_FIRST walk for 4002 steps (8 resets) in 155 ms. (25 steps per ms) remains 610/610 properties
BEST_FIRST walk for 4002 steps (8 resets) in 110 ms. (36 steps per ms) remains 610/610 properties
BEST_FIRST walk for 4002 steps (8 resets) in 134 ms. (29 steps per ms) remains 610/610 properties
BEST_FIRST walk for 4002 steps (8 resets) in 112 ms. (35 steps per ms) remains 610/610 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 597/610 properties
BEST_FIRST walk for 4001 steps (8 resets) in 109 ms. (36 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4003 steps (8 resets) in 158 ms. (25 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4002 steps (8 resets) in 160 ms. (24 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4002 steps (8 resets) in 155 ms. (25 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4002 steps (8 resets) in 107 ms. (37 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4000 steps (8 resets) in 156 ms. (25 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4003 steps (8 resets) in 153 ms. (25 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4002 steps (8 resets) in 79 ms. (50 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4003 steps (8 resets) in 78 ms. (50 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4001 steps (8 resets) in 157 ms. (25 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4003 steps (8 resets) in 162 ms. (24 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4002 steps (8 resets) in 115 ms. (34 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4003 steps (8 resets) in 145 ms. (27 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4002 steps (8 resets) in 113 ms. (35 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4004 steps (8 resets) in 116 ms. (34 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4001 steps (8 resets) in 135 ms. (29 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4004 steps (8 resets) in 142 ms. (28 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4002 steps (8 resets) in 113 ms. (35 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4002 steps (8 resets) in 144 ms. (27 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4003 steps (8 resets) in 108 ms. (36 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4001 steps (8 resets) in 86 ms. (45 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4002 steps (8 resets) in 128 ms. (31 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4003 steps (8 resets) in 158 ms. (25 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4002 steps (8 resets) in 160 ms. (24 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4002 steps (8 resets) in 97 ms. (40 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4004 steps (8 resets) in 163 ms. (24 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4002 steps (8 resets) in 91 ms. (43 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4003 steps (8 resets) in 101 ms. (39 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4004 steps (8 resets) in 120 ms. (33 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4002 steps (8 resets) in 98 ms. (40 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4003 steps (8 resets) in 128 ms. (31 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4003 steps (8 resets) in 80 ms. (49 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4003 steps (8 resets) in 114 ms. (34 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4002 steps (8 resets) in 135 ms. (29 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4002 steps (8 resets) in 113 ms. (35 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4001 steps (8 resets) in 84 ms. (47 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4001 steps (8 resets) in 113 ms. (35 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4002 steps (8 resets) in 155 ms. (25 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4000 steps (8 resets) in 110 ms. (36 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4002 steps (8 resets) in 114 ms. (34 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4002 steps (8 resets) in 92 ms. (43 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4003 steps (8 resets) in 151 ms. (26 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4002 steps (8 resets) in 65 ms. (60 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4003 steps (8 resets) in 102 ms. (38 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4003 steps (8 resets) in 86 ms. (46 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4003 steps (8 resets) in 61 ms. (64 steps per ms) remains 597/597 properties
BEST_FIRST walk for 4004 steps (8 resets) in 98 ms. (40 steps per ms) remains 597/597 properties
Probabilistic random walk after 1000001 steps, saw 762339 distinct states, run finished after 54367 ms. (steps per millisecond=18 ) properties seen :0
// Phase 1: matrix 3792 rows 528 cols
[2024-05-21 06:08:27] [INFO ] Computed 26 invariants in 22 ms
[2024-05-21 06:08:27] [INFO ] State equation strengthened by 180 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/213 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 597 unsolved
At refinement iteration 1 (OVERLAPS) 305/518 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 597 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/518 variables, 2/15 constraints. Problems are: Problem set: 0 solved, 597 unsolved
[2024-05-21 06:08:55] [INFO ] Deduced a trap composed of 377 places in 1002 ms of which 8 ms to minimize.
[2024-05-21 06:08:56] [INFO ] Deduced a trap composed of 400 places in 995 ms of which 7 ms to minimize.
[2024-05-21 06:08:57] [INFO ] Deduced a trap composed of 315 places in 907 ms of which 7 ms to minimize.
[2024-05-21 06:08:58] [INFO ] Deduced a trap composed of 313 places in 1033 ms of which 8 ms to minimize.
[2024-05-21 06:09:00] [INFO ] Deduced a trap composed of 308 places in 1019 ms of which 8 ms to minimize.
[2024-05-21 06:09:01] [INFO ] Deduced a trap composed of 380 places in 975 ms of which 8 ms to minimize.
[2024-05-21 06:09:02] [INFO ] Deduced a trap composed of 313 places in 960 ms of which 8 ms to minimize.
[2024-05-21 06:09:03] [INFO ] Deduced a trap composed of 313 places in 1027 ms of which 7 ms to minimize.
[2024-05-21 06:09:04] [INFO ] Deduced a trap composed of 334 places in 1008 ms of which 8 ms to minimize.
[2024-05-21 06:09:05] [INFO ] Deduced a trap composed of 291 places in 933 ms of which 8 ms to minimize.
[2024-05-21 06:09:06] [INFO ] Deduced a trap composed of 282 places in 1037 ms of which 8 ms to minimize.
[2024-05-21 06:09:07] [INFO ] Deduced a trap composed of 335 places in 1034 ms of which 8 ms to minimize.
[2024-05-21 06:09:08] [INFO ] Deduced a trap composed of 291 places in 1014 ms of which 8 ms to minimize.
[2024-05-21 06:09:09] [INFO ] Deduced a trap composed of 255 places in 1046 ms of which 7 ms to minimize.
[2024-05-21 06:09:10] [INFO ] Deduced a trap composed of 335 places in 1017 ms of which 7 ms to minimize.
[2024-05-21 06:09:11] [INFO ] Deduced a trap composed of 335 places in 1005 ms of which 9 ms to minimize.
[2024-05-21 06:09:12] [INFO ] Deduced a trap composed of 290 places in 1341 ms of which 8 ms to minimize.
[2024-05-21 06:09:13] [INFO ] Deduced a trap composed of 350 places in 933 ms of which 8 ms to minimize.
[2024-05-21 06:09:15] [INFO ] Deduced a trap composed of 327 places in 1080 ms of which 8 ms to minimize.
[2024-05-21 06:09:16] [INFO ] Deduced a trap composed of 305 places in 1049 ms of which 8 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/518 variables, 20/35 constraints. Problems are: Problem set: 0 solved, 597 unsolved
[2024-05-21 06:09:38] [INFO ] Deduced a trap composed of 379 places in 954 ms of which 7 ms to minimize.
[2024-05-21 06:09:40] [INFO ] Deduced a trap composed of 382 places in 1044 ms of which 7 ms to minimize.
[2024-05-21 06:09:41] [INFO ] Deduced a trap composed of 376 places in 1019 ms of which 8 ms to minimize.
[2024-05-21 06:09:42] [INFO ] Deduced a trap composed of 322 places in 989 ms of which 8 ms to minimize.
[2024-05-21 06:09:43] [INFO ] Deduced a trap composed of 402 places in 919 ms of which 7 ms to minimize.
[2024-05-21 06:09:44] [INFO ] Deduced a trap composed of 349 places in 1036 ms of which 8 ms to minimize.
[2024-05-21 06:09:46] [INFO ] Deduced a trap composed of 403 places in 1068 ms of which 8 ms to minimize.
[2024-05-21 06:09:47] [INFO ] Deduced a trap composed of 397 places in 1030 ms of which 7 ms to minimize.
[2024-05-21 06:09:48] [INFO ] Deduced a trap composed of 370 places in 1050 ms of which 8 ms to minimize.
[2024-05-21 06:09:49] [INFO ] Deduced a trap composed of 289 places in 1042 ms of which 8 ms to minimize.
[2024-05-21 06:09:50] [INFO ] Deduced a trap composed of 335 places in 1024 ms of which 8 ms to minimize.
[2024-05-21 06:09:51] [INFO ] Deduced a trap composed of 347 places in 976 ms of which 7 ms to minimize.
[2024-05-21 06:09:52] [INFO ] Deduced a trap composed of 356 places in 1034 ms of which 8 ms to minimize.
[2024-05-21 06:09:53] [INFO ] Deduced a trap composed of 362 places in 1020 ms of which 7 ms to minimize.
[2024-05-21 06:09:54] [INFO ] Deduced a trap composed of 335 places in 1042 ms of which 7 ms to minimize.
[2024-05-21 06:09:55] [INFO ] Deduced a trap composed of 346 places in 930 ms of which 8 ms to minimize.
[2024-05-21 06:09:56] [INFO ] Deduced a trap composed of 341 places in 978 ms of which 7 ms to minimize.
[2024-05-21 06:09:57] [INFO ] Deduced a trap composed of 372 places in 921 ms of which 9 ms to minimize.
[2024-05-21 06:09:58] [INFO ] Deduced a trap composed of 347 places in 982 ms of which 7 ms to minimize.
[2024-05-21 06:09:59] [INFO ] Deduced a trap composed of 301 places in 1064 ms of which 9 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/518 variables, 20/55 constraints. Problems are: Problem set: 0 solved, 597 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 518/4320 variables, and 55 constraints, problems are : Problem set: 0 solved, 597 unsolved in 105044 ms.
Refiners :[Positive P Invariants (semi-flows): 13/13 constraints, Generalized P Invariants (flows): 2/13 constraints, State Equation: 0/528 constraints, ReadFeed: 0/180 constraints, PredecessorRefiner: 597/597 constraints, Known Traps: 40/40 constraints]
Escalating to Integer solving :Problem set: 0 solved, 597 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/213 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 597 unsolved
At refinement iteration 1 (OVERLAPS) 305/518 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 597 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/518 variables, 2/15 constraints. Problems are: Problem set: 0 solved, 597 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/518 variables, 40/55 constraints. Problems are: Problem set: 0 solved, 597 unsolved
[2024-05-21 06:10:32] [INFO ] Deduced a trap composed of 289 places in 932 ms of which 8 ms to minimize.
[2024-05-21 06:10:33] [INFO ] Deduced a trap composed of 377 places in 919 ms of which 8 ms to minimize.
[2024-05-21 06:10:34] [INFO ] Deduced a trap composed of 305 places in 1049 ms of which 8 ms to minimize.
[2024-05-21 06:10:35] [INFO ] Deduced a trap composed of 344 places in 996 ms of which 8 ms to minimize.
[2024-05-21 06:10:36] [INFO ] Deduced a trap composed of 304 places in 906 ms of which 7 ms to minimize.
[2024-05-21 06:10:37] [INFO ] Deduced a trap composed of 358 places in 995 ms of which 8 ms to minimize.
[2024-05-21 06:10:38] [INFO ] Deduced a trap composed of 325 places in 938 ms of which 7 ms to minimize.
[2024-05-21 06:10:39] [INFO ] Deduced a trap composed of 335 places in 959 ms of which 8 ms to minimize.
[2024-05-21 06:10:40] [INFO ] Deduced a trap composed of 338 places in 969 ms of which 8 ms to minimize.
[2024-05-21 06:10:41] [INFO ] Deduced a trap composed of 348 places in 1015 ms of which 8 ms to minimize.
[2024-05-21 06:10:42] [INFO ] Deduced a trap composed of 294 places in 1025 ms of which 8 ms to minimize.
[2024-05-21 06:10:43] [INFO ] Deduced a trap composed of 307 places in 988 ms of which 8 ms to minimize.
[2024-05-21 06:10:44] [INFO ] Deduced a trap composed of 275 places in 1229 ms of which 8 ms to minimize.
[2024-05-21 06:10:46] [INFO ] Deduced a trap composed of 254 places in 1206 ms of which 8 ms to minimize.
[2024-05-21 06:10:47] [INFO ] Deduced a trap composed of 267 places in 1198 ms of which 9 ms to minimize.
[2024-05-21 06:10:48] [INFO ] Deduced a trap composed of 246 places in 1211 ms of which 8 ms to minimize.
[2024-05-21 06:10:49] [INFO ] Deduced a trap composed of 318 places in 1224 ms of which 8 ms to minimize.
[2024-05-21 06:10:50] [INFO ] Deduced a trap composed of 226 places in 1199 ms of which 8 ms to minimize.
[2024-05-21 06:10:52] [INFO ] Deduced a trap composed of 249 places in 1121 ms of which 8 ms to minimize.
[2024-05-21 06:10:53] [INFO ] Deduced a trap composed of 263 places in 1204 ms of which 11 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/518 variables, 20/75 constraints. Problems are: Problem set: 0 solved, 597 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/518 variables, 0/75 constraints. Problems are: Problem set: 0 solved, 597 unsolved
At refinement iteration 6 (OVERLAPS) 10/528 variables, 11/86 constraints. Problems are: Problem set: 0 solved, 597 unsolved
[2024-05-21 06:11:14] [INFO ] Deduced a trap composed of 144 places in 966 ms of which 7 ms to minimize.
[2024-05-21 06:11:16] [INFO ] Deduced a trap composed of 112 places in 1214 ms of which 7 ms to minimize.
[2024-05-21 06:11:17] [INFO ] Deduced a trap composed of 178 places in 1430 ms of which 8 ms to minimize.
[2024-05-21 06:11:19] [INFO ] Deduced a trap composed of 129 places in 1382 ms of which 8 ms to minimize.
[2024-05-21 06:11:20] [INFO ] Deduced a trap composed of 146 places in 1412 ms of which 8 ms to minimize.
[2024-05-21 06:11:21] [INFO ] Deduced a trap composed of 180 places in 1431 ms of which 8 ms to minimize.
[2024-05-21 06:11:23] [INFO ] Deduced a trap composed of 192 places in 1367 ms of which 8 ms to minimize.
[2024-05-21 06:11:24] [INFO ] Deduced a trap composed of 160 places in 1474 ms of which 8 ms to minimize.
[2024-05-21 06:11:26] [INFO ] Deduced a trap composed of 170 places in 1466 ms of which 9 ms to minimize.
[2024-05-21 06:11:27] [INFO ] Deduced a trap composed of 147 places in 1471 ms of which 8 ms to minimize.
[2024-05-21 06:11:29] [INFO ] Deduced a trap composed of 73 places in 1381 ms of which 8 ms to minimize.
[2024-05-21 06:11:30] [INFO ] Deduced a trap composed of 90 places in 1424 ms of which 8 ms to minimize.
[2024-05-21 06:11:32] [INFO ] Deduced a trap composed of 150 places in 1418 ms of which 8 ms to minimize.
[2024-05-21 06:11:33] [INFO ] Deduced a trap composed of 81 places in 1417 ms of which 8 ms to minimize.
[2024-05-21 06:11:35] [INFO ] Deduced a trap composed of 120 places in 1445 ms of which 8 ms to minimize.
[2024-05-21 06:11:36] [INFO ] Deduced a trap composed of 180 places in 1428 ms of which 9 ms to minimize.
[2024-05-21 06:11:38] [INFO ] Deduced a trap composed of 125 places in 1436 ms of which 8 ms to minimize.
[2024-05-21 06:11:39] [INFO ] Deduced a trap composed of 102 places in 1433 ms of which 9 ms to minimize.
[2024-05-21 06:11:40] [INFO ] Deduced a trap composed of 93 places in 1349 ms of which 8 ms to minimize.
[2024-05-21 06:11:42] [INFO ] Deduced a trap composed of 160 places in 1393 ms of which 8 ms to minimize.
At refinement iteration 7 (INCLUDED_ONLY) 0/528 variables, 20/106 constraints. Problems are: Problem set: 0 solved, 597 unsolved
[2024-05-21 06:11:46] [INFO ] Deduced a trap composed of 97 places in 1437 ms of which 9 ms to minimize.
[2024-05-21 06:11:47] [INFO ] Deduced a trap composed of 86 places in 1414 ms of which 9 ms to minimize.
[2024-05-21 06:11:49] [INFO ] Deduced a trap composed of 73 places in 1403 ms of which 8 ms to minimize.
[2024-05-21 06:11:50] [INFO ] Deduced a trap composed of 124 places in 1395 ms of which 8 ms to minimize.
[2024-05-21 06:11:52] [INFO ] Deduced a trap composed of 86 places in 1370 ms of which 8 ms to minimize.
[2024-05-21 06:11:53] [INFO ] Deduced a trap composed of 69 places in 1465 ms of which 9 ms to minimize.
[2024-05-21 06:11:55] [INFO ] Deduced a trap composed of 134 places in 1430 ms of which 8 ms to minimize.
[2024-05-21 06:11:56] [INFO ] Deduced a trap composed of 159 places in 1416 ms of which 8 ms to minimize.
[2024-05-21 06:11:57] [INFO ] Deduced a trap composed of 128 places in 1452 ms of which 8 ms to minimize.
[2024-05-21 06:11:59] [INFO ] Deduced a trap composed of 185 places in 1378 ms of which 8 ms to minimize.
[2024-05-21 06:12:00] [INFO ] Deduced a trap composed of 153 places in 1365 ms of which 9 ms to minimize.
SMT process timed out in 213368ms, After SMT, problems are : Problem set: 0 solved, 597 unsolved
Fused 597 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 213 out of 528 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 528/528 places, 3792/3792 transitions.
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 4 place count 524 transition count 3788
Iterating global reduction 0 with 4 rules applied. Total rules applied 8 place count 524 transition count 3788
Applied a total of 8 rules in 149 ms. Remains 524 /528 variables (removed 4) and now considering 3788/3792 (removed 4) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 149 ms. Remains : 524/528 places, 3788/3792 transitions.
RANDOM walk for 2610539 steps (4 resets) in 120004 ms. (21 steps per ms) remains 588/597 properties
BEST_FIRST walk for 4004 steps (8 resets) in 78 ms. (50 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4003 steps (8 resets) in 82 ms. (48 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4002 steps (8 resets) in 85 ms. (46 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4003 steps (8 resets) in 90 ms. (43 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4001 steps (8 resets) in 120 ms. (33 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4003 steps (8 resets) in 119 ms. (33 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4002 steps (8 resets) in 109 ms. (36 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4002 steps (8 resets) in 127 ms. (31 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4002 steps (8 resets) in 117 ms. (33 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4002 steps (8 resets) in 130 ms. (30 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4001 steps (8 resets) in 131 ms. (30 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4003 steps (8 resets) in 116 ms. (34 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4003 steps (8 resets) in 111 ms. (35 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4002 steps (8 resets) in 86 ms. (46 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4003 steps (8 resets) in 134 ms. (29 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4003 steps (8 resets) in 114 ms. (34 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4002 steps (8 resets) in 110 ms. (36 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4001 steps (8 resets) in 130 ms. (30 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4002 steps (8 resets) in 83 ms. (47 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4003 steps (8 resets) in 132 ms. (30 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4002 steps (8 resets) in 108 ms. (36 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4004 steps (8 resets) in 124 ms. (32 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4004 steps (8 resets) in 111 ms. (35 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4002 steps (8 resets) in 148 ms. (26 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4002 steps (8 resets) in 141 ms. (28 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4002 steps (8 resets) in 123 ms. (32 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4002 steps (8 resets) in 123 ms. (32 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4002 steps (8 resets) in 120 ms. (33 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4002 steps (8 resets) in 133 ms. (29 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4004 steps (8 resets) in 92 ms. (43 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4002 steps (8 resets) in 97 ms. (40 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4002 steps (8 resets) in 94 ms. (42 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4003 steps (8 resets) in 178 ms. (22 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4001 steps (8 resets) in 178 ms. (22 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4003 steps (8 resets) in 171 ms. (23 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4003 steps (8 resets) in 181 ms. (21 steps per ms) remains 588/588 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 583/588 properties
BEST_FIRST walk for 4003 steps (8 resets) in 182 ms. (21 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4004 steps (8 resets) in 180 ms. (22 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4002 steps (8 resets) in 151 ms. (26 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4002 steps (8 resets) in 184 ms. (21 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4004 steps (8 resets) in 167 ms. (23 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4003 steps (8 resets) in 149 ms. (26 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4002 steps (8 resets) in 119 ms. (33 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4003 steps (8 resets) in 103 ms. (38 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4002 steps (8 resets) in 139 ms. (28 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4004 steps (8 resets) in 102 ms. (38 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4001 steps (8 resets) in 105 ms. (37 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4003 steps (8 resets) in 100 ms. (39 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4001 steps (8 resets) in 104 ms. (38 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4002 steps (8 resets) in 88 ms. (44 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4002 steps (8 resets) in 124 ms. (32 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4003 steps (8 resets) in 116 ms. (34 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4002 steps (8 resets) in 130 ms. (30 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4002 steps (8 resets) in 95 ms. (41 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4002 steps (8 resets) in 136 ms. (29 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4003 steps (8 resets) in 127 ms. (31 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4002 steps (8 resets) in 133 ms. (29 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4002 steps (8 resets) in 127 ms. (31 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4002 steps (8 resets) in 130 ms. (30 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4004 steps (8 resets) in 114 ms. (34 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4002 steps (8 resets) in 105 ms. (37 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4001 steps (8 resets) in 110 ms. (36 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4003 steps (8 resets) in 122 ms. (32 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4002 steps (8 resets) in 124 ms. (32 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4003 steps (8 resets) in 98 ms. (40 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4002 steps (8 resets) in 93 ms. (42 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4004 steps (8 resets) in 119 ms. (33 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4002 steps (8 resets) in 104 ms. (38 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4004 steps (8 resets) in 127 ms. (31 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4003 steps (8 resets) in 162 ms. (24 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4002 steps (8 resets) in 173 ms. (23 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4001 steps (8 resets) in 148 ms. (26 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4003 steps (8 resets) in 175 ms. (22 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4004 steps (8 resets) in 143 ms. (27 steps per ms) remains 583/583 properties
BEST_FIRST walk for 4004 steps (8 resets) in 159 ms. (25 steps per ms) remains 582/583 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 127 ms. (31 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 151 ms. (26 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4000 steps (8 resets) in 155 ms. (25 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 131 ms. (30 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 120 ms. (33 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 101 ms. (39 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 111 ms. (35 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 153 ms. (25 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4001 steps (8 resets) in 153 ms. (25 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 145 ms. (27 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 138 ms. (28 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 146 ms. (27 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4000 steps (8 resets) in 150 ms. (26 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 160 ms. (24 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 130 ms. (30 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 130 ms. (30 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 103 ms. (38 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4001 steps (8 resets) in 115 ms. (34 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 122 ms. (32 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 99 ms. (40 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 89 ms. (44 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 125 ms. (31 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 99 ms. (40 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 99 ms. (40 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 137 ms. (29 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 91 ms. (43 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4001 steps (8 resets) in 137 ms. (28 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4004 steps (8 resets) in 109 ms. (36 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 159 ms. (25 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 141 ms. (28 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 133 ms. (29 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 151 ms. (26 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 144 ms. (27 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 158 ms. (25 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 171 ms. (23 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 135 ms. (29 steps per ms) remains 578/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 179 ms. (22 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4003 steps (8 resets) in 194 ms. (20 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4002 steps (8 resets) in 178 ms. (22 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4003 steps (8 resets) in 137 ms. (29 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4003 steps (8 resets) in 163 ms. (24 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4003 steps (8 resets) in 176 ms. (22 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4003 steps (8 resets) in 138 ms. (28 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4002 steps (8 resets) in 168 ms. (23 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4003 steps (8 resets) in 130 ms. (30 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4002 steps (8 resets) in 176 ms. (22 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4003 steps (8 resets) in 153 ms. (25 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4003 steps (8 resets) in 142 ms. (27 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4002 steps (8 resets) in 168 ms. (23 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4003 steps (8 resets) in 103 ms. (38 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4001 steps (8 resets) in 88 ms. (44 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4003 steps (8 resets) in 107 ms. (37 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4004 steps (8 resets) in 72 ms. (54 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4002 steps (8 resets) in 121 ms. (32 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4004 steps (8 resets) in 99 ms. (40 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4003 steps (8 resets) in 117 ms. (33 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4003 steps (8 resets) in 131 ms. (30 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4001 steps (8 resets) in 137 ms. (28 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4002 steps (8 resets) in 135 ms. (29 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4002 steps (8 resets) in 142 ms. (27 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4004 steps (8 resets) in 126 ms. (31 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4001 steps (8 resets) in 123 ms. (32 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4003 steps (8 resets) in 108 ms. (36 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4003 steps (8 resets) in 117 ms. (33 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4001 steps (8 resets) in 99 ms. (40 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4003 steps (8 resets) in 138 ms. (28 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4002 steps (8 resets) in 102 ms. (38 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4001 steps (8 resets) in 120 ms. (33 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4001 steps (8 resets) in 102 ms. (38 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4002 steps (8 resets) in 146 ms. (27 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4002 steps (8 resets) in 111 ms. (35 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4004 steps (8 resets) in 124 ms. (32 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4002 steps (8 resets) in 117 ms. (33 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4002 steps (8 resets) in 120 ms. (33 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4003 steps (8 resets) in 134 ms. (29 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4002 steps (8 resets) in 121 ms. (32 steps per ms) remains 578/578 properties
BEST_FIRST walk for 4002 steps (8 resets) in 107 ms. (37 steps per ms) remains 571/578 properties
BEST_FIRST walk for 4003 steps (8 resets) in 94 ms. (42 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4002 steps (8 resets) in 188 ms. (21 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4004 steps (8 resets) in 137 ms. (29 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4002 steps (8 resets) in 184 ms. (21 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4004 steps (8 resets) in 177 ms. (22 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4002 steps (8 resets) in 186 ms. (21 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4003 steps (8 resets) in 134 ms. (29 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4004 steps (8 resets) in 103 ms. (38 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4004 steps (8 resets) in 94 ms. (42 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4003 steps (8 resets) in 122 ms. (32 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4003 steps (8 resets) in 128 ms. (31 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4004 steps (8 resets) in 135 ms. (29 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4002 steps (8 resets) in 127 ms. (31 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4002 steps (8 resets) in 167 ms. (23 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4003 steps (8 resets) in 168 ms. (23 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4003 steps (8 resets) in 149 ms. (26 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4001 steps (8 resets) in 123 ms. (32 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4002 steps (8 resets) in 137 ms. (29 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4002 steps (8 resets) in 148 ms. (26 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4003 steps (8 resets) in 138 ms. (28 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4003 steps (8 resets) in 145 ms. (27 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4003 steps (8 resets) in 166 ms. (23 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4002 steps (8 resets) in 172 ms. (23 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4003 steps (8 resets) in 166 ms. (23 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4004 steps (8 resets) in 111 ms. (35 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4001 steps (8 resets) in 123 ms. (32 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4002 steps (8 resets) in 90 ms. (43 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4003 steps (8 resets) in 135 ms. (29 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4002 steps (8 resets) in 132 ms. (30 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4002 steps (8 resets) in 132 ms. (30 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4002 steps (8 resets) in 110 ms. (36 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4003 steps (8 resets) in 121 ms. (32 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4004 steps (8 resets) in 135 ms. (29 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4002 steps (8 resets) in 110 ms. (36 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4004 steps (8 resets) in 121 ms. (32 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4004 steps (8 resets) in 128 ms. (31 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4003 steps (8 resets) in 110 ms. (36 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4002 steps (8 resets) in 138 ms. (28 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4003 steps (8 resets) in 130 ms. (30 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4001 steps (8 resets) in 112 ms. (35 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4001 steps (8 resets) in 85 ms. (46 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4004 steps (8 resets) in 111 ms. (35 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4003 steps (8 resets) in 111 ms. (35 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4003 steps (8 resets) in 135 ms. (29 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4003 steps (8 resets) in 107 ms. (37 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4002 steps (8 resets) in 100 ms. (39 steps per ms) remains 571/571 properties
BEST_FIRST walk for 4003 steps (8 resets) in 53 ms. (74 steps per ms) remains 570/571 properties
BEST_FIRST walk for 4002 steps (8 resets) in 31 ms. (125 steps per ms) remains 569/570 properties
BEST_FIRST walk for 4003 steps (8 resets) in 130 ms. (30 steps per ms) remains 569/569 properties
BEST_FIRST walk for 4004 steps (8 resets) in 117 ms. (33 steps per ms) remains 567/569 properties
BEST_FIRST walk for 4002 steps (8 resets) in 112 ms. (35 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4002 steps (8 resets) in 93 ms. (42 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4003 steps (8 resets) in 127 ms. (31 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4002 steps (8 resets) in 123 ms. (32 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4004 steps (8 resets) in 159 ms. (25 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4001 steps (8 resets) in 76 ms. (51 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4002 steps (8 resets) in 100 ms. (39 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4003 steps (8 resets) in 93 ms. (42 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4004 steps (8 resets) in 102 ms. (38 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4004 steps (8 resets) in 142 ms. (28 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4003 steps (8 resets) in 161 ms. (24 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4004 steps (8 resets) in 159 ms. (25 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4003 steps (8 resets) in 122 ms. (32 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4003 steps (8 resets) in 144 ms. (27 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4001 steps (8 resets) in 136 ms. (29 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4002 steps (8 resets) in 135 ms. (29 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4003 steps (8 resets) in 128 ms. (31 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4003 steps (8 resets) in 141 ms. (28 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4003 steps (8 resets) in 135 ms. (29 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4002 steps (8 resets) in 151 ms. (26 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4002 steps (8 resets) in 147 ms. (27 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4004 steps (8 resets) in 145 ms. (27 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4001 steps (8 resets) in 136 ms. (29 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4004 steps (8 resets) in 117 ms. (33 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4003 steps (8 resets) in 123 ms. (32 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4001 steps (8 resets) in 156 ms. (25 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4003 steps (8 resets) in 115 ms. (34 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4003 steps (8 resets) in 126 ms. (31 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4004 steps (8 resets) in 144 ms. (27 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4003 steps (8 resets) in 151 ms. (26 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4002 steps (8 resets) in 143 ms. (27 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 567/567 properties
BEST_FIRST walk for 4002 steps (8 resets) in 134 ms. (29 steps per ms) remains 566/567 properties
BEST_FIRST walk for 4002 steps (8 resets) in 116 ms. (34 steps per ms) remains 566/566 properties
BEST_FIRST walk for 4001 steps (8 resets) in 127 ms. (31 steps per ms) remains 566/566 properties
BEST_FIRST walk for 4004 steps (8 resets) in 100 ms. (39 steps per ms) remains 566/566 properties
BEST_FIRST walk for 4003 steps (8 resets) in 124 ms. (32 steps per ms) remains 564/566 properties
BEST_FIRST walk for 4002 steps (8 resets) in 136 ms. (29 steps per ms) remains 564/564 properties
BEST_FIRST walk for 4003 steps (8 resets) in 99 ms. (40 steps per ms) remains 564/564 properties
BEST_FIRST walk for 4004 steps (8 resets) in 130 ms. (30 steps per ms) remains 564/564 properties
BEST_FIRST walk for 4001 steps (8 resets) in 92 ms. (43 steps per ms) remains 564/564 properties
BEST_FIRST walk for 4004 steps (8 resets) in 94 ms. (42 steps per ms) remains 564/564 properties
BEST_FIRST walk for 4002 steps (8 resets) in 127 ms. (31 steps per ms) remains 564/564 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 564/564 properties
BEST_FIRST walk for 4001 steps (8 resets) in 46 ms. (85 steps per ms) remains 564/564 properties
BEST_FIRST walk for 4003 steps (8 resets) in 132 ms. (30 steps per ms) remains 562/564 properties
BEST_FIRST walk for 4002 steps (8 resets) in 89 ms. (44 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4003 steps (8 resets) in 123 ms. (32 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4002 steps (8 resets) in 120 ms. (33 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4003 steps (8 resets) in 77 ms. (51 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4003 steps (8 resets) in 135 ms. (29 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4002 steps (8 resets) in 123 ms. (32 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4002 steps (8 resets) in 99 ms. (40 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4003 steps (8 resets) in 95 ms. (41 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4003 steps (8 resets) in 94 ms. (42 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4003 steps (8 resets) in 97 ms. (40 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4003 steps (8 resets) in 132 ms. (30 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4001 steps (8 resets) in 144 ms. (27 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4002 steps (8 resets) in 126 ms. (31 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4002 steps (8 resets) in 123 ms. (32 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4003 steps (8 resets) in 110 ms. (36 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4002 steps (8 resets) in 166 ms. (23 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4001 steps (8 resets) in 138 ms. (28 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4002 steps (8 resets) in 147 ms. (27 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4002 steps (8 resets) in 166 ms. (23 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4002 steps (8 resets) in 143 ms. (27 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4004 steps (8 resets) in 124 ms. (32 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4003 steps (8 resets) in 142 ms. (27 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4003 steps (8 resets) in 124 ms. (32 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4002 steps (8 resets) in 165 ms. (24 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4002 steps (8 resets) in 158 ms. (25 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4003 steps (8 resets) in 170 ms. (23 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4004 steps (8 resets) in 113 ms. (35 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4003 steps (8 resets) in 127 ms. (31 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4004 steps (8 resets) in 145 ms. (27 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4002 steps (8 resets) in 155 ms. (25 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4003 steps (8 resets) in 118 ms. (33 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4001 steps (8 resets) in 137 ms. (28 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4002 steps (8 resets) in 123 ms. (32 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4003 steps (8 resets) in 157 ms. (25 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4004 steps (8 resets) in 139 ms. (28 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4004 steps (8 resets) in 129 ms. (30 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4003 steps (8 resets) in 141 ms. (28 steps per ms) remains 562/562 properties
BEST_FIRST walk for 4002 steps (8 resets) in 64 ms. (61 steps per ms) remains 561/562 properties
BEST_FIRST walk for 4001 steps (8 resets) in 132 ms. (30 steps per ms) remains 560/561 properties
BEST_FIRST walk for 4001 steps (8 resets) in 141 ms. (28 steps per ms) remains 560/560 properties
BEST_FIRST walk for 4002 steps (8 resets) in 143 ms. (27 steps per ms) remains 560/560 properties
BEST_FIRST walk for 4003 steps (8 resets) in 133 ms. (29 steps per ms) remains 560/560 properties
BEST_FIRST walk for 4002 steps (8 resets) in 105 ms. (37 steps per ms) remains 560/560 properties
BEST_FIRST walk for 4002 steps (8 resets) in 145 ms. (27 steps per ms) remains 560/560 properties
BEST_FIRST walk for 4004 steps (8 resets) in 138 ms. (28 steps per ms) remains 560/560 properties
BEST_FIRST walk for 4002 steps (8 resets) in 92 ms. (43 steps per ms) remains 560/560 properties
BEST_FIRST walk for 4002 steps (8 resets) in 70 ms. (56 steps per ms) remains 560/560 properties
BEST_FIRST walk for 4004 steps (8 resets) in 114 ms. (34 steps per ms) remains 560/560 properties
BEST_FIRST walk for 4004 steps (8 resets) in 79 ms. (50 steps per ms) remains 560/560 properties
BEST_FIRST walk for 4002 steps (8 resets) in 106 ms. (37 steps per ms) remains 560/560 properties
BEST_FIRST walk for 4001 steps (8 resets) in 103 ms. (38 steps per ms) remains 560/560 properties
BEST_FIRST walk for 4003 steps (8 resets) in 114 ms. (34 steps per ms) remains 560/560 properties
BEST_FIRST walk for 4001 steps (8 resets) in 124 ms. (32 steps per ms) remains 560/560 properties
BEST_FIRST walk for 4004 steps (8 resets) in 105 ms. (37 steps per ms) remains 558/560 properties
BEST_FIRST walk for 4003 steps (8 resets) in 128 ms. (31 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4002 steps (8 resets) in 133 ms. (29 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4002 steps (8 resets) in 132 ms. (30 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4003 steps (8 resets) in 105 ms. (37 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4002 steps (8 resets) in 136 ms. (29 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4003 steps (8 resets) in 125 ms. (31 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4003 steps (8 resets) in 112 ms. (35 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4003 steps (8 resets) in 158 ms. (25 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4000 steps (8 resets) in 109 ms. (36 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4002 steps (8 resets) in 129 ms. (30 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4003 steps (8 resets) in 108 ms. (36 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4002 steps (8 resets) in 107 ms. (37 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4002 steps (8 resets) in 122 ms. (32 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4002 steps (8 resets) in 108 ms. (36 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4002 steps (8 resets) in 135 ms. (29 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4002 steps (8 resets) in 112 ms. (35 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4003 steps (8 resets) in 128 ms. (31 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4001 steps (8 resets) in 141 ms. (28 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4003 steps (8 resets) in 113 ms. (35 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4003 steps (8 resets) in 124 ms. (32 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4002 steps (8 resets) in 140 ms. (28 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4002 steps (8 resets) in 119 ms. (33 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4003 steps (8 resets) in 138 ms. (28 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4003 steps (8 resets) in 105 ms. (37 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4003 steps (8 resets) in 123 ms. (32 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4003 steps (8 resets) in 105 ms. (37 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4002 steps (8 resets) in 94 ms. (42 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4001 steps (8 resets) in 120 ms. (33 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4002 steps (8 resets) in 109 ms. (36 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4002 steps (8 resets) in 111 ms. (35 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4001 steps (8 resets) in 130 ms. (30 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4001 steps (8 resets) in 124 ms. (32 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4003 steps (8 resets) in 96 ms. (41 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4003 steps (8 resets) in 65 ms. (60 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4002 steps (8 resets) in 78 ms. (50 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4003 steps (8 resets) in 87 ms. (45 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4001 steps (8 resets) in 86 ms. (45 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4001 steps (8 resets) in 123 ms. (32 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4003 steps (8 resets) in 124 ms. (32 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4002 steps (8 resets) in 99 ms. (40 steps per ms) remains 558/558 properties
BEST_FIRST walk for 4003 steps (8 resets) in 118 ms. (33 steps per ms) remains 553/558 properties
BEST_FIRST walk for 4001 steps (8 resets) in 132 ms. (30 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4002 steps (8 resets) in 133 ms. (29 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4003 steps (8 resets) in 95 ms. (41 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4002 steps (8 resets) in 134 ms. (29 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4002 steps (8 resets) in 97 ms. (40 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 115 ms. (34 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4001 steps (8 resets) in 102 ms. (38 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4003 steps (8 resets) in 137 ms. (29 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4001 steps (8 resets) in 116 ms. (34 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4003 steps (8 resets) in 122 ms. (32 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4003 steps (8 resets) in 109 ms. (36 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4002 steps (8 resets) in 167 ms. (23 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 127 ms. (31 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4002 steps (8 resets) in 165 ms. (24 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4002 steps (8 resets) in 148 ms. (26 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4002 steps (8 resets) in 147 ms. (27 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4003 steps (8 resets) in 153 ms. (25 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4002 steps (8 resets) in 167 ms. (23 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4002 steps (8 resets) in 139 ms. (28 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4003 steps (8 resets) in 135 ms. (29 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 128 ms. (31 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4001 steps (8 resets) in 149 ms. (26 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4001 steps (8 resets) in 139 ms. (28 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 167 ms. (23 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4003 steps (8 resets) in 177 ms. (22 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4002 steps (8 resets) in 164 ms. (24 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4003 steps (8 resets) in 124 ms. (32 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 137 ms. (29 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4003 steps (8 resets) in 167 ms. (23 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4003 steps (8 resets) in 133 ms. (29 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4003 steps (8 resets) in 132 ms. (30 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4003 steps (8 resets) in 165 ms. (24 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4002 steps (8 resets) in 115 ms. (34 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4002 steps (8 resets) in 128 ms. (31 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4000 steps (8 resets) in 152 ms. (26 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4003 steps (8 resets) in 121 ms. (32 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4002 steps (8 resets) in 113 ms. (35 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4001 steps (8 resets) in 117 ms. (33 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4003 steps (8 resets) in 91 ms. (43 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4001 steps (8 resets) in 117 ms. (33 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4002 steps (8 resets) in 163 ms. (24 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4003 steps (8 resets) in 128 ms. (31 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4002 steps (8 resets) in 138 ms. (28 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4002 steps (8 resets) in 124 ms. (32 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4003 steps (8 resets) in 115 ms. (34 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4002 steps (8 resets) in 125 ms. (31 steps per ms) remains 553/553 properties
BEST_FIRST walk for 4003 steps (8 resets) in 115 ms. (34 steps per ms) remains 553/553 properties
Probabilistic random walk after 1000000 steps, saw 760313 distinct states, run finished after 60226 ms. (steps per millisecond=16 ) properties seen :0
// Phase 1: matrix 3788 rows 524 cols
[2024-05-21 06:13:46] [INFO ] Computed 26 invariants in 24 ms
[2024-05-21 06:13:46] [INFO ] State equation strengthened by 176 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/204 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 553 unsolved
At refinement iteration 1 (OVERLAPS) 305/509 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 553 unsolved
[2024-05-21 06:14:12] [INFO ] Deduced a trap composed of 443 places in 971 ms of which 8 ms to minimize.
[2024-05-21 06:14:13] [INFO ] Deduced a trap composed of 373 places in 925 ms of which 8 ms to minimize.
[2024-05-21 06:14:14] [INFO ] Deduced a trap composed of 443 places in 960 ms of which 8 ms to minimize.
[2024-05-21 06:14:15] [INFO ] Deduced a trap composed of 398 places in 975 ms of which 8 ms to minimize.
[2024-05-21 06:14:16] [INFO ] Deduced a trap composed of 377 places in 936 ms of which 7 ms to minimize.
[2024-05-21 06:14:17] [INFO ] Deduced a trap composed of 374 places in 954 ms of which 8 ms to minimize.
[2024-05-21 06:14:18] [INFO ] Deduced a trap composed of 398 places in 938 ms of which 8 ms to minimize.
[2024-05-21 06:14:19] [INFO ] Deduced a trap composed of 377 places in 935 ms of which 8 ms to minimize.
[2024-05-21 06:14:20] [INFO ] Deduced a trap composed of 289 places in 959 ms of which 8 ms to minimize.
[2024-05-21 06:14:21] [INFO ] Deduced a trap composed of 310 places in 940 ms of which 7 ms to minimize.
[2024-05-21 06:14:22] [INFO ] Deduced a trap composed of 399 places in 962 ms of which 8 ms to minimize.
[2024-05-21 06:14:23] [INFO ] Deduced a trap composed of 354 places in 870 ms of which 8 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/509 variables, 12/25 constraints. Problems are: Problem set: 0 solved, 553 unsolved
[2024-05-21 06:14:27] [INFO ] Deduced a trap composed of 319 places in 997 ms of which 8 ms to minimize.
[2024-05-21 06:14:28] [INFO ] Deduced a trap composed of 312 places in 981 ms of which 9 ms to minimize.
[2024-05-21 06:14:29] [INFO ] Deduced a trap composed of 328 places in 989 ms of which 8 ms to minimize.
[2024-05-21 06:14:30] [INFO ] Deduced a trap composed of 351 places in 971 ms of which 7 ms to minimize.
[2024-05-21 06:14:31] [INFO ] Deduced a trap composed of 328 places in 965 ms of which 8 ms to minimize.
[2024-05-21 06:14:32] [INFO ] Deduced a trap composed of 273 places in 1005 ms of which 8 ms to minimize.
[2024-05-21 06:14:33] [INFO ] Deduced a trap composed of 308 places in 988 ms of which 8 ms to minimize.
[2024-05-21 06:14:34] [INFO ] Deduced a trap composed of 353 places in 993 ms of which 7 ms to minimize.
[2024-05-21 06:14:35] [INFO ] Deduced a trap composed of 359 places in 1000 ms of which 7 ms to minimize.
[2024-05-21 06:14:36] [INFO ] Deduced a trap composed of 338 places in 1009 ms of which 8 ms to minimize.
[2024-05-21 06:14:37] [INFO ] Deduced a trap composed of 382 places in 977 ms of which 7 ms to minimize.
[2024-05-21 06:14:38] [INFO ] Deduced a trap composed of 380 places in 889 ms of which 7 ms to minimize.
[2024-05-21 06:14:39] [INFO ] Deduced a trap composed of 329 places in 903 ms of which 7 ms to minimize.
[2024-05-21 06:14:40] [INFO ] Deduced a trap composed of 365 places in 898 ms of which 8 ms to minimize.
[2024-05-21 06:14:41] [INFO ] Deduced a trap composed of 359 places in 1017 ms of which 8 ms to minimize.
[2024-05-21 06:14:42] [INFO ] Deduced a trap composed of 312 places in 910 ms of which 7 ms to minimize.
[2024-05-21 06:14:43] [INFO ] Deduced a trap composed of 311 places in 996 ms of which 8 ms to minimize.
[2024-05-21 06:14:44] [INFO ] Deduced a trap composed of 338 places in 977 ms of which 7 ms to minimize.
[2024-05-21 06:14:45] [INFO ] Deduced a trap composed of 336 places in 1006 ms of which 10 ms to minimize.
[2024-05-21 06:14:46] [INFO ] Deduced a trap composed of 378 places in 921 ms of which 8 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/509 variables, 20/45 constraints. Problems are: Problem set: 0 solved, 553 unsolved
[2024-05-21 06:14:57] [INFO ] Deduced a trap composed of 374 places in 982 ms of which 7 ms to minimize.
[2024-05-21 06:14:58] [INFO ] Deduced a trap composed of 397 places in 980 ms of which 8 ms to minimize.
[2024-05-21 06:14:59] [INFO ] Deduced a trap composed of 311 places in 886 ms of which 7 ms to minimize.
[2024-05-21 06:15:00] [INFO ] Deduced a trap composed of 331 places in 973 ms of which 8 ms to minimize.
[2024-05-21 06:15:01] [INFO ] Deduced a trap composed of 420 places in 976 ms of which 8 ms to minimize.
[2024-05-21 06:15:02] [INFO ] Deduced a trap composed of 399 places in 976 ms of which 12 ms to minimize.
[2024-05-21 06:15:03] [INFO ] Deduced a trap composed of 399 places in 879 ms of which 7 ms to minimize.
[2024-05-21 06:15:04] [INFO ] Deduced a trap composed of 420 places in 874 ms of which 7 ms to minimize.
[2024-05-21 06:15:05] [INFO ] Deduced a trap composed of 399 places in 1258 ms of which 6 ms to minimize.
[2024-05-21 06:15:06] [INFO ] Deduced a trap composed of 398 places in 958 ms of which 8 ms to minimize.
[2024-05-21 06:15:07] [INFO ] Deduced a trap composed of 382 places in 904 ms of which 8 ms to minimize.
[2024-05-21 06:15:08] [INFO ] Deduced a trap composed of 329 places in 988 ms of which 7 ms to minimize.
[2024-05-21 06:15:09] [INFO ] Deduced a trap composed of 354 places in 963 ms of which 8 ms to minimize.
[2024-05-21 06:15:10] [INFO ] Deduced a trap composed of 281 places in 964 ms of which 8 ms to minimize.
[2024-05-21 06:15:11] [INFO ] Deduced a trap composed of 377 places in 974 ms of which 8 ms to minimize.
[2024-05-21 06:15:12] [INFO ] Deduced a trap composed of 263 places in 960 ms of which 8 ms to minimize.
[2024-05-21 06:15:13] [INFO ] Deduced a trap composed of 352 places in 955 ms of which 8 ms to minimize.
[2024-05-21 06:15:14] [INFO ] Deduced a trap composed of 373 places in 964 ms of which 8 ms to minimize.
[2024-05-21 06:15:15] [INFO ] Deduced a trap composed of 400 places in 972 ms of which 8 ms to minimize.
[2024-05-21 06:15:16] [INFO ] Deduced a trap composed of 383 places in 970 ms of which 8 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/509 variables, 20/65 constraints. Problems are: Problem set: 0 solved, 553 unsolved
[2024-05-21 06:15:31] [INFO ] Deduced a trap composed of 397 places in 940 ms of which 8 ms to minimize.
[2024-05-21 06:15:33] [INFO ] Deduced a trap composed of 378 places in 953 ms of which 7 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/509 variables, 2/67 constraints. Problems are: Problem set: 0 solved, 553 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 509/4312 variables, and 67 constraints, problems are : Problem set: 0 solved, 553 unsolved in 120029 ms.
Refiners :[Positive P Invariants (semi-flows): 13/13 constraints, Generalized P Invariants (flows): 0/13 constraints, State Equation: 0/524 constraints, ReadFeed: 0/176 constraints, PredecessorRefiner: 553/553 constraints, Known Traps: 54/54 constraints]
Escalating to Integer solving :Problem set: 0 solved, 553 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/204 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 553 unsolved
At refinement iteration 1 (OVERLAPS) 305/509 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 553 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/509 variables, 54/67 constraints. Problems are: Problem set: 0 solved, 553 unsolved
[2024-05-21 06:16:09] [INFO ] Deduced a trap composed of 401 places in 1000 ms of which 7 ms to minimize.
[2024-05-21 06:16:10] [INFO ] Deduced a trap composed of 379 places in 965 ms of which 8 ms to minimize.
[2024-05-21 06:16:11] [INFO ] Deduced a trap composed of 288 places in 948 ms of which 8 ms to minimize.
[2024-05-21 06:16:12] [INFO ] Deduced a trap composed of 331 places in 945 ms of which 7 ms to minimize.
[2024-05-21 06:16:13] [INFO ] Deduced a trap composed of 356 places in 948 ms of which 8 ms to minimize.
[2024-05-21 06:16:14] [INFO ] Deduced a trap composed of 400 places in 933 ms of which 8 ms to minimize.
[2024-05-21 06:16:14] [INFO ] Deduced a trap composed of 291 places in 933 ms of which 8 ms to minimize.
[2024-05-21 06:16:15] [INFO ] Deduced a trap composed of 378 places in 891 ms of which 8 ms to minimize.
[2024-05-21 06:16:16] [INFO ] Deduced a trap composed of 356 places in 915 ms of which 8 ms to minimize.
[2024-05-21 06:16:17] [INFO ] Deduced a trap composed of 401 places in 952 ms of which 8 ms to minimize.
[2024-05-21 06:16:18] [INFO ] Deduced a trap composed of 330 places in 954 ms of which 8 ms to minimize.
[2024-05-21 06:16:19] [INFO ] Deduced a trap composed of 353 places in 971 ms of which 7 ms to minimize.
[2024-05-21 06:16:20] [INFO ] Deduced a trap composed of 286 places in 981 ms of which 7 ms to minimize.
[2024-05-21 06:16:21] [INFO ] Deduced a trap composed of 330 places in 986 ms of which 8 ms to minimize.
[2024-05-21 06:16:22] [INFO ] Deduced a trap composed of 266 places in 902 ms of which 8 ms to minimize.
[2024-05-21 06:16:23] [INFO ] Deduced a trap composed of 288 places in 991 ms of which 8 ms to minimize.
[2024-05-21 06:16:24] [INFO ] Deduced a trap composed of 309 places in 949 ms of which 8 ms to minimize.
[2024-05-21 06:16:25] [INFO ] Deduced a trap composed of 309 places in 924 ms of which 8 ms to minimize.
[2024-05-21 06:16:26] [INFO ] Deduced a trap composed of 311 places in 907 ms of which 7 ms to minimize.
[2024-05-21 06:16:27] [INFO ] Deduced a trap composed of 331 places in 894 ms of which 7 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/509 variables, 20/87 constraints. Problems are: Problem set: 0 solved, 553 unsolved
[2024-05-21 06:16:43] [INFO ] Deduced a trap composed of 330 places in 965 ms of which 8 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/509 variables, 1/88 constraints. Problems are: Problem set: 0 solved, 553 unsolved
[2024-05-21 06:17:02] [INFO ] Deduced a trap composed of 305 places in 879 ms of which 8 ms to minimize.
[2024-05-21 06:17:03] [INFO ] Deduced a trap composed of 308 places in 930 ms of which 7 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/509 variables, 2/90 constraints. Problems are: Problem set: 0 solved, 553 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/509 variables, 0/90 constraints. Problems are: Problem set: 0 solved, 553 unsolved
At refinement iteration 7 (OVERLAPS) 15/524 variables, 13/103 constraints. Problems are: Problem set: 0 solved, 553 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 524/4312 variables, and 103 constraints, problems are : Problem set: 0 solved, 553 unsolved in 120023 ms.
Refiners :[Positive P Invariants (semi-flows): 13/13 constraints, Generalized P Invariants (flows): 13/13 constraints, State Equation: 0/524 constraints, ReadFeed: 0/176 constraints, PredecessorRefiner: 0/553 constraints, Known Traps: 77/77 constraints]
After SMT, in 242817ms problems are : Problem set: 0 solved, 553 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 204 out of 524 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 524/524 places, 3788/3788 transitions.
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 3 place count 521 transition count 3763
Iterating global reduction 0 with 3 rules applied. Total rules applied 6 place count 521 transition count 3763
Applied a total of 6 rules in 135 ms. Remains 521 /524 variables (removed 3) and now considering 3763/3788 (removed 25) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 135 ms. Remains : 521/524 places, 3763/3788 transitions.
RANDOM walk for 2473433 steps (4 resets) in 120005 ms. (20 steps per ms) remains 545/553 properties
BEST_FIRST walk for 4002 steps (8 resets) in 68 ms. (58 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4002 steps (8 resets) in 87 ms. (45 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4004 steps (8 resets) in 83 ms. (47 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4001 steps (8 resets) in 103 ms. (38 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4003 steps (8 resets) in 112 ms. (35 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4001 steps (8 resets) in 118 ms. (33 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4004 steps (8 resets) in 112 ms. (35 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4004 steps (8 resets) in 129 ms. (30 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4003 steps (8 resets) in 123 ms. (32 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4002 steps (8 resets) in 122 ms. (32 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4003 steps (8 resets) in 122 ms. (32 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4004 steps (8 resets) in 112 ms. (35 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4001 steps (8 resets) in 114 ms. (34 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4003 steps (8 resets) in 119 ms. (33 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4004 steps (8 resets) in 118 ms. (33 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4003 steps (8 resets) in 112 ms. (35 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4002 steps (8 resets) in 82 ms. (48 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4002 steps (8 resets) in 124 ms. (32 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4002 steps (8 resets) in 126 ms. (31 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4002 steps (8 resets) in 99 ms. (40 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4002 steps (8 resets) in 167 ms. (23 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4002 steps (8 resets) in 168 ms. (23 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4002 steps (8 resets) in 175 ms. (22 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4003 steps (8 resets) in 171 ms. (23 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4003 steps (8 resets) in 164 ms. (24 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4003 steps (8 resets) in 154 ms. (25 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4003 steps (8 resets) in 177 ms. (22 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4001 steps (8 resets) in 165 ms. (24 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4002 steps (8 resets) in 172 ms. (23 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4002 steps (8 resets) in 162 ms. (24 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4003 steps (8 resets) in 121 ms. (32 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4003 steps (8 resets) in 123 ms. (32 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4002 steps (8 resets) in 117 ms. (33 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4003 steps (8 resets) in 88 ms. (44 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4002 steps (8 resets) in 138 ms. (28 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4003 steps (8 resets) in 99 ms. (40 steps per ms) remains 545/545 properties
BEST_FIRST walk for 4003 steps (8 resets) in 122 ms. (32 steps per ms) remains 544/545 properties
BEST_FIRST walk for 4003 steps (8 resets) in 94 ms. (42 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4003 steps (8 resets) in 117 ms. (33 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4003 steps (8 resets) in 123 ms. (32 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4003 steps (8 resets) in 122 ms. (32 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4004 steps (8 resets) in 129 ms. (30 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4002 steps (8 resets) in 109 ms. (36 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4004 steps (8 resets) in 103 ms. (38 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4003 steps (8 resets) in 111 ms. (35 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4003 steps (8 resets) in 175 ms. (22 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4003 steps (8 resets) in 168 ms. (23 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4003 steps (8 resets) in 153 ms. (25 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4003 steps (8 resets) in 153 ms. (25 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4000 steps (8 resets) in 172 ms. (23 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4002 steps (8 resets) in 187 ms. (21 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4004 steps (8 resets) in 174 ms. (22 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4002 steps (8 resets) in 156 ms. (25 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4003 steps (8 resets) in 156 ms. (25 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4004 steps (8 resets) in 166 ms. (23 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4001 steps (8 resets) in 126 ms. (31 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4002 steps (8 resets) in 83 ms. (47 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4002 steps (8 resets) in 115 ms. (34 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4001 steps (8 resets) in 119 ms. (33 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4003 steps (8 resets) in 110 ms. (36 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4003 steps (8 resets) in 128 ms. (31 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4002 steps (8 resets) in 120 ms. (33 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4001 steps (8 resets) in 119 ms. (33 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4002 steps (8 resets) in 81 ms. (48 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4002 steps (8 resets) in 122 ms. (32 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4003 steps (8 resets) in 120 ms. (33 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4003 steps (8 resets) in 122 ms. (32 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4003 steps (8 resets) in 93 ms. (42 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4003 steps (8 resets) in 123 ms. (32 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4002 steps (8 resets) in 107 ms. (37 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4001 steps (8 resets) in 127 ms. (31 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4001 steps (8 resets) in 123 ms. (32 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4001 steps (8 resets) in 123 ms. (32 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4003 steps (8 resets) in 112 ms. (35 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4002 steps (8 resets) in 117 ms. (33 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4002 steps (8 resets) in 84 ms. (47 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4003 steps (8 resets) in 50 ms. (78 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4003 steps (8 resets) in 83 ms. (47 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4003 steps (8 resets) in 94 ms. (42 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4003 steps (8 resets) in 133 ms. (29 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4003 steps (8 resets) in 106 ms. (37 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4003 steps (8 resets) in 131 ms. (30 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4003 steps (8 resets) in 85 ms. (46 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4002 steps (8 resets) in 109 ms. (36 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4003 steps (8 resets) in 120 ms. (33 steps per ms) remains 544/544 properties
BEST_FIRST walk for 4002 steps (8 resets) in 98 ms. (40 steps per ms) remains 544/544 properties
Probabilistic random walk after 1000000 steps, saw 765421 distinct states, run finished after 83440 ms. (steps per millisecond=11 ) properties seen :0
// Phase 1: matrix 3763 rows 521 cols
[2024-05-21 06:19:46] [INFO ] Computed 26 invariants in 19 ms
[2024-05-21 06:19:46] [INFO ] State equation strengthened by 174 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/202 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 544 unsolved
At refinement iteration 1 (OVERLAPS) 303/505 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 544 unsolved
[2024-05-21 06:20:10] [INFO ] Deduced a trap composed of 417 places in 966 ms of which 8 ms to minimize.
[2024-05-21 06:20:11] [INFO ] Deduced a trap composed of 398 places in 937 ms of which 8 ms to minimize.
[2024-05-21 06:20:12] [INFO ] Deduced a trap composed of 349 places in 929 ms of which 8 ms to minimize.
[2024-05-21 06:20:13] [INFO ] Deduced a trap composed of 419 places in 938 ms of which 8 ms to minimize.
[2024-05-21 06:20:14] [INFO ] Deduced a trap composed of 395 places in 965 ms of which 7 ms to minimize.
[2024-05-21 06:20:15] [INFO ] Deduced a trap composed of 352 places in 931 ms of which 8 ms to minimize.
[2024-05-21 06:20:16] [INFO ] Deduced a trap composed of 351 places in 938 ms of which 7 ms to minimize.
[2024-05-21 06:20:17] [INFO ] Deduced a trap composed of 417 places in 947 ms of which 8 ms to minimize.
[2024-05-21 06:20:18] [INFO ] Deduced a trap composed of 287 places in 924 ms of which 7 ms to minimize.
[2024-05-21 06:20:19] [INFO ] Deduced a trap composed of 264 places in 975 ms of which 8 ms to minimize.
[2024-05-21 06:20:20] [INFO ] Deduced a trap composed of 326 places in 955 ms of which 7 ms to minimize.
[2024-05-21 06:20:21] [INFO ] Deduced a trap composed of 327 places in 976 ms of which 8 ms to minimize.
[2024-05-21 06:20:22] [INFO ] Deduced a trap composed of 396 places in 877 ms of which 8 ms to minimize.
[2024-05-21 06:20:23] [INFO ] Deduced a trap composed of 372 places in 929 ms of which 8 ms to minimize.
[2024-05-21 06:20:24] [INFO ] Deduced a trap composed of 326 places in 983 ms of which 7 ms to minimize.
[2024-05-21 06:20:25] [INFO ] Deduced a trap composed of 371 places in 959 ms of which 8 ms to minimize.
[2024-05-21 06:20:26] [INFO ] Deduced a trap composed of 303 places in 982 ms of which 7 ms to minimize.
[2024-05-21 06:20:27] [INFO ] Deduced a trap composed of 329 places in 948 ms of which 8 ms to minimize.
[2024-05-21 06:20:28] [INFO ] Deduced a trap composed of 306 places in 941 ms of which 7 ms to minimize.
[2024-05-21 06:20:29] [INFO ] Deduced a trap composed of 283 places in 958 ms of which 8 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/505 variables, 20/33 constraints. Problems are: Problem set: 0 solved, 544 unsolved
[2024-05-21 06:20:44] [INFO ] Deduced a trap composed of 286 places in 950 ms of which 8 ms to minimize.
[2024-05-21 06:20:45] [INFO ] Deduced a trap composed of 304 places in 903 ms of which 7 ms to minimize.
[2024-05-21 06:20:46] [INFO ] Deduced a trap composed of 327 places in 918 ms of which 8 ms to minimize.
[2024-05-21 06:20:47] [INFO ] Deduced a trap composed of 303 places in 918 ms of which 8 ms to minimize.
[2024-05-21 06:20:48] [INFO ] Deduced a trap composed of 288 places in 922 ms of which 7 ms to minimize.
[2024-05-21 06:20:49] [INFO ] Deduced a trap composed of 309 places in 954 ms of which 8 ms to minimize.
[2024-05-21 06:20:50] [INFO ] Deduced a trap composed of 286 places in 942 ms of which 7 ms to minimize.
[2024-05-21 06:20:51] [INFO ] Deduced a trap composed of 303 places in 887 ms of which 7 ms to minimize.
[2024-05-21 06:20:52] [INFO ] Deduced a trap composed of 304 places in 893 ms of which 8 ms to minimize.
[2024-05-21 06:20:53] [INFO ] Deduced a trap composed of 262 places in 919 ms of which 7 ms to minimize.
[2024-05-21 06:20:54] [INFO ] Deduced a trap composed of 331 places in 923 ms of which 8 ms to minimize.
[2024-05-21 06:20:55] [INFO ] Deduced a trap composed of 331 places in 918 ms of which 7 ms to minimize.
[2024-05-21 06:20:56] [INFO ] Deduced a trap composed of 288 places in 951 ms of which 8 ms to minimize.
[2024-05-21 06:20:57] [INFO ] Deduced a trap composed of 280 places in 921 ms of which 8 ms to minimize.
[2024-05-21 06:20:58] [INFO ] Deduced a trap composed of 280 places in 918 ms of which 7 ms to minimize.
[2024-05-21 06:20:58] [INFO ] Deduced a trap composed of 281 places in 845 ms of which 7 ms to minimize.
[2024-05-21 06:20:59] [INFO ] Deduced a trap composed of 280 places in 907 ms of which 8 ms to minimize.
[2024-05-21 06:21:00] [INFO ] Deduced a trap composed of 257 places in 942 ms of which 7 ms to minimize.
[2024-05-21 06:21:01] [INFO ] Deduced a trap composed of 302 places in 932 ms of which 8 ms to minimize.
[2024-05-21 06:21:02] [INFO ] Deduced a trap composed of 279 places in 872 ms of which 7 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/505 variables, 20/53 constraints. Problems are: Problem set: 0 solved, 544 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/505 variables, 0/53 constraints. Problems are: Problem set: 0 solved, 544 unsolved
At refinement iteration 5 (OVERLAPS) 16/521 variables, 13/66 constraints. Problems are: Problem set: 0 solved, 544 unsolved
[2024-05-21 06:21:32] [INFO ] Deduced a trap composed of 257 places in 1395 ms of which 8 ms to minimize.
[2024-05-21 06:21:34] [INFO ] Deduced a trap composed of 154 places in 1434 ms of which 8 ms to minimize.
[2024-05-21 06:21:36] [INFO ] Deduced a trap composed of 94 places in 1432 ms of which 8 ms to minimize.
[2024-05-21 06:21:37] [INFO ] Deduced a trap composed of 114 places in 1365 ms of which 7 ms to minimize.
[2024-05-21 06:21:39] [INFO ] Deduced a trap composed of 72 places in 1436 ms of which 8 ms to minimize.
[2024-05-21 06:21:40] [INFO ] Deduced a trap composed of 190 places in 1434 ms of which 8 ms to minimize.
[2024-05-21 06:21:42] [INFO ] Deduced a trap composed of 173 places in 1460 ms of which 8 ms to minimize.
[2024-05-21 06:21:43] [INFO ] Deduced a trap composed of 147 places in 1451 ms of which 8 ms to minimize.
[2024-05-21 06:21:45] [INFO ] Deduced a trap composed of 166 places in 1429 ms of which 8 ms to minimize.
[2024-05-21 06:21:46] [INFO ] Deduced a trap composed of 235 places in 1381 ms of which 8 ms to minimize.
[2024-05-21 06:21:47] [INFO ] Deduced a trap composed of 181 places in 1413 ms of which 8 ms to minimize.
[2024-05-21 06:21:49] [INFO ] Deduced a trap composed of 193 places in 1425 ms of which 8 ms to minimize.
[2024-05-21 06:21:50] [INFO ] Deduced a trap composed of 143 places in 1408 ms of which 8 ms to minimize.
[2024-05-21 06:21:52] [INFO ] Deduced a trap composed of 150 places in 1411 ms of which 8 ms to minimize.
[2024-05-21 06:21:53] [INFO ] Deduced a trap composed of 109 places in 1421 ms of which 8 ms to minimize.
[2024-05-21 06:21:55] [INFO ] Deduced a trap composed of 134 places in 1457 ms of which 8 ms to minimize.
[2024-05-21 06:21:56] [INFO ] Deduced a trap composed of 124 places in 1423 ms of which 8 ms to minimize.
[2024-05-21 06:21:58] [INFO ] Deduced a trap composed of 167 places in 1407 ms of which 8 ms to minimize.
[2024-05-21 06:21:59] [INFO ] Deduced a trap composed of 146 places in 1312 ms of which 8 ms to minimize.
[2024-05-21 06:22:00] [INFO ] Deduced a trap composed of 119 places in 1379 ms of which 8 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/521 variables, 20/86 constraints. Problems are: Problem set: 0 solved, 544 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 521/4284 variables, and 86 constraints, problems are : Problem set: 0 solved, 544 unsolved in 135029 ms.
Refiners :[Positive P Invariants (semi-flows): 13/13 constraints, Generalized P Invariants (flows): 13/13 constraints, State Equation: 0/521 constraints, ReadFeed: 0/174 constraints, PredecessorRefiner: 544/544 constraints, Known Traps: 60/60 constraints]
Escalating to Integer solving :Problem set: 0 solved, 544 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/202 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 544 unsolved
At refinement iteration 1 (OVERLAPS) 303/505 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 544 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/505 variables, 40/53 constraints. Problems are: Problem set: 0 solved, 544 unsolved
[2024-05-21 06:22:23] [INFO ] Deduced a trap composed of 396 places in 874 ms of which 7 ms to minimize.
[2024-05-21 06:22:24] [INFO ] Deduced a trap composed of 373 places in 850 ms of which 7 ms to minimize.
[2024-05-21 06:22:25] [INFO ] Deduced a trap composed of 350 places in 943 ms of which 8 ms to minimize.
[2024-05-21 06:22:26] [INFO ] Deduced a trap composed of 307 places in 923 ms of which 7 ms to minimize.
[2024-05-21 06:22:27] [INFO ] Deduced a trap composed of 350 places in 931 ms of which 9 ms to minimize.
[2024-05-21 06:22:28] [INFO ] Deduced a trap composed of 282 places in 851 ms of which 7 ms to minimize.
[2024-05-21 06:22:29] [INFO ] Deduced a trap composed of 287 places in 907 ms of which 8 ms to minimize.
[2024-05-21 06:22:30] [INFO ] Deduced a trap composed of 315 places in 940 ms of which 8 ms to minimize.
[2024-05-21 06:22:31] [INFO ] Deduced a trap composed of 266 places in 947 ms of which 8 ms to minimize.
[2024-05-21 06:22:32] [INFO ] Deduced a trap composed of 353 places in 920 ms of which 7 ms to minimize.
[2024-05-21 06:22:33] [INFO ] Deduced a trap composed of 325 places in 901 ms of which 8 ms to minimize.
[2024-05-21 06:22:34] [INFO ] Deduced a trap composed of 330 places in 927 ms of which 8 ms to minimize.
[2024-05-21 06:22:35] [INFO ] Deduced a trap composed of 303 places in 923 ms of which 8 ms to minimize.
[2024-05-21 06:22:36] [INFO ] Deduced a trap composed of 329 places in 865 ms of which 7 ms to minimize.
[2024-05-21 06:22:37] [INFO ] Deduced a trap composed of 319 places in 914 ms of which 8 ms to minimize.
[2024-05-21 06:22:38] [INFO ] Deduced a trap composed of 307 places in 914 ms of which 8 ms to minimize.
[2024-05-21 06:22:39] [INFO ] Deduced a trap composed of 285 places in 946 ms of which 8 ms to minimize.
[2024-05-21 06:22:40] [INFO ] Deduced a trap composed of 351 places in 925 ms of which 8 ms to minimize.
[2024-05-21 06:22:41] [INFO ] Deduced a trap composed of 286 places in 921 ms of which 7 ms to minimize.
[2024-05-21 06:22:42] [INFO ] Deduced a trap composed of 359 places in 915 ms of which 7 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/505 variables, 20/73 constraints. Problems are: Problem set: 0 solved, 544 unsolved
[2024-05-21 06:22:57] [INFO ] Deduced a trap composed of 284 places in 925 ms of which 7 ms to minimize.
[2024-05-21 06:22:57] [INFO ] Deduced a trap composed of 375 places in 813 ms of which 7 ms to minimize.
[2024-05-21 06:22:58] [INFO ] Deduced a trap composed of 351 places in 849 ms of which 7 ms to minimize.
[2024-05-21 06:22:59] [INFO ] Deduced a trap composed of 352 places in 951 ms of which 8 ms to minimize.
[2024-05-21 06:23:00] [INFO ] Deduced a trap composed of 307 places in 894 ms of which 7 ms to minimize.
[2024-05-21 06:23:01] [INFO ] Deduced a trap composed of 305 places in 934 ms of which 8 ms to minimize.
[2024-05-21 06:23:02] [INFO ] Deduced a trap composed of 330 places in 891 ms of which 8 ms to minimize.
[2024-05-21 06:23:03] [INFO ] Deduced a trap composed of 293 places in 922 ms of which 8 ms to minimize.
[2024-05-21 06:23:04] [INFO ] Deduced a trap composed of 330 places in 936 ms of which 8 ms to minimize.
[2024-05-21 06:23:05] [INFO ] Deduced a trap composed of 307 places in 936 ms of which 8 ms to minimize.
[2024-05-21 06:23:06] [INFO ] Deduced a trap composed of 264 places in 926 ms of which 8 ms to minimize.
[2024-05-21 06:23:07] [INFO ] Deduced a trap composed of 353 places in 829 ms of which 7 ms to minimize.
[2024-05-21 06:23:08] [INFO ] Deduced a trap composed of 308 places in 894 ms of which 7 ms to minimize.
[2024-05-21 06:23:09] [INFO ] Deduced a trap composed of 332 places in 917 ms of which 8 ms to minimize.
[2024-05-21 06:23:09] [INFO ] Deduced a trap composed of 307 places in 822 ms of which 8 ms to minimize.
[2024-05-21 06:23:10] [INFO ] Deduced a trap composed of 330 places in 918 ms of which 8 ms to minimize.
[2024-05-21 06:23:11] [INFO ] Deduced a trap composed of 307 places in 878 ms of which 7 ms to minimize.
[2024-05-21 06:23:12] [INFO ] Deduced a trap composed of 285 places in 912 ms of which 8 ms to minimize.
[2024-05-21 06:23:13] [INFO ] Deduced a trap composed of 328 places in 950 ms of which 7 ms to minimize.
[2024-05-21 06:23:14] [INFO ] Deduced a trap composed of 307 places in 893 ms of which 8 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/505 variables, 20/93 constraints. Problems are: Problem set: 0 solved, 544 unsolved
[2024-05-21 06:23:30] [INFO ] Deduced a trap composed of 306 places in 947 ms of which 8 ms to minimize.
[2024-05-21 06:23:31] [INFO ] Deduced a trap composed of 256 places in 877 ms of which 8 ms to minimize.
[2024-05-21 06:23:32] [INFO ] Deduced a trap composed of 305 places in 985 ms of which 8 ms to minimize.
[2024-05-21 06:23:33] [INFO ] Deduced a trap composed of 327 places in 961 ms of which 7 ms to minimize.
[2024-05-21 06:23:34] [INFO ] Deduced a trap composed of 260 places in 883 ms of which 8 ms to minimize.
[2024-05-21 06:23:35] [INFO ] Deduced a trap composed of 303 places in 925 ms of which 7 ms to minimize.
[2024-05-21 06:23:36] [INFO ] Deduced a trap composed of 257 places in 941 ms of which 8 ms to minimize.
[2024-05-21 06:23:37] [INFO ] Deduced a trap composed of 280 places in 944 ms of which 8 ms to minimize.
[2024-05-21 06:23:38] [INFO ] Deduced a trap composed of 284 places in 955 ms of which 7 ms to minimize.
[2024-05-21 06:23:39] [INFO ] Deduced a trap composed of 308 places in 952 ms of which 8 ms to minimize.
[2024-05-21 06:23:40] [INFO ] Deduced a trap composed of 257 places in 938 ms of which 7 ms to minimize.
[2024-05-21 06:23:41] [INFO ] Deduced a trap composed of 257 places in 926 ms of which 8 ms to minimize.
[2024-05-21 06:23:42] [INFO ] Deduced a trap composed of 265 places in 930 ms of which 8 ms to minimize.
[2024-05-21 06:23:43] [INFO ] Deduced a trap composed of 261 places in 965 ms of which 8 ms to minimize.
[2024-05-21 06:23:44] [INFO ] Deduced a trap composed of 282 places in 971 ms of which 8 ms to minimize.
[2024-05-21 06:23:45] [INFO ] Deduced a trap composed of 271 places in 925 ms of which 8 ms to minimize.
[2024-05-21 06:23:46] [INFO ] Deduced a trap composed of 280 places in 915 ms of which 8 ms to minimize.
[2024-05-21 06:23:47] [INFO ] Deduced a trap composed of 261 places in 941 ms of which 8 ms to minimize.
[2024-05-21 06:23:48] [INFO ] Deduced a trap composed of 234 places in 961 ms of which 7 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/505 variables, 19/112 constraints. Problems are: Problem set: 0 solved, 544 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/505 variables, 0/112 constraints. Problems are: Problem set: 0 solved, 544 unsolved
At refinement iteration 7 (OVERLAPS) 16/521 variables, 13/125 constraints. Problems are: Problem set: 0 solved, 544 unsolved
SMT process timed out in 272781ms, After SMT, problems are : Problem set: 0 solved, 544 unsolved
Fused 544 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 202 out of 521 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 521/521 places, 3763/3763 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 520 transition count 3762
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 520 transition count 3762
Applied a total of 2 rules in 83 ms. Remains 520 /521 variables (removed 1) and now considering 3762/3763 (removed 1) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 84 ms. Remains : 520/521 places, 3762/3763 transitions.
RANDOM walk for 2578284 steps (4 resets) in 120004 ms. (21 steps per ms) remains 538/544 properties
BEST_FIRST walk for 4003 steps (8 resets) in 70 ms. (56 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 79 ms. (50 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4001 steps (8 resets) in 83 ms. (47 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4002 steps (8 resets) in 101 ms. (39 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4002 steps (8 resets) in 181 ms. (21 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4000 steps (8 resets) in 143 ms. (27 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 110 ms. (36 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 105 ms. (37 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4002 steps (8 resets) in 122 ms. (32 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4001 steps (8 resets) in 113 ms. (35 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4003 steps (8 resets) in 140 ms. (28 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4001 steps (8 resets) in 145 ms. (27 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4003 steps (8 resets) in 138 ms. (28 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4003 steps (8 resets) in 120 ms. (33 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4003 steps (8 resets) in 136 ms. (29 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4003 steps (8 resets) in 145 ms. (27 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4002 steps (8 resets) in 166 ms. (23 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4003 steps (8 resets) in 169 ms. (23 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4003 steps (8 resets) in 154 ms. (25 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4002 steps (8 resets) in 166 ms. (23 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4003 steps (8 resets) in 138 ms. (28 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 161 ms. (24 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4002 steps (8 resets) in 160 ms. (24 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4002 steps (8 resets) in 166 ms. (23 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 164 ms. (24 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4002 steps (8 resets) in 158 ms. (25 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 161 ms. (24 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4002 steps (8 resets) in 147 ms. (27 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4002 steps (8 resets) in 153 ms. (25 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4002 steps (8 resets) in 147 ms. (27 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4002 steps (8 resets) in 155 ms. (25 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4003 steps (8 resets) in 179 ms. (22 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4002 steps (8 resets) in 183 ms. (21 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4002 steps (8 resets) in 164 ms. (24 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4002 steps (8 resets) in 155 ms. (25 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4002 steps (8 resets) in 156 ms. (25 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4001 steps (8 resets) in 163 ms. (24 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4003 steps (8 resets) in 171 ms. (23 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4002 steps (8 resets) in 161 ms. (24 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4001 steps (8 resets) in 148 ms. (26 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4003 steps (8 resets) in 125 ms. (31 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4003 steps (8 resets) in 122 ms. (32 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4003 steps (8 resets) in 136 ms. (29 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4002 steps (8 resets) in 181 ms. (21 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4000 steps (8 resets) in 155 ms. (25 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4001 steps (8 resets) in 174 ms. (22 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4003 steps (8 resets) in 185 ms. (21 steps per ms) remains 538/538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 180 ms. (22 steps per ms) remains 538/538 properties
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination Liveness -timeout 180 -rebuildPNML
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Anderson-PT-12"
export BK_EXAMINATION="Liveness"
export BK_TOOL="greatspnxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool greatspnxred"
echo " Input is Anderson-PT-12, examination is Liveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r012-smll-171620124200239"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Anderson-PT-12.tgz
mv Anderson-PT-12 execution
cd execution
if [ "Liveness" = "ReachabilityDeadlock" ] || [ "Liveness" = "UpperBounds" ] || [ "Liveness" = "QuasiLiveness" ] || [ "Liveness" = "StableMarking" ] || [ "Liveness" = "Liveness" ] || [ "Liveness" = "OneSafe" ] || [ "Liveness" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "Liveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "Liveness" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "Liveness.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property Liveness.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "Liveness.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "Liveness" = "ReachabilityDeadlock" ] || [ "Liveness" = "QuasiLiveness" ] || [ "Liveness" = "StableMarking" ] || [ "Liveness" = "Liveness" ] || [ "Liveness" = "OneSafe" ] ; then
echo "FORMULA_NAME Liveness"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;