About the Execution of LTSMin+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 |
| 10333.844 | 1800000.00 | 3084584.00 | 4277.50 | [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.r466-smll-171620124700239.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 ltsminxred
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 r466-smll-171620124700239
=====================================================================
--------------------
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 1717206653218
Invoking MCC driver with
BK_TOOL=ltsminxred
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 ltsmin
Invoking reducer
Running Version 202405141337
[2024-06-01 01:50:55] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, Liveness, -timeout, 180, -rebuildPNML]
[2024-06-01 01:50:55] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-06-01 01:50:55] [INFO ] Load time of PNML (sax parser for PT used): 522 ms
[2024-06-01 01:50:55] [INFO ] Transformed 889 places.
[2024-06-01 01:50:55] [INFO ] Transformed 4152 transitions.
[2024-06-01 01:50:55] [INFO ] Found NUPN structural information;
[2024-06-01 01:50:55] [INFO ] Parsed PT model containing 889 places and 4152 transitions and 16080 arcs in 715 ms.
Built sparse matrix representations for Structural reductions in 23 ms.43539KB 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 285 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 309 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 168 ms. Remains 889 /889 variables (removed 0) and now considering 4152/4152 (removed 0) transitions.
// Phase 1: matrix 4152 rows 889 cols
[2024-06-01 01:50:56] [INFO ] Computed 27 invariants in 146 ms
[2024-06-01 01:50:57] [INFO ] Implicit Places using invariants in 770 ms returned []
[2024-06-01 01:50:57] [INFO ] Invariant cache hit.
[2024-06-01 01:51:01] [INFO ] State equation strengthened by 132 read => feed constraints.
[2024-06-01 01:51:01] [INFO ] Implicit Places using invariants and state equation in 3704 ms returned []
Implicit Place search using SMT with State Equation took 4520 ms to find 0 implicit places.
[2024-06-01 01:51:01] [INFO ] Redundant transitions in 602 ms returned []
Running 4140 sub problems to find dead transitions.
[2024-06-01 01:51:02] [INFO ] Invariant cache hit.
[2024-06-01 01:51:02] [INFO ] State equation strengthened by 132 read => feed constraints.
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 57090ms, After SMT, problems are : Problem set: 0 solved, 4140 unsolved
Search for dead transitions found 0 dead transitions in 57183ms
Finished structural reductions in DEADLOCK mode , in 1 iterations and 62521 ms. Remains : 889/889 places, 4152/4152 transitions.
Random walk for 1250000 steps, including 0 resets, run took 7048 ms (no deadlock found). (steps per millisecond=177 )
Random directed walk for 1250000 steps, including 0 resets, run took 6645 ms (no deadlock found). (steps per millisecond=188 )
[2024-06-01 01:52:12] [INFO ] Invariant cache hit.
[2024-06-01 01:52:14] [INFO ] [Real]Absence check using 13 positive place invariants in 103 ms returned sat
[2024-06-01 01:52:16] [INFO ] [Real]Absence check using 13 positive and 14 generalized place invariants in 1936 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 2 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 105 ms. Remains 757 /889 variables (removed 132) and now considering 4020/4152 (removed 132) transitions.
// Phase 1: matrix 4020 rows 757 cols
[2024-06-01 01:52:16] [INFO ] Computed 27 invariants in 70 ms
[2024-06-01 01:52:19] [INFO ] Implicit Places using invariants in 3724 ms returned [0]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 3735 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 42 ms. Remains 612 /756 variables (removed 144) and now considering 3876/4020 (removed 144) transitions.
// Phase 1: matrix 3876 rows 612 cols
[2024-06-01 01:52:19] [INFO ] Computed 26 invariants in 52 ms
[2024-06-01 01:52:23] [INFO ] Implicit Places using invariants in 3481 ms returned []
[2024-06-01 01:52:23] [INFO ] Invariant cache hit.
[2024-06-01 01:52:25] [INFO ] State equation strengthened by 252 read => feed constraints.
[2024-06-01 01:52:37] [INFO ] Implicit Places using invariants and state equation in 14011 ms returned []
Implicit Place search using SMT with State Equation took 17500 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 21385 ms. Remains : 612/889 places, 3876/4152 transitions.
Initial state reduction rules removed 12 formulas.
RANDOM walk for 40000 steps (8 resets) in 15944 ms. (2 steps per ms) remains 2485/3864 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 16 ms. (7 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 2485/2485 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 2485/2485 properties
[2024-06-01 01:52:41] [INFO ] Invariant cache hit.
[2024-06-01 01:52:41] [INFO ] State equation strengthened by 252 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/284 variables, 284/284 constraints. Problems are: Problem set: 0 solved, 2485 unsolved
SMT process timed out in 19392ms, After SMT, problems are : Problem set: 0 solved, 2485 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 284 out of 612 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 612/612 places, 3876/3876 transitions.
Discarding 37 places :
Symmetric choice reduction at 0 with 37 rule applications. Total rules 37 place count 575 transition count 3839
Iterating global reduction 0 with 37 rules applied. Total rules applied 74 place count 575 transition count 3839
Applied a total of 74 rules in 294 ms. Remains 575 /612 variables (removed 37) and now considering 3839/3876 (removed 37) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 301 ms. Remains : 575/612 places, 3839/3876 transitions.
RANDOM walk for 841522 steps (0 resets) in 120004 ms. (7 steps per ms) remains 1779/2485 properties
BEST_FIRST walk for 4003 steps (8 resets) in 164 ms. (24 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 4004 steps (8 resets) in 133 ms. (29 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 4002 steps (8 resets) in 133 ms. (29 steps per ms) remains 1776/1779 properties
BEST_FIRST walk for 4003 steps (8 resets) in 120 ms. (33 steps per ms) remains 1774/1776 properties
BEST_FIRST walk for 4004 steps (8 resets) in 147 ms. (27 steps per ms) remains 1770/1774 properties
BEST_FIRST walk for 4003 steps (8 resets) in 121 ms. (32 steps per ms) remains 1770/1770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 123 ms. (32 steps per ms) remains 1764/1770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 136 ms. (29 steps per ms) remains 1764/1764 properties
BEST_FIRST walk for 4003 steps (8 resets) in 51 ms. (76 steps per ms) remains 1613/1764 properties
BEST_FIRST walk for 4003 steps (8 resets) in 151 ms. (26 steps per ms) remains 1612/1613 properties
BEST_FIRST walk for 4003 steps (8 resets) in 121 ms. (32 steps per ms) remains 1611/1612 properties
BEST_FIRST walk for 4003 steps (8 resets) in 125 ms. (31 steps per ms) remains 1610/1611 properties
BEST_FIRST walk for 4004 steps (8 resets) in 173 ms. (23 steps per ms) remains 1609/1610 properties
BEST_FIRST walk for 4003 steps (8 resets) in 165 ms. (24 steps per ms) remains 1609/1609 properties
BEST_FIRST walk for 4003 steps (8 resets) in 274 ms. (14 steps per ms) remains 1606/1609 properties
BEST_FIRST walk for 4001 steps (8 resets) in 263 ms. (15 steps per ms) remains 1606/1606 properties
BEST_FIRST walk for 4002 steps (8 resets) in 232 ms. (17 steps per ms) remains 1606/1606 properties
BEST_FIRST walk for 4002 steps (8 resets) in 229 ms. (17 steps per ms) remains 1606/1606 properties
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 1606/1606 properties
BEST_FIRST walk for 4003 steps (8 resets) in 280 ms. (14 steps per ms) remains 1606/1606 properties
BEST_FIRST walk for 4002 steps (8 resets) in 226 ms. (17 steps per ms) remains 1606/1606 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 1606/1606 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 1606/1606 properties
BEST_FIRST walk for 4001 steps (8 resets) in 175 ms. (22 steps per ms) remains 1604/1606 properties
BEST_FIRST walk for 4001 steps (8 resets) in 197 ms. (20 steps per ms) remains 1604/1604 properties
BEST_FIRST walk for 4003 steps (8 resets) in 188 ms. (21 steps per ms) remains 1604/1604 properties
BEST_FIRST walk for 4002 steps (8 resets) in 195 ms. (20 steps per ms) remains 1604/1604 properties
BEST_FIRST walk for 4004 steps (8 resets) in 84 ms. (47 steps per ms) remains 1524/1604 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 1416/1524 properties
BEST_FIRST walk for 4003 steps (8 resets) in 168 ms. (23 steps per ms) remains 1414/1416 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 1414/1414 properties
BEST_FIRST walk for 4003 steps (8 resets) in 157 ms. (25 steps per ms) remains 1413/1414 properties
BEST_FIRST walk for 4002 steps (8 resets) in 159 ms. (25 steps per ms) remains 1412/1413 properties
BEST_FIRST walk for 4002 steps (8 resets) in 157 ms. (25 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 1410/1412 properties
BEST_FIRST walk for 4003 steps (8 resets) in 70 ms. (56 steps per ms) remains 1365/1410 properties
BEST_FIRST walk for 4003 steps (8 resets) in 146 ms. (27 steps per ms) remains 1341/1365 properties
BEST_FIRST walk for 4003 steps (8 resets) in 145 ms. (27 steps per ms) remains 1341/1341 properties
BEST_FIRST walk for 4002 steps (8 resets) in 150 ms. (26 steps per ms) remains 1341/1341 properties
BEST_FIRST walk for 4002 steps (8 resets) in 150 ms. (26 steps per ms) remains 1341/1341 properties
BEST_FIRST walk for 4002 steps (8 resets) in 151 ms. (26 steps per ms) remains 1341/1341 properties
BEST_FIRST walk for 4003 steps (8 resets) in 145 ms. (27 steps per ms) remains 1341/1341 properties
BEST_FIRST walk for 4003 steps (8 resets) in 134 ms. (29 steps per ms) remains 1276/1341 properties
BEST_FIRST walk for 4003 steps (8 resets) in 127 ms. (31 steps per ms) remains 1208/1276 properties
BEST_FIRST walk for 4001 steps (8 resets) in 129 ms. (30 steps per ms) remains 1208/1208 properties
BEST_FIRST walk for 4004 steps (8 resets) in 129 ms. (30 steps per ms) remains 1208/1208 properties
BEST_FIRST walk for 4001 steps (8 resets) in 133 ms. (29 steps per ms) remains 1208/1208 properties
BEST_FIRST walk for 4003 steps (8 resets) in 133 ms. (29 steps per ms) remains 1208/1208 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 1111/1208 properties
BEST_FIRST walk for 4002 steps (8 resets) in 128 ms. (31 steps per ms) remains 1104/1111 properties
BEST_FIRST walk for 4004 steps (8 resets) in 128 ms. (31 steps per ms) remains 1104/1104 properties
BEST_FIRST walk for 4003 steps (8 resets) in 121 ms. (32 steps per ms) remains 1104/1104 properties
BEST_FIRST walk for 4003 steps (8 resets) in 129 ms. (30 steps per ms) remains 1104/1104 properties
BEST_FIRST walk for 4003 steps (8 resets) in 126 ms. (31 steps per ms) remains 1104/1104 properties
BEST_FIRST walk for 4002 steps (8 resets) in 117 ms. (33 steps per ms) remains 1104/1104 properties
BEST_FIRST walk for 4003 steps (8 resets) in 123 ms. (32 steps per ms) remains 1104/1104 properties
BEST_FIRST walk for 4003 steps (8 resets) in 127 ms. (31 steps per ms) remains 1104/1104 properties
BEST_FIRST walk for 4003 steps (8 resets) in 88 ms. (44 steps per ms) remains 1037/1104 properties
BEST_FIRST walk for 4003 steps (8 resets) in 112 ms. (35 steps per ms) remains 1037/1037 properties
BEST_FIRST walk for 4003 steps (8 resets) in 112 ms. (35 steps per ms) remains 1037/1037 properties
BEST_FIRST walk for 4002 steps (8 resets) in 108 ms. (36 steps per ms) remains 1037/1037 properties
BEST_FIRST walk for 4003 steps (8 resets) in 108 ms. (36 steps per ms) remains 1037/1037 properties
BEST_FIRST walk for 4003 steps (8 resets) in 115 ms. (34 steps per ms) remains 1036/1037 properties
BEST_FIRST walk for 4003 steps (8 resets) in 110 ms. (36 steps per ms) remains 1035/1036 properties
BEST_FIRST walk for 4001 steps (8 resets) in 109 ms. (36 steps per ms) remains 1035/1035 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 1020/1035 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 1011/1020 properties
BEST_FIRST walk for 4003 steps (8 resets) in 45 ms. (87 steps per ms) remains 990/1011 properties
BEST_FIRST walk for 4003 steps (8 resets) in 85 ms. (46 steps per ms) remains 940/990 properties
BEST_FIRST walk for 4002 steps (8 resets) in 99 ms. (40 steps per ms) remains 940/940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 98 ms. (40 steps per ms) remains 940/940 properties
BEST_FIRST walk for 4002 steps (8 resets) in 100 ms. (39 steps per ms) remains 928/940 properties
BEST_FIRST walk for 4002 steps (8 resets) in 99 ms. (40 steps per ms) remains 928/928 properties
BEST_FIRST walk for 4004 steps (8 resets) in 103 ms. (38 steps per ms) remains 928/928 properties
BEST_FIRST walk for 4003 steps (8 resets) in 100 ms. (39 steps per ms) remains 928/928 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 919/928 properties
BEST_FIRST walk for 4004 steps (8 resets) in 100 ms. (39 steps per ms) remains 918/919 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 884/918 properties
BEST_FIRST walk for 4003 steps (8 resets) in 96 ms. (41 steps per ms) remains 884/884 properties
BEST_FIRST walk for 4000 steps (8 resets) in 94 ms. (42 steps per ms) remains 884/884 properties
BEST_FIRST walk for 4003 steps (8 resets) in 93 ms. (42 steps per ms) remains 884/884 properties
BEST_FIRST walk for 4001 steps (8 resets) in 92 ms. (43 steps per ms) remains 884/884 properties
BEST_FIRST walk for 4002 steps (8 resets) in 93 ms. (42 steps per ms) remains 884/884 properties
BEST_FIRST walk for 4001 steps (8 resets) in 95 ms. (41 steps per ms) remains 884/884 properties
BEST_FIRST walk for 4003 steps (8 resets) in 69 ms. (57 steps per ms) remains 884/884 properties
BEST_FIRST walk for 4004 steps (8 resets) in 70 ms. (56 steps per ms) remains 884/884 properties
BEST_FIRST walk for 4003 steps (8 resets) in 67 ms. (58 steps per ms) remains 884/884 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 884/884 properties
BEST_FIRST walk for 4003 steps (8 resets) in 71 ms. (55 steps per ms) remains 884/884 properties
BEST_FIRST walk for 4002 steps (8 resets) in 89 ms. (44 steps per ms) remains 884/884 properties
BEST_FIRST walk for 4002 steps (8 resets) in 116 ms. (34 steps per ms) remains 884/884 properties
BEST_FIRST walk for 4004 steps (8 resets) in 96 ms. (41 steps per ms) remains 884/884 properties
BEST_FIRST walk for 4001 steps (8 resets) in 94 ms. (42 steps per ms) remains 883/884 properties
BEST_FIRST walk for 4003 steps (8 resets) in 97 ms. (40 steps per ms) remains 883/883 properties
BEST_FIRST walk for 4002 steps (8 resets) in 89 ms. (44 steps per ms) remains 883/883 properties
BEST_FIRST walk for 4002 steps (8 resets) in 93 ms. (42 steps per ms) remains 883/883 properties
BEST_FIRST walk for 4004 steps (8 resets) in 93 ms. (42 steps per ms) remains 882/883 properties
BEST_FIRST walk for 4002 steps (8 resets) in 96 ms. (41 steps per ms) remains 882/882 properties
BEST_FIRST walk for 4002 steps (8 resets) in 88 ms. (44 steps per ms) remains 882/882 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 857/882 properties
BEST_FIRST walk for 4003 steps (8 resets) in 40 ms. (97 steps per ms) remains 797/857 properties
BEST_FIRST walk for 4001 steps (8 resets) in 101 ms. (39 steps per ms) remains 796/797 properties
BEST_FIRST walk for 4003 steps (8 resets) in 84 ms. (47 steps per ms) remains 796/796 properties
BEST_FIRST walk for 4002 steps (8 resets) in 88 ms. (44 steps per ms) remains 795/796 properties
BEST_FIRST walk for 4003 steps (8 resets) in 80 ms. (49 steps per ms) remains 795/795 properties
BEST_FIRST walk for 4004 steps (8 resets) in 82 ms. (48 steps per ms) remains 795/795 properties
BEST_FIRST walk for 4003 steps (8 resets) in 81 ms. (48 steps per ms) remains 795/795 properties
BEST_FIRST walk for 4004 steps (8 resets) in 81 ms. (48 steps per ms) remains 795/795 properties
BEST_FIRST walk for 4001 steps (8 resets) in 90 ms. (43 steps per ms) remains 795/795 properties
BEST_FIRST walk for 4002 steps (8 resets) in 82 ms. (48 steps per ms) remains 795/795 properties
BEST_FIRST walk for 4002 steps (8 resets) in 79 ms. (50 steps per ms) remains 795/795 properties
BEST_FIRST walk for 4003 steps (8 resets) in 84 ms. (47 steps per ms) remains 795/795 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 794/795 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 789/794 properties
BEST_FIRST walk for 4003 steps (8 resets) in 37 ms. (105 steps per ms) remains 785/789 properties
BEST_FIRST walk for 4002 steps (8 resets) in 81 ms. (48 steps per ms) remains 783/785 properties
BEST_FIRST walk for 4002 steps (8 resets) in 81 ms. (48 steps per ms) remains 783/783 properties
BEST_FIRST walk for 4003 steps (8 resets) in 77 ms. (51 steps per ms) remains 783/783 properties
BEST_FIRST walk for 4002 steps (8 resets) in 77 ms. (51 steps per ms) remains 783/783 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 776/783 properties
BEST_FIRST walk for 4003 steps (8 resets) in 37 ms. (105 steps per ms) remains 772/776 properties
BEST_FIRST walk for 4002 steps (8 resets) in 84 ms. (47 steps per ms) remains 758/772 properties
BEST_FIRST walk for 4002 steps (8 resets) in 81 ms. (48 steps per ms) remains 756/758 properties
BEST_FIRST walk for 4003 steps (8 resets) in 81 ms. (48 steps per ms) remains 756/756 properties
BEST_FIRST walk for 4003 steps (8 resets) in 76 ms. (51 steps per ms) remains 754/756 properties
BEST_FIRST walk for 4002 steps (8 resets) in 78 ms. (50 steps per ms) remains 754/754 properties
BEST_FIRST walk for 4002 steps (8 resets) in 77 ms. (51 steps per ms) remains 754/754 properties
BEST_FIRST walk for 4002 steps (8 resets) in 73 ms. (54 steps per ms) remains 754/754 properties
BEST_FIRST walk for 4002 steps (8 resets) in 74 ms. (53 steps per ms) remains 754/754 properties
BEST_FIRST walk for 4003 steps (8 resets) in 55 ms. (71 steps per ms) remains 754/754 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 754/754 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 754/754 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 754/754 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 754/754 properties
BEST_FIRST walk for 4002 steps (8 resets) in 77 ms. (51 steps per ms) remains 754/754 properties
BEST_FIRST walk for 4002 steps (8 resets) in 75 ms. (52 steps per ms) remains 754/754 properties
BEST_FIRST walk for 4002 steps (8 resets) in 80 ms. (49 steps per ms) remains 754/754 properties
BEST_FIRST walk for 4004 steps (8 resets) in 71 ms. (55 steps per ms) remains 754/754 properties
BEST_FIRST walk for 4003 steps (8 resets) in 71 ms. (55 steps per ms) remains 754/754 properties
BEST_FIRST walk for 4001 steps (8 resets) in 77 ms. (51 steps per ms) remains 754/754 properties
BEST_FIRST walk for 4004 steps (8 resets) in 79 ms. (50 steps per ms) remains 754/754 properties
BEST_FIRST walk for 4002 steps (8 resets) in 95 ms. (41 steps per ms) remains 754/754 properties
BEST_FIRST walk for 4003 steps (8 resets) in 73 ms. (54 steps per ms) remains 754/754 properties
BEST_FIRST walk for 4001 steps (8 resets) in 80 ms. (49 steps per ms) remains 754/754 properties
BEST_FIRST walk for 4001 steps (8 resets) in 76 ms. (51 steps per ms) remains 754/754 properties
BEST_FIRST walk for 4002 steps (8 resets) in 73 ms. (54 steps per ms) remains 754/754 properties
BEST_FIRST walk for 4002 steps (8 resets) in 75 ms. (52 steps per ms) remains 754/754 properties
BEST_FIRST walk for 4003 steps (8 resets) in 74 ms. (53 steps per ms) remains 754/754 properties
BEST_FIRST walk for 4004 steps (8 resets) in 74 ms. (53 steps per ms) remains 754/754 properties
BEST_FIRST walk for 4002 steps (8 resets) in 74 ms. (53 steps per ms) remains 754/754 properties
BEST_FIRST walk for 4003 steps (8 resets) in 73 ms. (54 steps per ms) remains 754/754 properties
BEST_FIRST walk for 4003 steps (8 resets) in 74 ms. (53 steps per ms) remains 754/754 properties
BEST_FIRST walk for 4002 steps (8 resets) in 67 ms. (58 steps per ms) remains 754/754 properties
BEST_FIRST walk for 4003 steps (8 resets) in 71 ms. (55 steps per ms) remains 754/754 properties
BEST_FIRST walk for 4003 steps (8 resets) in 71 ms. (55 steps per ms) remains 754/754 properties
BEST_FIRST walk for 4002 steps (8 resets) in 74 ms. (53 steps per ms) remains 754/754 properties
BEST_FIRST walk for 4002 steps (8 resets) in 34 ms. (114 steps per ms) remains 744/754 properties
BEST_FIRST walk for 4003 steps (8 resets) in 69 ms. (57 steps per ms) remains 744/744 properties
BEST_FIRST walk for 4002 steps (8 resets) in 68 ms. (58 steps per ms) remains 744/744 properties
BEST_FIRST walk for 4003 steps (8 resets) in 72 ms. (54 steps per ms) remains 744/744 properties
BEST_FIRST walk for 4002 steps (8 resets) in 70 ms. (56 steps per ms) remains 738/744 properties
BEST_FIRST walk for 4002 steps (8 resets) in 71 ms. (55 steps per ms) remains 738/738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 70 ms. (56 steps per ms) remains 738/738 properties
BEST_FIRST walk for 4002 steps (8 resets) in 68 ms. (58 steps per ms) remains 738/738 properties
BEST_FIRST walk for 4003 steps (8 resets) in 69 ms. (57 steps per ms) remains 738/738 properties
BEST_FIRST walk for 4003 steps (8 resets) in 71 ms. (55 steps per ms) remains 738/738 properties
BEST_FIRST walk for 4003 steps (8 resets) in 72 ms. (54 steps per ms) remains 738/738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 738/738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 70 ms. (56 steps per ms) remains 737/738 properties
BEST_FIRST walk for 4003 steps (8 resets) in 69 ms. (57 steps per ms) remains 737/737 properties
BEST_FIRST walk for 4003 steps (8 resets) in 70 ms. (56 steps per ms) remains 737/737 properties
BEST_FIRST walk for 4004 steps (8 resets) in 70 ms. (56 steps per ms) remains 737/737 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 736/737 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 735/736 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 734/735 properties
BEST_FIRST walk for 4004 steps (8 resets) in 29 ms. (133 steps per ms) remains 728/734 properties
BEST_FIRST walk for 4003 steps (8 resets) in 69 ms. (57 steps per ms) remains 724/728 properties
BEST_FIRST walk for 4000 steps (8 resets) in 70 ms. (56 steps per ms) remains 724/724 properties
BEST_FIRST walk for 4002 steps (8 resets) in 68 ms. (58 steps per ms) remains 724/724 properties
BEST_FIRST walk for 4003 steps (8 resets) in 69 ms. (57 steps per ms) remains 724/724 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 724/724 properties
BEST_FIRST walk for 4001 steps (8 resets) in 67 ms. (58 steps per ms) remains 724/724 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 724/724 properties
BEST_FIRST walk for 4003 steps (8 resets) in 51 ms. (76 steps per ms) remains 724/724 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 724/724 properties
BEST_FIRST walk for 4002 steps (8 resets) in 51 ms. (76 steps per ms) remains 724/724 properties
BEST_FIRST walk for 4003 steps (8 resets) in 65 ms. (60 steps per ms) remains 711/724 properties
BEST_FIRST walk for 4003 steps (8 resets) in 68 ms. (58 steps per ms) remains 711/711 properties
BEST_FIRST walk for 4002 steps (8 resets) in 66 ms. (59 steps per ms) remains 711/711 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 711/711 properties
BEST_FIRST walk for 4002 steps (8 resets) in 67 ms. (58 steps per ms) remains 711/711 properties
BEST_FIRST walk for 4003 steps (8 resets) in 69 ms. (57 steps per ms) remains 711/711 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 711/711 properties
BEST_FIRST walk for 4003 steps (8 resets) in 69 ms. (57 steps per ms) remains 711/711 properties
BEST_FIRST walk for 4003 steps (8 resets) in 67 ms. (58 steps per ms) remains 711/711 properties
BEST_FIRST walk for 4000 steps (8 resets) in 68 ms. (57 steps per ms) remains 711/711 properties
BEST_FIRST walk for 4002 steps (8 resets) in 66 ms. (59 steps per ms) remains 711/711 properties
BEST_FIRST walk for 4000 steps (8 resets) in 69 ms. (57 steps per ms) remains 711/711 properties
BEST_FIRST walk for 4002 steps (8 resets) in 66 ms. (59 steps per ms) remains 711/711 properties
BEST_FIRST walk for 4002 steps (8 resets) in 69 ms. (57 steps per ms) remains 711/711 properties
BEST_FIRST walk for 4001 steps (8 resets) in 69 ms. (57 steps per ms) remains 711/711 properties
BEST_FIRST walk for 4002 steps (8 resets) in 69 ms. (57 steps per ms) remains 711/711 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 711/711 properties
BEST_FIRST walk for 4003 steps (8 resets) in 30 ms. (129 steps per ms) remains 709/711 properties
BEST_FIRST walk for 4003 steps (8 resets) in 68 ms. (58 steps per ms) remains 709/709 properties
BEST_FIRST walk for 4003 steps (8 resets) in 66 ms. (59 steps per ms) remains 709/709 properties
BEST_FIRST walk for 4003 steps (8 resets) in 65 ms. (60 steps per ms) remains 709/709 properties
BEST_FIRST walk for 4003 steps (8 resets) in 66 ms. (59 steps per ms) remains 709/709 properties
BEST_FIRST walk for 4002 steps (8 resets) in 69 ms. (57 steps per ms) remains 709/709 properties
BEST_FIRST walk for 4003 steps (8 resets) in 69 ms. (57 steps per ms) remains 709/709 properties
BEST_FIRST walk for 4001 steps (8 resets) in 68 ms. (57 steps per ms) remains 709/709 properties
BEST_FIRST walk for 4003 steps (8 resets) in 67 ms. (58 steps per ms) remains 709/709 properties
BEST_FIRST walk for 4002 steps (8 resets) in 66 ms. (59 steps per ms) remains 708/709 properties
BEST_FIRST walk for 4002 steps (8 resets) in 67 ms. (58 steps per ms) remains 708/708 properties
BEST_FIRST walk for 4003 steps (8 resets) in 68 ms. (58 steps per ms) remains 708/708 properties
BEST_FIRST walk for 4002 steps (8 resets) in 69 ms. (57 steps per ms) remains 708/708 properties
BEST_FIRST walk for 4003 steps (8 resets) in 67 ms. (58 steps per ms) remains 708/708 properties
BEST_FIRST walk for 4001 steps (8 resets) in 64 ms. (61 steps per ms) remains 707/708 properties
BEST_FIRST walk for 4003 steps (8 resets) in 70 ms. (56 steps per ms) remains 707/707 properties
BEST_FIRST walk for 4002 steps (8 resets) in 31 ms. (125 steps per ms) remains 705/707 properties
BEST_FIRST walk for 4003 steps (8 resets) in 29 ms. (133 steps per ms) remains 703/705 properties
BEST_FIRST walk for 4003 steps (8 resets) in 66 ms. (59 steps per ms) remains 691/703 properties
BEST_FIRST walk for 4001 steps (8 resets) in 68 ms. (57 steps per ms) remains 689/691 properties
BEST_FIRST walk for 4002 steps (8 resets) in 64 ms. (61 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4002 steps (8 resets) in 67 ms. (58 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4002 steps (8 resets) in 71 ms. (55 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4003 steps (8 resets) in 64 ms. (61 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4001 steps (8 resets) in 67 ms. (58 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4002 steps (8 resets) in 47 ms. (83 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4003 steps (8 resets) in 48 ms. (81 steps per ms) remains 688/689 properties
BEST_FIRST walk for 4003 steps (8 resets) in 51 ms. (76 steps per ms) remains 688/688 properties
BEST_FIRST walk for 4001 steps (8 resets) in 49 ms. (80 steps per ms) remains 688/688 properties
BEST_FIRST walk for 4002 steps (8 resets) in 69 ms. (57 steps per ms) remains 688/688 properties
BEST_FIRST walk for 4001 steps (8 resets) in 67 ms. (58 steps per ms) remains 688/688 properties
BEST_FIRST walk for 4003 steps (8 resets) in 65 ms. (60 steps per ms) remains 688/688 properties
BEST_FIRST walk for 4003 steps (8 resets) in 65 ms. (60 steps per ms) remains 688/688 properties
BEST_FIRST walk for 4003 steps (8 resets) in 70 ms. (56 steps per ms) remains 688/688 properties
BEST_FIRST walk for 4003 steps (8 resets) in 81 ms. (48 steps per ms) remains 688/688 properties
BEST_FIRST walk for 4003 steps (8 resets) in 59 ms. (66 steps per ms) remains 688/688 properties
BEST_FIRST walk for 4001 steps (8 resets) in 64 ms. (61 steps per ms) remains 688/688 properties
BEST_FIRST walk for 4000 steps (8 resets) in 69 ms. (57 steps per ms) remains 688/688 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 687/688 properties
BEST_FIRST walk for 4002 steps (8 resets) in 65 ms. (60 steps per ms) remains 687/687 properties
BEST_FIRST walk for 4003 steps (8 resets) in 65 ms. (60 steps per ms) remains 687/687 properties
BEST_FIRST walk for 4003 steps (8 resets) in 66 ms. (59 steps per ms) remains 687/687 properties
BEST_FIRST walk for 4002 steps (8 resets) in 68 ms. (58 steps per ms) remains 687/687 properties
BEST_FIRST walk for 4003 steps (8 resets) in 67 ms. (58 steps per ms) remains 687/687 properties
BEST_FIRST walk for 4003 steps (8 resets) in 66 ms. (59 steps per ms) remains 687/687 properties
BEST_FIRST walk for 4003 steps (8 resets) in 65 ms. (60 steps per ms) remains 687/687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 687/687 properties
BEST_FIRST walk for 4002 steps (8 resets) in 62 ms. (63 steps per ms) remains 687/687 properties
BEST_FIRST walk for 4003 steps (8 resets) in 66 ms. (59 steps per ms) remains 687/687 properties
BEST_FIRST walk for 4002 steps (8 resets) in 67 ms. (58 steps per ms) remains 687/687 properties
BEST_FIRST walk for 4001 steps (8 resets) in 68 ms. (57 steps per ms) remains 687/687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 682/687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 682/682 properties
BEST_FIRST walk for 4002 steps (8 resets) in 67 ms. (58 steps per ms) remains 682/682 properties
BEST_FIRST walk for 4002 steps (8 resets) in 64 ms. (61 steps per ms) remains 682/682 properties
BEST_FIRST walk for 4003 steps (8 resets) in 66 ms. (59 steps per ms) remains 682/682 properties
BEST_FIRST walk for 4003 steps (8 resets) in 66 ms. (59 steps per ms) remains 682/682 properties
BEST_FIRST walk for 4003 steps (8 resets) in 64 ms. (61 steps per ms) remains 682/682 properties
BEST_FIRST walk for 4002 steps (8 resets) in 69 ms. (57 steps per ms) remains 682/682 properties
BEST_FIRST walk for 4003 steps (8 resets) in 67 ms. (58 steps per ms) remains 682/682 properties
BEST_FIRST walk for 4003 steps (8 resets) in 67 ms. (58 steps per ms) remains 682/682 properties
BEST_FIRST walk for 4003 steps (8 resets) in 68 ms. (58 steps per ms) remains 682/682 properties
BEST_FIRST walk for 4001 steps (8 resets) in 67 ms. (58 steps per ms) remains 682/682 properties
BEST_FIRST walk for 4001 steps (8 resets) in 70 ms. (56 steps per ms) remains 682/682 properties
BEST_FIRST walk for 4002 steps (8 resets) in 63 ms. (62 steps per ms) remains 682/682 properties
BEST_FIRST walk for 4002 steps (8 resets) in 64 ms. (61 steps per ms) remains 682/682 properties
BEST_FIRST walk for 4002 steps (8 resets) in 67 ms. (58 steps per ms) remains 682/682 properties
BEST_FIRST walk for 4003 steps (8 resets) in 32 ms. (121 steps per ms) remains 681/682 properties
BEST_FIRST walk for 4002 steps (8 resets) in 65 ms. (60 steps per ms) remains 681/681 properties
BEST_FIRST walk for 4002 steps (8 resets) in 66 ms. (59 steps per ms) remains 681/681 properties
BEST_FIRST walk for 4003 steps (8 resets) in 30 ms. (129 steps per ms) remains 679/681 properties
BEST_FIRST walk for 4003 steps (8 resets) in 28 ms. (138 steps per ms) remains 679/679 properties
BEST_FIRST walk for 4003 steps (8 resets) in 61 ms. (64 steps per ms) remains 677/679 properties
BEST_FIRST walk for 4003 steps (8 resets) in 63 ms. (62 steps per ms) remains 677/677 properties
BEST_FIRST walk for 4002 steps (8 resets) in 63 ms. (62 steps per ms) remains 675/677 properties
BEST_FIRST walk for 4001 steps (8 resets) in 65 ms. (60 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4002 steps (8 resets) in 66 ms. (59 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4003 steps (8 resets) in 67 ms. (58 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4003 steps (8 resets) in 47 ms. (83 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4003 steps (8 resets) in 48 ms. (81 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4003 steps (8 resets) in 48 ms. (81 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4002 steps (8 resets) in 62 ms. (63 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4003 steps (8 resets) in 70 ms. (56 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4003 steps (8 resets) in 66 ms. (59 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4002 steps (8 resets) in 66 ms. (59 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4004 steps (8 resets) in 64 ms. (61 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4002 steps (8 resets) in 69 ms. (57 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4001 steps (8 resets) in 66 ms. (59 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4002 steps (8 resets) in 63 ms. (62 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4002 steps (8 resets) in 63 ms. (62 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4002 steps (8 resets) in 62 ms. (63 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4002 steps (8 resets) in 62 ms. (63 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4001 steps (8 resets) in 68 ms. (57 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4002 steps (8 resets) in 67 ms. (58 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4001 steps (8 resets) in 65 ms. (60 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4002 steps (8 resets) in 64 ms. (61 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4000 steps (8 resets) in 65 ms. (60 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4003 steps (8 resets) in 62 ms. (63 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4001 steps (8 resets) in 66 ms. (59 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4002 steps (8 resets) in 66 ms. (59 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4002 steps (8 resets) in 68 ms. (58 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4002 steps (8 resets) in 65 ms. (60 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4002 steps (8 resets) in 65 ms. (60 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4001 steps (8 resets) in 66 ms. (59 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4001 steps (8 resets) in 64 ms. (61 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4003 steps (8 resets) in 65 ms. (60 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4003 steps (8 resets) in 63 ms. (62 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4003 steps (8 resets) in 66 ms. (59 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4002 steps (8 resets) in 62 ms. (63 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4002 steps (8 resets) in 68 ms. (58 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4003 steps (8 resets) in 68 ms. (58 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4001 steps (8 resets) in 63 ms. (62 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4003 steps (8 resets) in 64 ms. (61 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4002 steps (8 resets) in 66 ms. (59 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4003 steps (8 resets) in 68 ms. (58 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4002 steps (8 resets) in 63 ms. (62 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4001 steps (8 resets) in 65 ms. (60 steps per ms) remains 675/675 properties
BEST_FIRST walk for 4001 steps (8 resets) in 67 ms. (58 steps per ms) remains 675/675 properties
// Phase 1: matrix 3839 rows 575 cols
[2024-06-01 01:53:39] [INFO ] Computed 26 invariants in 23 ms
[2024-06-01 01:53:39] [INFO ] State equation strengthened by 227 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/231 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 675 unsolved
At refinement iteration 1 (OVERLAPS) 335/566 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 675 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/566 variables, 3/16 constraints. Problems are: Problem set: 0 solved, 675 unsolved
Error getting values : (error "ParserException while parsing response: ((s0 0.0)
(s1 0.0)
(s2 1.0)
(s3 0.0)
(s4 0.0)
(s5 0.0)
(s6 0.0)
(s7 0.0)
(s8 0.0)
(s9 0.0)
(s10 0.0)
(s11 0.0)
(s12 1.0)
(s16 1.0)
(s17 0.0)
(s18 1.0)
(s19 1.0)
(s26 1.0)
(s27 1.0)
(s28 0.0)
(s29 0.0)
(s30 1.0)
(s31 1.0)
(s32 1.0)
(s33 1.0)
(s34 1.0)
(s35 1.0)
(s36 0.0)
(s37 0.0)
(s38 0.0)
(s39 0.0)
(s40 0.0)
(s41 0.0)
(s42 0.0)
(s43 0.0)
(s44 0.0)
(s45 0.0)
(s46 0.0)
(s47 0.0)
(s48 0.0)
(s49 0.0)
(s50 0.0)
(s51 0.0)
(s52 0.0)
(s53 0.0)
(s54 0.0)
(s55 0.0)
(s56 0.0)
(s57 0.0)
(s58 0.0)
(s59 0.0)
(s60 0.0)
(s61 0.0)
(s62 0.0)
(s63 0.0)
(s64 0.0)
(s65 0.0)
(s66 0.0)
(s67 0.0)
(s68 0.0)
(s69 0.0)
(s70 0.0)
(s71 0.0)
(s72 0.0)
(s73 0.0)
(s74 0.0)
(s75 0.0)
(s76 0.0)
(s77 0.0)
(s78 0.0)
(s79 0.0)
(s80 0.0)
(s81 0.0)
(s82 0.0)
(s83 0.0)
(s84 0.0)
(s85 0.0)
(s86 0.0)
(s87 0.0)
(s88 0.0)
(s89 timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 3 (INCLUDED_ONLY) 0/566 variables, 0/16 constraints. Problems are: Problem set: 0 solved, 675 unsolved
SMT process timed out in 48257ms, After SMT, problems are : Problem set: 0 solved, 675 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 231 out of 575 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 575/575 places, 3839/3839 transitions.
Discarding 35 places :
Symmetric choice reduction at 0 with 35 rule applications. Total rules 35 place count 540 transition count 3804
Iterating global reduction 0 with 35 rules applied. Total rules applied 70 place count 540 transition count 3804
Applied a total of 70 rules in 200 ms. Remains 540 /575 variables (removed 35) and now considering 3804/3839 (removed 35) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 200 ms. Remains : 540/575 places, 3804/3839 transitions.
RANDOM walk for 2540186 steps (4 resets) in 120004 ms. (21 steps per ms) remains 657/675 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4003 steps (8 resets) in 44 ms. (88 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4002 steps (8 resets) in 61 ms. (64 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4002 steps (8 resets) in 55 ms. (71 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4002 steps (8 resets) in 58 ms. (67 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4003 steps (8 resets) in 59 ms. (66 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4002 steps (8 resets) in 60 ms. (65 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4001 steps (8 resets) in 61 ms. (64 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4003 steps (8 resets) in 58 ms. (67 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4002 steps (8 resets) in 58 ms. (67 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4001 steps (8 resets) in 57 ms. (68 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4002 steps (8 resets) in 56 ms. (70 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4001 steps (8 resets) in 61 ms. (64 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4002 steps (8 resets) in 72 ms. (54 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4003 steps (8 resets) in 59 ms. (66 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4003 steps (8 resets) in 60 ms. (65 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4003 steps (8 resets) in 62 ms. (63 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4002 steps (8 resets) in 58 ms. (67 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4002 steps (8 resets) in 59 ms. (66 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4003 steps (8 resets) in 56 ms. (70 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4001 steps (8 resets) in 58 ms. (67 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4002 steps (8 resets) in 65 ms. (60 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4001 steps (8 resets) in 64 ms. (61 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4003 steps (8 resets) in 64 ms. (61 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4002 steps (8 resets) in 56 ms. (70 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4003 steps (8 resets) in 60 ms. (65 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4003 steps (8 resets) in 59 ms. (66 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4003 steps (8 resets) in 56 ms. (70 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4002 steps (8 resets) in 60 ms. (65 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4002 steps (8 resets) in 60 ms. (65 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4001 steps (8 resets) in 58 ms. (67 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4002 steps (8 resets) in 61 ms. (64 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4003 steps (8 resets) in 61 ms. (64 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4003 steps (8 resets) in 60 ms. (65 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4003 steps (8 resets) in 57 ms. (69 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4001 steps (8 resets) in 57 ms. (68 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4002 steps (8 resets) in 55 ms. (71 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4002 steps (8 resets) in 60 ms. (65 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4002 steps (8 resets) in 58 ms. (67 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4003 steps (8 resets) in 45 ms. (87 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4002 steps (8 resets) in 44 ms. (88 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4003 steps (8 resets) in 43 ms. (90 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 657/657 properties
Probabilistic random walk after 1000001 steps, saw 760111 distinct states, run finished after 46368 ms. (steps per millisecond=21 ) properties seen :12
// Phase 1: matrix 3804 rows 540 cols
[2024-06-01 01:55:44] [INFO ] Computed 26 invariants in 27 ms
[2024-06-01 01:55:45] [INFO ] State equation strengthened by 192 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/226 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 645 unsolved
At refinement iteration 1 (OVERLAPS) 304/530 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 645 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/530 variables, 3/16 constraints. Problems are: Problem set: 0 solved, 645 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/530 variables, 0/16 constraints. Problems are: Problem set: 0 solved, 645 unsolved
At refinement iteration 4 (OVERLAPS) 10/540 variables, 10/26 constraints. Problems are: Problem set: 0 solved, 645 unsolved
[2024-06-01 01:56:31] [INFO ] Deduced a trap composed of 124 places in 1831 ms of which 76 ms to minimize.
[2024-06-01 01:56:33] [INFO ] Deduced a trap composed of 114 places in 1558 ms of which 10 ms to minimize.
[2024-06-01 01:56:34] [INFO ] Deduced a trap composed of 113 places in 838 ms of which 5 ms to minimize.
[2024-06-01 01:56:35] [INFO ] Deduced a trap composed of 177 places in 1568 ms of which 6 ms to minimize.
[2024-06-01 01:56:37] [INFO ] Deduced a trap composed of 92 places in 1525 ms of which 9 ms to minimize.
[2024-06-01 01:56:38] [INFO ] Deduced a trap composed of 157 places in 1376 ms of which 9 ms to minimize.
[2024-06-01 01:56:40] [INFO ] Deduced a trap composed of 174 places in 1406 ms of which 9 ms to minimize.
[2024-06-01 01:56:41] [INFO ] Deduced a trap composed of 176 places in 1479 ms of which 9 ms to minimize.
[2024-06-01 01:56:43] [INFO ] Deduced a trap composed of 146 places in 1389 ms of which 9 ms to minimize.
[2024-06-01 01:56:44] [INFO ] Deduced a trap composed of 193 places in 1427 ms of which 8 ms to minimize.
[2024-06-01 01:56:46] [INFO ] Deduced a trap composed of 114 places in 1464 ms of which 8 ms to minimize.
[2024-06-01 01:56:47] [INFO ] Deduced a trap composed of 135 places in 1483 ms of which 9 ms to minimize.
[2024-06-01 01:56:49] [INFO ] Deduced a trap composed of 91 places in 1442 ms of which 8 ms to minimize.
[2024-06-01 01:56:50] [INFO ] Deduced a trap composed of 149 places in 1509 ms of which 8 ms to minimize.
[2024-06-01 01:56:52] [INFO ] Deduced a trap composed of 142 places in 1459 ms of which 8 ms to minimize.
[2024-06-01 01:56:53] [INFO ] Deduced a trap composed of 135 places in 1353 ms of which 8 ms to minimize.
[2024-06-01 01:56:54] [INFO ] Deduced a trap composed of 127 places in 1418 ms of which 9 ms to minimize.
[2024-06-01 01:56:56] [INFO ] Deduced a trap composed of 149 places in 1378 ms of which 8 ms to minimize.
[2024-06-01 01:56:57] [INFO ] Deduced a trap composed of 184 places in 1427 ms of which 9 ms to minimize.
[2024-06-01 01:56:59] [INFO ] Deduced a trap composed of 222 places in 1385 ms of which 8 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/540 variables, 20/46 constraints. Problems are: Problem set: 0 solved, 645 unsolved
[2024-06-01 01:57:01] [INFO ] Deduced a trap composed of 162 places in 1262 ms of which 8 ms to minimize.
[2024-06-01 01:57:03] [INFO ] Deduced a trap composed of 97 places in 1414 ms of which 8 ms to minimize.
SMT process timed out in 78290ms, After SMT, problems are : Problem set: 0 solved, 645 unsolved
Fused 645 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 226 out of 540 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 540/540 places, 3804/3804 transitions.
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 4 place count 536 transition count 3800
Iterating global reduction 0 with 4 rules applied. Total rules applied 8 place count 536 transition count 3800
Applied a total of 8 rules in 164 ms. Remains 536 /540 variables (removed 4) and now considering 3800/3804 (removed 4) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 165 ms. Remains : 536/540 places, 3800/3804 transitions.
RANDOM walk for 2624500 steps (4 resets) in 120004 ms. (21 steps per ms) remains 631/645 properties
BEST_FIRST walk for 4003 steps (8 resets) in 44 ms. (88 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 41 ms. (95 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 44 ms. (88 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 43 ms. (90 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 54 ms. (72 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 56 ms. (70 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4002 steps (8 resets) in 56 ms. (70 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4002 steps (8 resets) in 57 ms. (69 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4002 steps (8 resets) in 56 ms. (70 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4001 steps (8 resets) in 58 ms. (67 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4002 steps (8 resets) in 57 ms. (69 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 56 ms. (70 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 55 ms. (71 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4001 steps (8 resets) in 53 ms. (74 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4000 steps (8 resets) in 58 ms. (67 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 53 ms. (74 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4002 steps (8 resets) in 54 ms. (72 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4002 steps (8 resets) in 56 ms. (70 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 57 ms. (69 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4002 steps (8 resets) in 57 ms. (69 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 4002 steps (8 resets) in 57 ms. (69 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 58 ms. (67 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4000 steps (8 resets) in 55 ms. (71 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 75 ms. (52 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 4001 steps (8 resets) in 83 ms. (47 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4003 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 4003 steps (8 resets) in 76 ms. (51 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 4004 steps (8 resets) in 81 ms. (48 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 81 ms. (48 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4000 steps (8 resets) in 77 ms. (51 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4004 steps (8 resets) in 82 ms. (48 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4002 steps (8 resets) in 80 ms. (49 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 78 ms. (50 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4004 steps (8 resets) in 80 ms. (49 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4001 steps (8 resets) in 82 ms. (48 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4002 steps (8 resets) in 80 ms. (49 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4002 steps (8 resets) in 59 ms. (66 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4002 steps (8 resets) in 63 ms. (62 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 61 ms. (64 steps per ms) remains 631/631 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 631/631 properties
Probabilistic random walk after 1000001 steps, saw 761162 distinct states, run finished after 47280 ms. (steps per millisecond=21 ) properties seen :0
// Phase 1: matrix 3800 rows 536 cols
[2024-06-01 01:58:21] [INFO ] Computed 26 invariants in 20 ms
[2024-06-01 01:58:21] [INFO ] State equation strengthened by 188 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/217 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 631 unsolved
At refinement iteration 1 (OVERLAPS) 308/525 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 631 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/525 variables, 2/15 constraints. Problems are: Problem set: 0 solved, 631 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/525 variables, 0/15 constraints. Problems are: Problem set: 0 solved, 631 unsolved
At refinement iteration 4 (OVERLAPS) 11/536 variables, 11/26 constraints. Problems are: Problem set: 0 solved, 631 unsolved
[2024-06-01 01:59:08] [INFO ] Deduced a trap composed of 117 places in 1479 ms of which 9 ms to minimize.
[2024-06-01 01:59:09] [INFO ] Deduced a trap composed of 143 places in 1446 ms of which 8 ms to minimize.
[2024-06-01 01:59:11] [INFO ] Deduced a trap composed of 169 places in 1440 ms of which 8 ms to minimize.
[2024-06-01 01:59:12] [INFO ] Deduced a trap composed of 176 places in 1483 ms of which 8 ms to minimize.
[2024-06-01 01:59:14] [INFO ] Deduced a trap composed of 201 places in 1457 ms of which 9 ms to minimize.
[2024-06-01 01:59:15] [INFO ] Deduced a trap composed of 90 places in 1389 ms of which 8 ms to minimize.
[2024-06-01 01:59:17] [INFO ] Deduced a trap composed of 155 places in 1447 ms of which 8 ms to minimize.
[2024-06-01 01:59:18] [INFO ] Deduced a trap composed of 132 places in 1453 ms of which 9 ms to minimize.
[2024-06-01 01:59:20] [INFO ] Deduced a trap composed of 183 places in 1429 ms of which 8 ms to minimize.
[2024-06-01 01:59:21] [INFO ] Deduced a trap composed of 198 places in 1461 ms of which 8 ms to minimize.
[2024-06-01 01:59:23] [INFO ] Deduced a trap composed of 161 places in 1469 ms of which 8 ms to minimize.
[2024-06-01 01:59:24] [INFO ] Deduced a trap composed of 179 places in 1477 ms of which 8 ms to minimize.
[2024-06-01 01:59:26] [INFO ] Deduced a trap composed of 157 places in 1467 ms of which 9 ms to minimize.
[2024-06-01 01:59:27] [INFO ] Deduced a trap composed of 105 places in 1473 ms of which 8 ms to minimize.
[2024-06-01 01:59:29] [INFO ] Deduced a trap composed of 170 places in 1442 ms of which 8 ms to minimize.
[2024-06-01 01:59:30] [INFO ] Deduced a trap composed of 104 places in 1442 ms of which 8 ms to minimize.
[2024-06-01 01:59:32] [INFO ] Deduced a trap composed of 135 places in 1396 ms of which 8 ms to minimize.
[2024-06-01 01:59:33] [INFO ] Deduced a trap composed of 94 places in 1475 ms of which 9 ms to minimize.
[2024-06-01 01:59:35] [INFO ] Deduced a trap composed of 104 places in 1390 ms of which 8 ms to minimize.
[2024-06-01 01:59:36] [INFO ] Deduced a trap composed of 163 places in 1392 ms of which 8 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/536 variables, 20/46 constraints. Problems are: Problem set: 0 solved, 631 unsolved
[2024-06-01 01:59:39] [INFO ] Deduced a trap composed of 50 places in 1498 ms of which 8 ms to minimize.
[2024-06-01 01:59:45] [INFO ] Deduced a trap composed of 140 places in 1468 ms of which 9 ms to minimize.
[2024-06-01 01:59:48] [INFO ] Deduced a trap composed of 105 places in 1483 ms of which 8 ms to minimize.
[2024-06-01 01:59:51] [INFO ] Deduced a trap composed of 179 places in 1445 ms of which 8 ms to minimize.
[2024-06-01 01:59:52] [INFO ] Deduced a trap composed of 149 places in 1411 ms of which 8 ms to minimize.
[2024-06-01 01:59:54] [INFO ] Deduced a trap composed of 83 places in 1420 ms of which 8 ms to minimize.
[2024-06-01 01:59:55] [INFO ] Deduced a trap composed of 117 places in 1485 ms of which 8 ms to minimize.
SMT process timed out in 94089ms, After SMT, problems are : Problem set: 0 solved, 631 unsolved
Fused 631 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 217 out of 536 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 536/536 places, 3800/3800 transitions.
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 7 place count 529 transition count 3793
Iterating global reduction 0 with 7 rules applied. Total rules applied 14 place count 529 transition count 3793
Applied a total of 14 rules in 149 ms. Remains 529 /536 variables (removed 7) and now considering 3793/3800 (removed 7) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 149 ms. Remains : 529/536 places, 3793/3800 transitions.
RANDOM walk for 2762353 steps (8 resets) in 120004 ms. (23 steps per ms) remains 622/631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 46 ms. (85 steps per ms) remains 621/622 properties
BEST_FIRST walk for 4003 steps (8 resets) in 65 ms. (60 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4003 steps (8 resets) in 60 ms. (65 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4003 steps (8 resets) in 56 ms. (70 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4003 steps (8 resets) in 59 ms. (66 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4002 steps (8 resets) in 68 ms. (58 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4003 steps (8 resets) in 103 ms. (38 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4001 steps (8 resets) in 105 ms. (37 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4002 steps (8 resets) in 68 ms. (58 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4004 steps (8 resets) in 91 ms. (43 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4003 steps (8 resets) in 85 ms. (46 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4003 steps (8 resets) in 80 ms. (49 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4002 steps (8 resets) in 104 ms. (38 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4003 steps (8 resets) in 86 ms. (46 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4003 steps (8 resets) in 94 ms. (42 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4002 steps (8 resets) in 102 ms. (38 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4002 steps (8 resets) in 94 ms. (42 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4002 steps (8 resets) in 104 ms. (38 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4002 steps (8 resets) in 115 ms. (34 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4001 steps (8 resets) in 126 ms. (31 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4002 steps (8 resets) in 133 ms. (29 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4002 steps (8 resets) in 138 ms. (28 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4002 steps (8 resets) in 130 ms. (30 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4004 steps (8 resets) in 126 ms. (31 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4002 steps (8 resets) in 140 ms. (28 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4003 steps (8 resets) in 119 ms. (33 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4003 steps (8 resets) in 141 ms. (28 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4001 steps (8 resets) in 126 ms. (31 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4000 steps (8 resets) in 114 ms. (34 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4004 steps (8 resets) in 112 ms. (35 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4001 steps (8 resets) in 144 ms. (27 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4001 steps (8 resets) in 105 ms. (37 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4002 steps (8 resets) in 115 ms. (34 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4002 steps (8 resets) in 95 ms. (41 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4001 steps (8 resets) in 85 ms. (46 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4001 steps (8 resets) in 104 ms. (38 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4001 steps (8 resets) in 102 ms. (38 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4003 steps (8 resets) in 81 ms. (48 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4003 steps (8 resets) in 110 ms. (36 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4002 steps (8 resets) in 90 ms. (43 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4000 steps (8 resets) in 102 ms. (38 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4003 steps (8 resets) in 104 ms. (38 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4003 steps (8 resets) in 111 ms. (35 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4003 steps (8 resets) in 105 ms. (37 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4004 steps (8 resets) in 92 ms. (43 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4003 steps (8 resets) in 70 ms. (56 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4003 steps (8 resets) in 66 ms. (59 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 621/621 properties
BEST_FIRST walk for 4003 steps (8 resets) in 66 ms. (59 steps per ms) remains 621/621 properties
Probabilistic random walk after 1000001 steps, saw 757271 distinct states, run finished after 50411 ms. (steps per millisecond=19 ) properties seen :0
// Phase 1: matrix 3793 rows 529 cols
[2024-06-01 02:01:17] [INFO ] Computed 26 invariants in 20 ms
[2024-06-01 02:01:17] [INFO ] State equation strengthened by 181 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/215 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 621 unsolved
At refinement iteration 1 (OVERLAPS) 302/517 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 621 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/517 variables, 2/15 constraints. Problems are: Problem set: 0 solved, 621 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/517 variables, 0/15 constraints. Problems are: Problem set: 0 solved, 621 unsolved
At refinement iteration 4 (OVERLAPS) 12/529 variables, 11/26 constraints. Problems are: Problem set: 0 solved, 621 unsolved
[2024-06-01 02:02:01] [INFO ] Deduced a trap composed of 229 places in 1473 ms of which 9 ms to minimize.
[2024-06-01 02:02:03] [INFO ] Deduced a trap composed of 149 places in 1452 ms of which 8 ms to minimize.
[2024-06-01 02:02:04] [INFO ] Deduced a trap composed of 231 places in 1440 ms of which 8 ms to minimize.
[2024-06-01 02:02:06] [INFO ] Deduced a trap composed of 96 places in 1444 ms of which 9 ms to minimize.
[2024-06-01 02:02:07] [INFO ] Deduced a trap composed of 276 places in 1453 ms of which 8 ms to minimize.
[2024-06-01 02:02:09] [INFO ] Deduced a trap composed of 139 places in 1464 ms of which 8 ms to minimize.
[2024-06-01 02:02:10] [INFO ] Deduced a trap composed of 166 places in 1443 ms of which 8 ms to minimize.
[2024-06-01 02:02:12] [INFO ] Deduced a trap composed of 141 places in 1421 ms of which 8 ms to minimize.
[2024-06-01 02:02:13] [INFO ] Deduced a trap composed of 115 places in 1469 ms of which 8 ms to minimize.
[2024-06-01 02:02:15] [INFO ] Deduced a trap composed of 104 places in 1482 ms of which 8 ms to minimize.
[2024-06-01 02:02:16] [INFO ] Deduced a trap composed of 145 places in 1405 ms of which 8 ms to minimize.
[2024-06-01 02:02:18] [INFO ] Deduced a trap composed of 116 places in 1442 ms of which 10 ms to minimize.
[2024-06-01 02:02:19] [INFO ] Deduced a trap composed of 135 places in 1449 ms of which 8 ms to minimize.
[2024-06-01 02:02:21] [INFO ] Deduced a trap composed of 147 places in 1484 ms of which 8 ms to minimize.
[2024-06-01 02:02:22] [INFO ] Deduced a trap composed of 65 places in 1455 ms of which 8 ms to minimize.
[2024-06-01 02:02:24] [INFO ] Deduced a trap composed of 141 places in 1480 ms of which 8 ms to minimize.
[2024-06-01 02:02:25] [INFO ] Deduced a trap composed of 210 places in 1467 ms of which 8 ms to minimize.
[2024-06-01 02:02:27] [INFO ] Deduced a trap composed of 175 places in 1485 ms of which 9 ms to minimize.
[2024-06-01 02:02:28] [INFO ] Deduced a trap composed of 137 places in 1453 ms of which 8 ms to minimize.
[2024-06-01 02:02:30] [INFO ] Deduced a trap composed of 150 places in 1443 ms of which 8 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/529 variables, 20/46 constraints. Problems are: Problem set: 0 solved, 621 unsolved
[2024-06-01 02:02:32] [INFO ] Deduced a trap composed of 180 places in 1298 ms of which 8 ms to minimize.
[2024-06-01 02:02:34] [INFO ] Deduced a trap composed of 256 places in 1359 ms of which 8 ms to minimize.
[2024-06-01 02:02:35] [INFO ] Deduced a trap composed of 115 places in 1487 ms of which 8 ms to minimize.
[2024-06-01 02:02:37] [INFO ] Deduced a trap composed of 138 places in 1428 ms of which 9 ms to minimize.
[2024-06-01 02:02:38] [INFO ] Deduced a trap composed of 106 places in 1391 ms of which 8 ms to minimize.
[2024-06-01 02:02:40] [INFO ] Deduced a trap composed of 184 places in 1482 ms of which 8 ms to minimize.
[2024-06-01 02:02:41] [INFO ] Deduced a trap composed of 211 places in 1466 ms of which 8 ms to minimize.
[2024-06-01 02:02:43] [INFO ] Deduced a trap composed of 115 places in 1469 ms of which 8 ms to minimize.
[2024-06-01 02:02:44] [INFO ] Deduced a trap composed of 141 places in 1516 ms of which 8 ms to minimize.
[2024-06-01 02:02:46] [INFO ] Deduced a trap composed of 117 places in 1460 ms of which 8 ms to minimize.
[2024-06-01 02:02:47] [INFO ] Deduced a trap composed of 117 places in 1496 ms of which 8 ms to minimize.
[2024-06-01 02:02:49] [INFO ] Deduced a trap composed of 223 places in 1474 ms of which 8 ms to minimize.
[2024-06-01 02:02:50] [INFO ] Deduced a trap composed of 170 places in 1440 ms of which 8 ms to minimize.
[2024-06-01 02:02:52] [INFO ] Deduced a trap composed of 85 places in 1468 ms of which 12 ms to minimize.
[2024-06-01 02:02:53] [INFO ] Deduced a trap composed of 152 places in 1475 ms of which 9 ms to minimize.
[2024-06-01 02:02:55] [INFO ] Deduced a trap composed of 61 places in 1373 ms of which 8 ms to minimize.
[2024-06-01 02:02:56] [INFO ] Deduced a trap composed of 114 places in 1491 ms of which 9 ms to minimize.
[2024-06-01 02:02:58] [INFO ] Deduced a trap composed of 64 places in 1483 ms of which 8 ms to minimize.
[2024-06-01 02:02:59] [INFO ] Deduced a trap composed of 144 places in 1379 ms of which 8 ms to minimize.
[2024-06-01 02:03:01] [INFO ] Deduced a trap composed of 82 places in 1445 ms of which 8 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/529 variables, 20/66 constraints. Problems are: Problem set: 0 solved, 621 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 529/4322 variables, and 66 constraints, problems are : Problem set: 0 solved, 621 unsolved in 105030 ms.
Refiners :[Positive P Invariants (semi-flows): 13/13 constraints, Generalized P Invariants (flows): 13/13 constraints, State Equation: 0/529 constraints, ReadFeed: 0/181 constraints, PredecessorRefiner: 621/621 constraints, Known Traps: 40/40 constraints]
Escalating to Integer solving :Problem set: 0 solved, 621 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/215 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 621 unsolved
At refinement iteration 1 (OVERLAPS) 302/517 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 621 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/517 variables, 2/15 constraints. Problems are: Problem set: 0 solved, 621 unsolved
[2024-06-01 02:03:27] [INFO ] Deduced a trap composed of 333 places in 926 ms of which 7 ms to minimize.
[2024-06-01 02:03:28] [INFO ] Deduced a trap composed of 299 places in 978 ms of which 8 ms to minimize.
[2024-06-01 02:03:29] [INFO ] Deduced a trap composed of 338 places in 1041 ms of which 8 ms to minimize.
[2024-06-01 02:03:30] [INFO ] Deduced a trap composed of 315 places in 1009 ms of which 8 ms to minimize.
[2024-06-01 02:03:31] [INFO ] Deduced a trap composed of 328 places in 964 ms of which 8 ms to minimize.
[2024-06-01 02:03:32] [INFO ] Deduced a trap composed of 328 places in 1053 ms of which 8 ms to minimize.
[2024-06-01 02:03:34] [INFO ] Deduced a trap composed of 327 places in 1061 ms of which 8 ms to minimize.
[2024-06-01 02:03:35] [INFO ] Deduced a trap composed of 350 places in 934 ms of which 8 ms to minimize.
[2024-06-01 02:03:35] [INFO ] Deduced a trap composed of 329 places in 927 ms of which 7 ms to minimize.
[2024-06-01 02:03:36] [INFO ] Deduced a trap composed of 349 places in 990 ms of which 8 ms to minimize.
[2024-06-01 02:03:38] [INFO ] Deduced a trap composed of 305 places in 1027 ms of which 8 ms to minimize.
[2024-06-01 02:03:39] [INFO ] Deduced a trap composed of 323 places in 954 ms of which 7 ms to minimize.
[2024-06-01 02:03:39] [INFO ] Deduced a trap composed of 306 places in 962 ms of which 7 ms to minimize.
[2024-06-01 02:03:41] [INFO ] Deduced a trap composed of 395 places in 1063 ms of which 8 ms to minimize.
[2024-06-01 02:03:42] [INFO ] Deduced a trap composed of 351 places in 993 ms of which 8 ms to minimize.
[2024-06-01 02:03:43] [INFO ] Deduced a trap composed of 305 places in 974 ms of which 8 ms to minimize.
[2024-06-01 02:03:43] [INFO ] Deduced a trap composed of 306 places in 903 ms of which 8 ms to minimize.
[2024-06-01 02:03:45] [INFO ] Deduced a trap composed of 302 places in 1043 ms of which 8 ms to minimize.
[2024-06-01 02:03:46] [INFO ] Deduced a trap composed of 359 places in 1018 ms of which 8 ms to minimize.
[2024-06-01 02:03:47] [INFO ] Deduced a trap composed of 360 places in 913 ms of which 8 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/517 variables, 20/35 constraints. Problems are: Problem set: 0 solved, 621 unsolved
[2024-06-01 02:03:57] [INFO ] Deduced a trap composed of 381 places in 961 ms of which 11 ms to minimize.
[2024-06-01 02:04:01] [INFO ] Deduced a trap composed of 295 places in 945 ms of which 8 ms to minimize.
[2024-06-01 02:04:02] [INFO ] Deduced a trap composed of 314 places in 932 ms of which 7 ms to minimize.
[2024-06-01 02:04:03] [INFO ] Deduced a trap composed of 284 places in 1016 ms of which 8 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/517 variables, 4/39 constraints. Problems are: Problem set: 0 solved, 621 unsolved
[2024-06-01 02:04:24] [INFO ] Deduced a trap composed of 332 places in 1005 ms of which 8 ms to minimize.
[2024-06-01 02:04:26] [INFO ] Deduced a trap composed of 316 places in 969 ms of which 8 ms to minimize.
[2024-06-01 02:04:27] [INFO ] Deduced a trap composed of 294 places in 1023 ms of which 11 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/517 variables, 3/42 constraints. Problems are: Problem set: 0 solved, 621 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/517 variables, 0/42 constraints. Problems are: Problem set: 0 solved, 621 unsolved
At refinement iteration 7 (OVERLAPS) 12/529 variables, 11/53 constraints. Problems are: Problem set: 0 solved, 621 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/529 variables, 40/93 constraints. Problems are: Problem set: 0 solved, 621 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 529/4322 variables, and 93 constraints, problems are : Problem set: 0 solved, 621 unsolved in 105019 ms.
Refiners :[Positive P Invariants (semi-flows): 13/13 constraints, Generalized P Invariants (flows): 13/13 constraints, State Equation: 0/529 constraints, ReadFeed: 0/181 constraints, PredecessorRefiner: 0/621 constraints, Known Traps: 67/67 constraints]
After SMT, in 213087ms problems are : Problem set: 0 solved, 621 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 215 out of 529 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 529/529 places, 3793/3793 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 528 transition count 3792
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 528 transition count 3792
Applied a total of 2 rules in 84 ms. Remains 528 /529 variables (removed 1) and now considering 3792/3793 (removed 1) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 85 ms. Remains : 528/529 places, 3792/3793 transitions.
RANDOM walk for 2831902 steps (8 resets) in 120004 ms. (23 steps per ms) remains 601/621 properties
BEST_FIRST walk for 4002 steps (8 resets) in 63 ms. (62 steps per ms) remains 601/601 properties
BEST_FIRST walk for 4003 steps (8 resets) in 58 ms. (67 steps per ms) remains 601/601 properties
BEST_FIRST walk for 4002 steps (8 resets) in 47 ms. (83 steps per ms) remains 601/601 properties
BEST_FIRST walk for 4003 steps (8 resets) in 95 ms. (41 steps per ms) remains 601/601 properties
BEST_FIRST walk for 4004 steps (8 resets) in 84 ms. (47 steps per ms) remains 601/601 properties
BEST_FIRST walk for 4001 steps (8 resets) in 111 ms. (35 steps per ms) remains 598/601 properties
BEST_FIRST walk for 4003 steps (8 resets) in 105 ms. (37 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4001 steps (8 resets) in 77 ms. (51 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4003 steps (8 resets) in 124 ms. (32 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4001 steps (8 resets) in 74 ms. (53 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4003 steps (8 resets) in 101 ms. (39 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4003 steps (8 resets) in 108 ms. (36 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4004 steps (8 resets) in 105 ms. (37 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4003 steps (8 resets) in 112 ms. (35 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4000 steps (8 resets) in 104 ms. (38 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4003 steps (8 resets) in 105 ms. (37 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4002 steps (8 resets) in 79 ms. (50 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4001 steps (8 resets) in 98 ms. (40 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4003 steps (8 resets) in 107 ms. (37 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4003 steps (8 resets) in 96 ms. (41 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4002 steps (8 resets) in 93 ms. (42 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4002 steps (8 resets) in 105 ms. (37 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4004 steps (8 resets) in 94 ms. (42 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4001 steps (8 resets) in 83 ms. (47 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4004 steps (8 resets) in 127 ms. (31 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4001 steps (8 resets) in 110 ms. (36 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4003 steps (8 resets) in 113 ms. (35 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4003 steps (8 resets) in 107 ms. (37 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4001 steps (8 resets) in 106 ms. (37 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4001 steps (8 resets) in 87 ms. (45 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4003 steps (8 resets) in 102 ms. (38 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4003 steps (8 resets) in 111 ms. (35 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4003 steps (8 resets) in 113 ms. (35 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4003 steps (8 resets) in 92 ms. (43 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4004 steps (8 resets) in 91 ms. (43 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4003 steps (8 resets) in 101 ms. (39 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4003 steps (8 resets) in 112 ms. (35 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4002 steps (8 resets) in 73 ms. (54 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4003 steps (8 resets) in 113 ms. (35 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4002 steps (8 resets) in 98 ms. (40 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4003 steps (8 resets) in 53 ms. (74 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4003 steps (8 resets) in 82 ms. (48 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4003 steps (8 resets) in 77 ms. (51 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4003 steps (8 resets) in 74 ms. (53 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4002 steps (8 resets) in 162 ms. (24 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4003 steps (8 resets) in 138 ms. (28 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4003 steps (8 resets) in 128 ms. (31 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4003 steps (8 resets) in 136 ms. (29 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4002 steps (8 resets) in 148 ms. (26 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4001 steps (8 resets) in 149 ms. (26 steps per ms) remains 598/598 properties
BEST_FIRST walk for 4003 steps (8 resets) in 159 ms. (25 steps per ms) remains 598/598 properties
Probabilistic random walk after 1000001 steps, saw 762258 distinct states, run finished after 74913 ms. (steps per millisecond=13 ) properties seen :0
// Phase 1: matrix 3792 rows 528 cols
[2024-06-01 02:06:37] [INFO ] Computed 26 invariants in 20 ms
[2024-06-01 02:06:37] [INFO ] State equation strengthened by 180 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/210 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 598 unsolved
At refinement iteration 1 (OVERLAPS) 305/515 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 598 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/515 variables, 1/14 constraints. Problems are: Problem set: 0 solved, 598 unsolved
[2024-06-01 02:07:05] [INFO ] Deduced a trap composed of 355 places in 1020 ms of which 8 ms to minimize.
[2024-06-01 02:07:06] [INFO ] Deduced a trap composed of 359 places in 1019 ms of which 7 ms to minimize.
[2024-06-01 02:07:07] [INFO ] Deduced a trap composed of 337 places in 1025 ms of which 8 ms to minimize.
[2024-06-01 02:07:08] [INFO ] Deduced a trap composed of 314 places in 1023 ms of which 8 ms to minimize.
[2024-06-01 02:07:09] [INFO ] Deduced a trap composed of 358 places in 1005 ms of which 8 ms to minimize.
[2024-06-01 02:07:10] [INFO ] Deduced a trap composed of 359 places in 1002 ms of which 8 ms to minimize.
[2024-06-01 02:07:11] [INFO ] Deduced a trap composed of 336 places in 1022 ms of which 8 ms to minimize.
[2024-06-01 02:07:12] [INFO ] Deduced a trap composed of 337 places in 1015 ms of which 7 ms to minimize.
[2024-06-01 02:07:13] [INFO ] Deduced a trap composed of 335 places in 984 ms of which 8 ms to minimize.
[2024-06-01 02:07:14] [INFO ] Deduced a trap composed of 313 places in 1023 ms of which 8 ms to minimize.
[2024-06-01 02:07:15] [INFO ] Deduced a trap composed of 358 places in 1028 ms of which 8 ms to minimize.
[2024-06-01 02:07:16] [INFO ] Deduced a trap composed of 312 places in 1025 ms of which 8 ms to minimize.
[2024-06-01 02:07:17] [INFO ] Deduced a trap composed of 335 places in 877 ms of which 7 ms to minimize.
[2024-06-01 02:07:18] [INFO ] Deduced a trap composed of 291 places in 964 ms of which 8 ms to minimize.
[2024-06-01 02:07:20] [INFO ] Deduced a trap composed of 381 places in 1056 ms of which 8 ms to minimize.
[2024-06-01 02:07:20] [INFO ] Deduced a trap composed of 314 places in 936 ms of which 7 ms to minimize.
[2024-06-01 02:07:22] [INFO ] Deduced a trap composed of 358 places in 1022 ms of which 8 ms to minimize.
[2024-06-01 02:07:23] [INFO ] Deduced a trap composed of 358 places in 982 ms of which 8 ms to minimize.
[2024-06-01 02:07:24] [INFO ] Deduced a trap composed of 334 places in 1041 ms of which 8 ms to minimize.
[2024-06-01 02:07:25] [INFO ] Deduced a trap composed of 291 places in 1026 ms of which 8 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/515 variables, 20/34 constraints. Problems are: Problem set: 0 solved, 598 unsolved
[2024-06-01 02:07:48] [INFO ] Deduced a trap composed of 354 places in 956 ms of which 8 ms to minimize.
[2024-06-01 02:07:50] [INFO ] Deduced a trap composed of 425 places in 931 ms of which 7 ms to minimize.
[2024-06-01 02:07:51] [INFO ] Deduced a trap composed of 406 places in 901 ms of which 8 ms to minimize.
[2024-06-01 02:07:52] [INFO ] Deduced a trap composed of 402 places in 1013 ms of which 7 ms to minimize.
[2024-06-01 02:07:53] [INFO ] Deduced a trap composed of 425 places in 937 ms of which 8 ms to minimize.
[2024-06-01 02:07:54] [INFO ] Deduced a trap composed of 401 places in 893 ms of which 7 ms to minimize.
[2024-06-01 02:07:55] [INFO ] Deduced a trap composed of 332 places in 951 ms of which 8 ms to minimize.
[2024-06-01 02:07:57] [INFO ] Deduced a trap composed of 378 places in 935 ms of which 8 ms to minimize.
[2024-06-01 02:07:59] [INFO ] Deduced a trap composed of 332 places in 1019 ms of which 8 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/515 variables, 9/43 constraints. Problems are: Problem set: 0 solved, 598 unsolved
[2024-06-01 02:08:18] [INFO ] Deduced a trap composed of 357 places in 933 ms of which 7 ms to minimize.
[2024-06-01 02:08:19] [INFO ] Deduced a trap composed of 332 places in 897 ms of which 7 ms to minimize.
[2024-06-01 02:08:20] [INFO ] Deduced a trap composed of 308 places in 891 ms of which 8 ms to minimize.
[2024-06-01 02:08:21] [INFO ] Deduced a trap composed of 286 places in 901 ms of which 8 ms to minimize.
[2024-06-01 02:08:22] [INFO ] Deduced a trap composed of 263 places in 1001 ms of which 8 ms to minimize.
[2024-06-01 02:08:23] [INFO ] Deduced a trap composed of 332 places in 973 ms of which 7 ms to minimize.
[2024-06-01 02:08:24] [INFO ] Deduced a trap composed of 357 places in 957 ms of which 8 ms to minimize.
[2024-06-01 02:08:25] [INFO ] Deduced a trap composed of 332 places in 921 ms of which 8 ms to minimize.
[2024-06-01 02:08:26] [INFO ] Deduced a trap composed of 309 places in 944 ms of which 8 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/515 variables, 9/52 constraints. Problems are: Problem set: 0 solved, 598 unsolved
Error getting values : (error "ParserException while parsing response: ((s0 0.0)
(s1 1.0)
(s2 0.0)
(s3 0.0)
(s4 0.0)
(s5 0.0)
(s6 0.0)
(s7 0.0)
(s8 0.0)
(s9 0.0)
(s10 0.0)
(s11 0.0)
(s12 1.0)
(s18 0.0)
(s27 1.0)
(s28 1.0)
(s29 1.0)
(s30 0.0)
(s31 1.0)
(s32 1.0)
(s33 1.0)
(s34 1.0)
(s35 1.0)
(s36 0.0)
(s37 0.0)
(s38 0.0)
(s39 0.0)
(s40 0.0)
(s41 0.0)
(s42 0.0)
(s43 0.0)
(s44 0.0)
(s45 0.0)
(s46 0.0)
(s47 1.0)
(s48 0.0)
(s49 0.0)
(s50 0.0)
(s51 0.0)
(s52 0.0)
(s53 0.0)
(s54 0.0)
(s55 0.0)
(s56 0.0)
(s57 0.0)
(s58 0.0)
(s59 1.0)
(s60 0.0)
(s61 0.0)
(s62 0.0)
(s63 0.0)
(s64 0.0)
(s65 0.0)
(s66 0.0)
(s67 0.0)
(s68 0.0)
(s69 0.0)
(s70 0.0)
(s71 1.0)
(s72 0.0)
(s73 0.0)
(s74 0.0)
(s75 0.0)
(s76 0.0)
(s77 0.0)
(s78 0.0)
(s79 0.0)
(s80 0.0)
(s81 0.0)
(s82 0.0)
(s83 1.0)
(s84 0.0)
(s85 0.0)
(s86 0.0)
(s87 0.0)
(s88 0.0)
(s89 0.0)
(s90 0.0)
(s91 0.0)
(s92 0.0)
(s93 0.0)
(s94 0.0)
(s95 1.0)
(s96 0.0)
(s97 0.0)
(s98 0.0)
(s99 0.0)
(s100 0.0)
(s101 0.0)
(s102 0.0)
(s103 0.0)
(s104 0.0)
(s105 0.0)
(s106 0.0)
(s107 1.0)
(s108 0.0)
(s109 0.0)
(s110 0.0)
(s111 0.0)
(s112 0.0)
(s113 0.0)
(s114 0.0)
(s115 0.0)
(s116 0.0)
(s117 0.0)
(s118 0.0)
(s119 1.0)
(s120 0.0)
(s121 0.0)
(s122 0.0)
(s123 0.0)
(s124 0.0)
(s125 0.0)
(s126 0.0)
(s127 0.0)
(s128 0.0)
(s129 0.0)
(s130 0.0)
(s131 1.0)
(s132 0.0)
(s133 0.0)
(s134 0.0)
(s135 0.0)
(s136 0.0)
(s137 0.0)
(s138 0.0)
(s139 0.0)
(s140 0.0)
(s141 0.0)
(s142 0.0)
(s143 1.0)
(s144 1.0)
(s145 0.0)
(s146 0.0)
(s147 0.0)
(s148 0.0)
(s149 0.0)
(s150 0.0)
(s151 0.0)
(s152 0.0)
(s153 0.0)
(s154 0.0)
(s155 0.0)
(s156 0.0)
(s157 0.0)
(s158 0.0)
(s159 0.0)
(s160 0.0)
(s161 0.0)
(s162 0.0)
(s163 0.0)
(s164 0.0)
(s165 0.0)
(s166 0.0)
(s167 0.0)
(s168 0.0)
(s169 0.0)
(s170 0.0)
(s171 0.0)
(s172 0.0)
(s173 0.0)
(s174 0.0)
(s175 0.0)
(s176 0.0)
(s177 0.0)
(s178 0.0)
(s179 0.0)
(s180 0.0)
(s181 0.0)
(s182 0.0)
(s183 0.0)
(s184 0.0)
(s185 0.0)
(s186 0.0)
(s187 0.0)
(s188 0.0)
(s189 0.0)
(s190 0.0)
(s191 0.0)
(s192 0.0)
(s193 0.0)
(s194 0.0)
(s195 0.0)
(s196 0.0)
(s197 0.0)
(s198 0.0)
(s199 0.0)
(s200 0.0)
(s201 0.0)
(s202 0.0)
(s203 0.0)
(s204 0.0)
(s205 0.0)
(s206 0.0)
(s207 0.0)
(s208 0.0)
(s209 0.0)
(s210 0.0)
(s211 0.0)
(s212 0.0)
(s213 0.0)
(s214 0.0)
(s215 0.0)
(s216 0.0)
(s217 0.0)
(s218 0.0)
(s219 0.0)
(s220 0.0)
(s221 0.0)
(s222 0.0)
(s223 0.0)
(s224 0.0)
(s225 0.0)
(s226 0.0)
(s227 0.0)
(s228 0.0)
(s229 0.0)
(s230 0.0)
(s231 0.0)
(s232 0.0)
(s233 0.0)
(s234 0.0)
(s235 0.0)
(s236 0.0)
(s237 0.0)
(s238 0.0)
(s239 0.0)
(s240 0.0)
(s241 0.0)
(s242 0.0)
(s243 0.0)
(s244 0.0)
(s245 0.0)
(s246 0.0)
(s247 0.0)
(s248 0.0)
(s249 0.0)
(s250 0.0)
(s251 0.0)
(s252 0.0)
(s253 0.0)
(s254 0.0)
(s255 0.0)
(s256 0.0)
(s257 0.0)
(s258 0.0)
(s259 0.0)
(s260 0.0)
(s261 0.0)
(s262 0.0)
(s263 0.0)
(s264 0.0)
(s265 0.0)
(s266 0.0)
(s267 0.0)
(s268 0.0)
(s269 0.0)
(s270 0.0)
(s271 0.0)
(s272 0.0)
(s273 0.0)
(s274 0.0)
(s275 0.0)
(s276 0.0)
(s277 0.0)
(s278 0.0)
(s279 0.0)
(s280 0.0)
(s281 0.0)
(s282 0.0)
(s283 0.0)
(s284 0.0)
(s285 0.0)
(s286 0.0)
(s287 0.0)
(s288 0.0)
(s289 0.0)
(s290 0.0)
(s291 0.0)
(s292 0.0)
(s293 0.0)
(s294 0.0)
(s295 0.0)
(s296 0.0)
(s297 0.0)
(s298 0.0)
(s299 0.0)
(s300 0.0)
(s301 0.0)
(s302 0.0)
(s303 0.0)
(s304 0.0)
(s305 0.0)
(s306 0.0)
(s307 0.0)
(s308 0.0)
(s309 0.0)
(s310 0.0)
(s311 0.0)
(s312 0.0)
(s313 0.0)
(s314 0.0)
(s315 0.0)
(s316 0.0)
(s317 0.0)
(s318 0.0)
(s319 0.0)
(s320 0.0)
(s321 0.0)
(s322 0.0)
(s323 0.0)
(s324 0.0)
(s325 0.0)
(s326 0.0)
(s327 0.0)
(s328 0.0)
(s329 0.0)
(s330 0.0)
(s331 0.0)
(s332 0.0)
(s333 0.0)
(s334 0.0)
(s335 0.0)
(s336 0.0)
(s337 0.0)
(s338 0.0)
(s339 0.0)
(s340 0.0)
(s341 0.0)
(s342 0.0)
(s343 0.0)
(s344 0.0)
(s345 0.0)
(s346 0.0)
(s347 0.0)
(s348 0.0)
(s349 0.0)
(s350 0.0)
(s351 0.0)
(s352 0.0)
(s353 0.0)
(s354 0.0)
(s355 1.0)
(s356 0.0)
(s357 0.0)
(s358 0.0)
(s359 0.0)
(s360 0.0)
(s361 0.0)
(s362 0.0)
(s363 0.0)
(s364 0.0)
(s365 0.0)
(s366 0.0)
(s367 0.0)
(s368 0.0)
(s369 0.0)
(s370 0.0)
(s371 1.0)
(s372 0.0)
(s373 0.0)
(s374 0.0)
(s375 0.0)
(s376 0.0)
(s377 0.0)
(s378 0.0)
(s379 0.0)
(s380 0.0)
(s381 0.0)
(s382 0.0)
(s383 0.0)
(s384 0.0)
(s385 0.0)
(s386 0.0)
(s387 0.0)
(s388 0.0)
(s389 0.0)
(s390 0.0)
(s391 0.0)
(s392 0.0)
(s393 0.0)
(s394 0.0)
(s395 0.0)
(s396 0.0)
(s397 0.0)
(s398 0.0)
(s399 0.0)
(s400 0.0)
(s401 0.0)
(s402 0.0)
(s403 0.0)
(s404 0.0)
(s405 0.0)
(s406 0.0)
(s407 timeout
0.0 org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 515/4320 variables, and 52 constraints, problems are : Problem set: 0 solved, 598 unsolved in 120024 ms.
Refiners :[Positive P Invariants (semi-flows): 13/13 constraints, Generalized P Invariants (flows): 1/13 constraints, State Equation: 0/528 constraints, ReadFeed: 0/180 constraints, PredecessorRefiner: 598/598 constraints, Known Traps: 38/38 constraints]
Escalating to Integer solving :Problem set: 0 solved, 598 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/210 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 598 unsolved
At refinement iteration 1 (OVERLAPS) 305/515 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 598 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/515 variables, 1/14 constraints. Problems are: Problem set: 0 solved, 598 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/515 variables, 38/52 constraints. Problems are: Problem set: 0 solved, 598 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/515 variables, 0/52 constraints. Problems are: Problem set: 0 solved, 598 unsolved
At refinement iteration 5 (OVERLAPS) 13/528 variables, 12/64 constraints. Problems are: Problem set: 0 solved, 598 unsolved
[2024-06-01 02:09:09] [INFO ] Deduced a trap composed of 191 places in 880 ms of which 5 ms to minimize.
[2024-06-01 02:09:10] [INFO ] Deduced a trap composed of 136 places in 1360 ms of which 8 ms to minimize.
[2024-06-01 02:09:12] [INFO ] Deduced a trap composed of 160 places in 1444 ms of which 8 ms to minimize.
[2024-06-01 02:09:13] [INFO ] Deduced a trap composed of 62 places in 1449 ms of which 14 ms to minimize.
[2024-06-01 02:09:15] [INFO ] Deduced a trap composed of 165 places in 1501 ms of which 8 ms to minimize.
[2024-06-01 02:09:16] [INFO ] Deduced a trap composed of 140 places in 1365 ms of which 8 ms to minimize.
[2024-06-01 02:09:18] [INFO ] Deduced a trap composed of 61 places in 1276 ms of which 8 ms to minimize.
[2024-06-01 02:09:19] [INFO ] Deduced a trap composed of 115 places in 1336 ms of which 8 ms to minimize.
[2024-06-01 02:09:20] [INFO ] Deduced a trap composed of 96 places in 1379 ms of which 7 ms to minimize.
[2024-06-01 02:09:22] [INFO ] Deduced a trap composed of 104 places in 1302 ms of which 8 ms to minimize.
[2024-06-01 02:09:23] [INFO ] Deduced a trap composed of 226 places in 1414 ms of which 8 ms to minimize.
[2024-06-01 02:09:25] [INFO ] Deduced a trap composed of 249 places in 1426 ms of which 8 ms to minimize.
[2024-06-01 02:09:26] [INFO ] Deduced a trap composed of 245 places in 1418 ms of which 9 ms to minimize.
[2024-06-01 02:09:27] [INFO ] Deduced a trap composed of 212 places in 1413 ms of which 8 ms to minimize.
[2024-06-01 02:09:29] [INFO ] Deduced a trap composed of 184 places in 1341 ms of which 8 ms to minimize.
[2024-06-01 02:09:30] [INFO ] Deduced a trap composed of 193 places in 1394 ms of which 9 ms to minimize.
[2024-06-01 02:09:32] [INFO ] Deduced a trap composed of 204 places in 1433 ms of which 8 ms to minimize.
[2024-06-01 02:09:33] [INFO ] Deduced a trap composed of 73 places in 1483 ms of which 8 ms to minimize.
[2024-06-01 02:09:35] [INFO ] Deduced a trap composed of 150 places in 1446 ms of which 8 ms to minimize.
[2024-06-01 02:09:36] [INFO ] Deduced a trap composed of 148 places in 1301 ms of which 7 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/528 variables, 20/84 constraints. Problems are: Problem set: 0 solved, 598 unsolved
[2024-06-01 02:09:45] [INFO ] Deduced a trap composed of 100 places in 1122 ms of which 7 ms to minimize.
[2024-06-01 02:09:47] [INFO ] Deduced a trap composed of 121 places in 1227 ms of which 7 ms to minimize.
[2024-06-01 02:09:48] [INFO ] Deduced a trap composed of 162 places in 1326 ms of which 8 ms to minimize.
[2024-06-01 02:09:49] [INFO ] Deduced a trap composed of 121 places in 1409 ms of which 8 ms to minimize.
[2024-06-01 02:09:51] [INFO ] Deduced a trap composed of 161 places in 1428 ms of which 8 ms to minimize.
[2024-06-01 02:09:52] [INFO ] Deduced a trap composed of 211 places in 1436 ms of which 8 ms to minimize.
[2024-06-01 02:09:54] [INFO ] Deduced a trap composed of 169 places in 1289 ms of which 7 ms to minimize.
[2024-06-01 02:09:55] [INFO ] Deduced a trap composed of 160 places in 1432 ms of which 8 ms to minimize.
[2024-06-01 02:09:57] [INFO ] Deduced a trap composed of 126 places in 1436 ms of which 8 ms to minimize.
[2024-06-01 02:09:58] [INFO ] Deduced a trap composed of 126 places in 1321 ms of which 7 ms to minimize.
[2024-06-01 02:09:59] [INFO ] Deduced a trap composed of 207 places in 1397 ms of which 8 ms to minimize.
[2024-06-01 02:10:01] [INFO ] Deduced a trap composed of 163 places in 1390 ms of which 8 ms to minimize.
[2024-06-01 02:10:02] [INFO ] Deduced a trap composed of 148 places in 1295 ms of which 8 ms to minimize.
[2024-06-01 02:10:03] [INFO ] Deduced a trap composed of 227 places in 1325 ms of which 8 ms to minimize.
[2024-06-01 02:10:05] [INFO ] Deduced a trap composed of 101 places in 1386 ms of which 8 ms to minimize.
[2024-06-01 02:10:06] [INFO ] Deduced a trap composed of 172 places in 1455 ms of which 9 ms to minimize.
[2024-06-01 02:10:08] [INFO ] Deduced a trap composed of 192 places in 1418 ms of which 8 ms to minimize.
[2024-06-01 02:10:09] [INFO ] Deduced a trap composed of 163 places in 1407 ms of which 8 ms to minimize.
[2024-06-01 02:10:11] [INFO ] Deduced a trap composed of 172 places in 1400 ms of which 8 ms to minimize.
[2024-06-01 02:10:12] [INFO ] Deduced a trap composed of 165 places in 1391 ms of which 8 ms to minimize.
At refinement iteration 7 (INCLUDED_ONLY) 0/528 variables, 20/104 constraints. Problems are: Problem set: 0 solved, 598 unsolved
[2024-06-01 02:10:21] [INFO ] Deduced a trap composed of 129 places in 904 ms of which 5 ms to minimize.
[2024-06-01 02:10:22] [INFO ] Deduced a trap composed of 135 places in 1034 ms of which 6 ms to minimize.
[2024-06-01 02:10:23] [INFO ] Deduced a trap composed of 109 places in 973 ms of which 5 ms to minimize.
[2024-06-01 02:10:24] [INFO ] Deduced a trap composed of 108 places in 902 ms of which 5 ms to minimize.
[2024-06-01 02:10:25] [INFO ] Deduced a trap composed of 138 places in 883 ms of which 5 ms to minimize.
[2024-06-01 02:10:26] [INFO ] Deduced a trap composed of 152 places in 1021 ms of which 5 ms to minimize.
[2024-06-01 02:10:27] [INFO ] Deduced a trap composed of 135 places in 1058 ms of which 6 ms to minimize.
[2024-06-01 02:10:29] [INFO ] Deduced a trap composed of 107 places in 1268 ms of which 8 ms to minimize.
[2024-06-01 02:10:30] [INFO ] Deduced a trap composed of 132 places in 1397 ms of which 8 ms to minimize.
[2024-06-01 02:10:32] [INFO ] Deduced a trap composed of 131 places in 1455 ms of which 8 ms to minimize.
[2024-06-01 02:10:33] [INFO ] Deduced a trap composed of 155 places in 1420 ms of which 8 ms to minimize.
[2024-06-01 02:10:35] [INFO ] Deduced a trap composed of 156 places in 1447 ms of which 8 ms to minimize.
[2024-06-01 02:10:36] [INFO ] Deduced a trap composed of 113 places in 1394 ms of which 8 ms to minimize.
[2024-06-01 02:10:37] [INFO ] Deduced a trap composed of 149 places in 1356 ms of which 8 ms to minimize.
[2024-06-01 02:10:39] [INFO ] Deduced a trap composed of 107 places in 1358 ms of which 8 ms to minimize.
[2024-06-01 02:10:40] [INFO ] Deduced a trap composed of 168 places in 1397 ms of which 8 ms to minimize.
[2024-06-01 02:10:42] [INFO ] Deduced a trap composed of 112 places in 1450 ms of which 8 ms to minimize.
SMT process timed out in 244521ms, After SMT, problems are : Problem set: 0 solved, 598 unsolved
Fused 598 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 210 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 137 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 138 ms. Remains : 524/528 places, 3788/3792 transitions.
RANDOM walk for 2917737 steps (8 resets) in 120004 ms. (24 steps per ms) remains 582/598 properties
BEST_FIRST walk for 4003 steps (8 resets) in 55 ms. (71 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 74 ms. (53 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 66 ms. (59 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4004 steps (8 resets) in 86 ms. (46 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 94 ms. (42 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 117 ms. (33 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 93 ms. (42 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4004 steps (8 resets) in 124 ms. (32 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 122 ms. (32 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 96 ms. (41 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 152 ms. (26 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4001 steps (8 resets) in 119 ms. (33 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4001 steps (8 resets) in 148 ms. (26 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 108 ms. (36 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 136 ms. (29 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 4003 steps (8 resets) in 143 ms. (27 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 147 ms. (27 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4001 steps (8 resets) in 170 ms. (23 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 187 ms. (21 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 140 ms. (28 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 153 ms. (25 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 186 ms. (21 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 132 ms. (30 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 149 ms. (26 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 171 ms. (23 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 149 ms. (26 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4001 steps (8 resets) in 124 ms. (32 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4004 steps (8 resets) in 182 ms. (21 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 158 ms. (25 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 134 ms. (29 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 121 ms. (32 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 126 ms. (31 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 135 ms. (29 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 169 ms. (23 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4004 steps (8 resets) in 161 ms. (24 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 150 ms. (26 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 144 ms. (27 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 82 ms. (48 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4004 steps (8 resets) in 103 ms. (38 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 110 ms. (36 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 121 ms. (32 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 111 ms. (35 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 4003 steps (8 resets) in 135 ms. (29 steps per ms) remains 582/582 properties
Probabilistic random walk after 1000001 steps, saw 760334 distinct states, run finished after 91044 ms. (steps per millisecond=10 ) properties seen :0
// Phase 1: matrix 3788 rows 524 cols
[2024-06-01 02:12:45] [INFO ] Computed 26 invariants in 20 ms
[2024-06-01 02:12:45] [INFO ] State equation strengthened by 176 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/205 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 582 unsolved
At refinement iteration 1 (OVERLAPS) 305/510 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 582 unsolved
[2024-06-01 02:13:12] [INFO ] Deduced a trap composed of 443 places in 968 ms of which 8 ms to minimize.
[2024-06-01 02:13:13] [INFO ] Deduced a trap composed of 397 places in 958 ms of which 7 ms to minimize.
[2024-06-01 02:13:14] [INFO ] Deduced a trap composed of 419 places in 941 ms of which 8 ms to minimize.
[2024-06-01 02:13:15] [INFO ] Deduced a trap composed of 421 places in 986 ms of which 8 ms to minimize.
[2024-06-01 02:13:16] [INFO ] Deduced a trap composed of 420 places in 972 ms of which 8 ms to minimize.
[2024-06-01 02:13:17] [INFO ] Deduced a trap composed of 421 places in 959 ms of which 8 ms to minimize.
[2024-06-01 02:13:18] [INFO ] Deduced a trap composed of 398 places in 957 ms of which 8 ms to minimize.
[2024-06-01 02:13:19] [INFO ] Deduced a trap composed of 421 places in 979 ms of which 8 ms to minimize.
[2024-06-01 02:13:20] [INFO ] Deduced a trap composed of 376 places in 987 ms of which 7 ms to minimize.
[2024-06-01 02:13:21] [INFO ] Deduced a trap composed of 421 places in 1004 ms of which 8 ms to minimize.
[2024-06-01 02:13:23] [INFO ] Deduced a trap composed of 443 places in 986 ms of which 8 ms to minimize.
[2024-06-01 02:13:24] [INFO ] Deduced a trap composed of 374 places in 961 ms of which 8 ms to minimize.
[2024-06-01 02:13:25] [INFO ] Deduced a trap composed of 443 places in 969 ms of which 8 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/510 variables, 13/26 constraints. Problems are: Problem set: 0 solved, 582 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/510 variables, 0/26 constraints. Problems are: Problem set: 0 solved, 582 unsolved
At refinement iteration 4 (OVERLAPS) 14/524 variables, 13/39 constraints. Problems are: Problem set: 0 solved, 582 unsolved
[2024-06-01 02:13:59] [INFO ] Deduced a trap composed of 137 places in 1424 ms of which 8 ms to minimize.
[2024-06-01 02:14:01] [INFO ] Deduced a trap composed of 51 places in 1292 ms of which 8 ms to minimize.
[2024-06-01 02:14:02] [INFO ] Deduced a trap composed of 207 places in 1401 ms of which 8 ms to minimize.
[2024-06-01 02:14:04] [INFO ] Deduced a trap composed of 49 places in 1442 ms of which 8 ms to minimize.
[2024-06-01 02:14:06] [INFO ] Deduced a trap composed of 155 places in 1422 ms of which 8 ms to minimize.
[2024-06-01 02:14:07] [INFO ] Deduced a trap composed of 84 places in 1434 ms of which 9 ms to minimize.
[2024-06-01 02:14:10] [INFO ] Deduced a trap composed of 151 places in 1367 ms of which 8 ms to minimize.
[2024-06-01 02:14:14] [INFO ] Deduced a trap composed of 124 places in 1352 ms of which 8 ms to minimize.
[2024-06-01 02:14:15] [INFO ] Deduced a trap composed of 86 places in 1328 ms of which 8 ms to minimize.
[2024-06-01 02:14:17] [INFO ] Deduced a trap composed of 111 places in 1398 ms of which 9 ms to minimize.
[2024-06-01 02:14:18] [INFO ] Deduced a trap composed of 134 places in 1350 ms of which 8 ms to minimize.
[2024-06-01 02:14:20] [INFO ] Deduced a trap composed of 168 places in 1429 ms of which 8 ms to minimize.
[2024-06-01 02:14:21] [INFO ] Deduced a trap composed of 75 places in 1441 ms of which 8 ms to minimize.
[2024-06-01 02:14:23] [INFO ] Deduced a trap composed of 151 places in 1415 ms of which 8 ms to minimize.
[2024-06-01 02:14:24] [INFO ] Deduced a trap composed of 112 places in 1387 ms of which 8 ms to minimize.
[2024-06-01 02:14:26] [INFO ] Deduced a trap composed of 144 places in 1434 ms of which 8 ms to minimize.
[2024-06-01 02:14:27] [INFO ] Deduced a trap composed of 179 places in 1377 ms of which 8 ms to minimize.
[2024-06-01 02:14:28] [INFO ] Deduced a trap composed of 197 places in 1332 ms of which 8 ms to minimize.
[2024-06-01 02:14:30] [INFO ] Deduced a trap composed of 202 places in 1398 ms of which 7 ms to minimize.
[2024-06-01 02:14:31] [INFO ] Deduced a trap composed of 116 places in 1315 ms of which 8 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/524 variables, 20/59 constraints. Problems are: Problem set: 0 solved, 582 unsolved
[2024-06-01 02:14:34] [INFO ] Deduced a trap composed of 150 places in 864 ms of which 5 ms to minimize.
[2024-06-01 02:14:35] [INFO ] Deduced a trap composed of 98 places in 1263 ms of which 8 ms to minimize.
[2024-06-01 02:14:36] [INFO ] Deduced a trap composed of 225 places in 1411 ms of which 8 ms to minimize.
[2024-06-01 02:14:38] [INFO ] Deduced a trap composed of 146 places in 1405 ms of which 8 ms to minimize.
[2024-06-01 02:14:39] [INFO ] Deduced a trap composed of 123 places in 1412 ms of which 8 ms to minimize.
[2024-06-01 02:14:41] [INFO ] Deduced a trap composed of 92 places in 1388 ms of which 8 ms to minimize.
[2024-06-01 02:14:42] [INFO ] Deduced a trap composed of 102 places in 1386 ms of which 8 ms to minimize.
[2024-06-01 02:14:43] [INFO ] Deduced a trap composed of 98 places in 1407 ms of which 7 ms to minimize.
[2024-06-01 02:14:45] [INFO ] Deduced a trap composed of 165 places in 1354 ms of which 8 ms to minimize.
[2024-06-01 02:14:46] [INFO ] Deduced a trap composed of 158 places in 1362 ms of which 8 ms to minimize.
[2024-06-01 02:14:48] [INFO ] Deduced a trap composed of 193 places in 1394 ms of which 9 ms to minimize.
[2024-06-01 02:14:49] [INFO ] Deduced a trap composed of 74 places in 1360 ms of which 9 ms to minimize.
[2024-06-01 02:14:50] [INFO ] Deduced a trap composed of 68 places in 1435 ms of which 8 ms to minimize.
[2024-06-01 02:14:52] [INFO ] Deduced a trap composed of 142 places in 1360 ms of which 8 ms to minimize.
[2024-06-01 02:14:53] [INFO ] Deduced a trap composed of 97 places in 1456 ms of which 8 ms to minimize.
[2024-06-01 02:14:55] [INFO ] Deduced a trap composed of 101 places in 1452 ms of which 8 ms to minimize.
[2024-06-01 02:14:56] [INFO ] Deduced a trap composed of 145 places in 1470 ms of which 7 ms to minimize.
[2024-06-01 02:14:58] [INFO ] Deduced a trap composed of 95 places in 1457 ms of which 9 ms to minimize.
[2024-06-01 02:15:01] [INFO ] Deduced a trap composed of 112 places in 1431 ms of which 8 ms to minimize.
[2024-06-01 02:15:02] [INFO ] Deduced a trap composed of 103 places in 1408 ms of which 8 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/524 variables, 20/79 constraints. Problems are: Problem set: 0 solved, 582 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 524/4312 variables, and 79 constraints, problems are : Problem set: 0 solved, 582 unsolved in 135030 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: 582/582 constraints, Known Traps: 53/53 constraints]
Escalating to Integer solving :Problem set: 0 solved, 582 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/205 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 582 unsolved
At refinement iteration 1 (OVERLAPS) 305/510 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 582 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/510 variables, 13/26 constraints. Problems are: Problem set: 0 solved, 582 unsolved
[2024-06-01 02:15:10] [INFO ] Deduced a trap composed of 377 places in 880 ms of which 7 ms to minimize.
[2024-06-01 02:15:11] [INFO ] Deduced a trap composed of 351 places in 852 ms of which 7 ms to minimize.
[2024-06-01 02:15:12] [INFO ] Deduced a trap composed of 374 places in 890 ms of which 8 ms to minimize.
[2024-06-01 02:15:13] [INFO ] Deduced a trap composed of 374 places in 962 ms of which 8 ms to minimize.
[2024-06-01 02:15:14] [INFO ] Deduced a trap composed of 305 places in 976 ms of which 8 ms to minimize.
[2024-06-01 02:15:15] [INFO ] Deduced a trap composed of 328 places in 965 ms of which 8 ms to minimize.
[2024-06-01 02:15:16] [INFO ] Deduced a trap composed of 376 places in 952 ms of which 8 ms to minimize.
[2024-06-01 02:15:17] [INFO ] Deduced a trap composed of 376 places in 919 ms of which 8 ms to minimize.
[2024-06-01 02:15:18] [INFO ] Deduced a trap composed of 311 places in 879 ms of which 7 ms to minimize.
[2024-06-01 02:15:19] [INFO ] Deduced a trap composed of 349 places in 1153 ms of which 8 ms to minimize.
[2024-06-01 02:15:20] [INFO ] Deduced a trap composed of 355 places in 1126 ms of which 8 ms to minimize.
[2024-06-01 02:15:22] [INFO ] Deduced a trap composed of 333 places in 1128 ms of which 8 ms to minimize.
[2024-06-01 02:15:23] [INFO ] Deduced a trap composed of 379 places in 1125 ms of which 8 ms to minimize.
[2024-06-01 02:15:24] [INFO ] Deduced a trap composed of 283 places in 1101 ms of which 8 ms to minimize.
[2024-06-01 02:15:25] [INFO ] Deduced a trap composed of 303 places in 1145 ms of which 8 ms to minimize.
[2024-06-01 02:15:26] [INFO ] Deduced a trap composed of 386 places in 1057 ms of which 8 ms to minimize.
[2024-06-01 02:15:27] [INFO ] Deduced a trap composed of 280 places in 1085 ms of which 8 ms to minimize.
[2024-06-01 02:15:28] [INFO ] Deduced a trap composed of 356 places in 1116 ms of which 8 ms to minimize.
[2024-06-01 02:15:29] [INFO ] Deduced a trap composed of 295 places in 1061 ms of which 8 ms to minimize.
[2024-06-01 02:15:30] [INFO ] Deduced a trap composed of 318 places in 1078 ms of which 7 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/510 variables, 20/46 constraints. Problems are: Problem set: 0 solved, 582 unsolved
[2024-06-01 02:15:32] [INFO ] Deduced a trap composed of 310 places in 923 ms of which 8 ms to minimize.
[2024-06-01 02:15:33] [INFO ] Deduced a trap composed of 397 places in 903 ms of which 7 ms to minimize.
[2024-06-01 02:15:35] [INFO ] Deduced a trap composed of 330 places in 917 ms of which 8 ms to minimize.
[2024-06-01 02:15:36] [INFO ] Deduced a trap composed of 374 places in 947 ms of which 7 ms to minimize.
[2024-06-01 02:15:37] [INFO ] Deduced a trap composed of 353 places in 920 ms of which 8 ms to minimize.
[2024-06-01 02:15:38] [INFO ] Deduced a trap composed of 305 places in 918 ms of which 8 ms to minimize.
[2024-06-01 02:15:39] [INFO ] Deduced a trap composed of 396 places in 928 ms of which 7 ms to minimize.
[2024-06-01 02:15:40] [INFO ] Deduced a trap composed of 374 places in 957 ms of which 8 ms to minimize.
[2024-06-01 02:15:41] [INFO ] Deduced a trap composed of 374 places in 970 ms of which 8 ms to minimize.
[2024-06-01 02:15:42] [INFO ] Deduced a trap composed of 376 places in 983 ms of which 8 ms to minimize.
[2024-06-01 02:15:43] [INFO ] Deduced a trap composed of 313 places in 979 ms of which 8 ms to minimize.
[2024-06-01 02:15:44] [INFO ] Deduced a trap composed of 376 places in 942 ms of which 8 ms to minimize.
[2024-06-01 02:15:45] [INFO ] Deduced a trap composed of 351 places in 914 ms of which 7 ms to minimize.
[2024-06-01 02:15:46] [INFO ] Deduced a trap composed of 378 places in 904 ms of which 8 ms to minimize.
[2024-06-01 02:15:47] [INFO ] Deduced a trap composed of 400 places in 975 ms of which 8 ms to minimize.
[2024-06-01 02:15:48] [INFO ] Deduced a trap composed of 352 places in 970 ms of which 8 ms to minimize.
[2024-06-01 02:15:49] [INFO ] Deduced a trap composed of 310 places in 940 ms of which 8 ms to minimize.
[2024-06-01 02:15:50] [INFO ] Deduced a trap composed of 354 places in 915 ms of which 8 ms to minimize.
[2024-06-01 02:15:51] [INFO ] Deduced a trap composed of 266 places in 920 ms of which 8 ms to minimize.
[2024-06-01 02:15:52] [INFO ] Deduced a trap composed of 282 places in 852 ms of which 7 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/510 variables, 20/66 constraints. Problems are: Problem set: 0 solved, 582 unsolved
[2024-06-01 02:16:07] [INFO ] Deduced a trap composed of 310 places in 867 ms of which 8 ms to minimize.
[2024-06-01 02:16:08] [INFO ] Deduced a trap composed of 311 places in 881 ms of which 7 ms to minimize.
[2024-06-01 02:16:09] [INFO ] Deduced a trap composed of 308 places in 929 ms of which 7 ms to minimize.
[2024-06-01 02:16:10] [INFO ] Deduced a trap composed of 288 places in 872 ms of which 8 ms to minimize.
[2024-06-01 02:16:11] [INFO ] Deduced a trap composed of 267 places in 941 ms of which 8 ms to minimize.
[2024-06-01 02:16:12] [INFO ] Deduced a trap composed of 287 places in 975 ms of which 8 ms to minimize.
[2024-06-01 02:16:13] [INFO ] Deduced a trap composed of 399 places in 951 ms of which 8 ms to minimize.
[2024-06-01 02:16:14] [INFO ] Deduced a trap composed of 353 places in 967 ms of which 8 ms to minimize.
[2024-06-01 02:16:15] [INFO ] Deduced a trap composed of 397 places in 967 ms of which 8 ms to minimize.
[2024-06-01 02:16:16] [INFO ] Deduced a trap composed of 375 places in 930 ms of which 8 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/510 variables, 10/76 constraints. Problems are: Problem set: 0 solved, 582 unsolved
[2024-06-01 02:16:21] [INFO ] Deduced a trap composed of 351 places in 949 ms of which 7 ms to minimize.
[2024-06-01 02:16:22] [INFO ] Deduced a trap composed of 398 places in 946 ms of which 8 ms to minimize.
[2024-06-01 02:16:23] [INFO ] Deduced a trap composed of 352 places in 960 ms of which 7 ms to minimize.
[2024-06-01 02:16:24] [INFO ] Deduced a trap composed of 378 places in 971 ms of which 8 ms to minimize.
[2024-06-01 02:16:25] [INFO ] Deduced a trap composed of 402 places in 978 ms of which 7 ms to minimize.
[2024-06-01 02:16:26] [INFO ] Deduced a trap composed of 403 places in 968 ms of which 8 ms to minimize.
[2024-06-01 02:16:27] [INFO ] Deduced a trap composed of 376 places in 991 ms of which 7 ms to minimize.
[2024-06-01 02:16:28] [INFO ] Deduced a trap composed of 333 places in 997 ms of which 8 ms to minimize.
[2024-06-01 02:16:29] [INFO ] Deduced a trap composed of 339 places in 964 ms of which 8 ms to minimize.
[2024-06-01 02:16:30] [INFO ] Deduced a trap composed of 356 places in 962 ms of which 7 ms to minimize.
[2024-06-01 02:16:31] [INFO ] Deduced a trap composed of 315 places in 938 ms of which 8 ms to minimize.
[2024-06-01 02:16:32] [INFO ] Deduced a trap composed of 354 places in 977 ms of which 8 ms to minimize.
[2024-06-01 02:16:33] [INFO ] Deduced a trap composed of 329 places in 974 ms of which 8 ms to minimize.
[2024-06-01 02:16:34] [INFO ] Deduced a trap composed of 354 places in 965 ms of which 7 ms to minimize.
[2024-06-01 02:16:35] [INFO ] Deduced a trap composed of 293 places in 1136 ms of which 8 ms to minimize.
[2024-06-01 02:16:37] [INFO ] Deduced a trap composed of 303 places in 1107 ms of which 8 ms to minimize.
[2024-06-01 02:16:38] [INFO ] Deduced a trap composed of 308 places in 1139 ms of which 8 ms to minimize.
[2024-06-01 02:16:39] [INFO ] Deduced a trap composed of 303 places in 1116 ms of which 8 ms to minimize.
[2024-06-01 02:16:40] [INFO ] Deduced a trap composed of 289 places in 1128 ms of which 8 ms to minimize.
[2024-06-01 02:16:41] [INFO ] Deduced a trap composed of 334 places in 1091 ms of which 8 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/510 variables, 20/96 constraints. Problems are: Problem set: 0 solved, 582 unsolved
[2024-06-01 02:16:58] [INFO ] Deduced a trap composed of 326 places in 1136 ms of which 8 ms to minimize.
[2024-06-01 02:16:59] [INFO ] Deduced a trap composed of 311 places in 1088 ms of which 7 ms to minimize.
[2024-06-01 02:17:00] [INFO ] Deduced a trap composed of 325 places in 1143 ms of which 8 ms to minimize.
[2024-06-01 02:17:01] [INFO ] Deduced a trap composed of 315 places in 1077 ms of which 8 ms to minimize.
[2024-06-01 02:17:03] [INFO ] Deduced a trap composed of 289 places in 1054 ms of which 7 ms to minimize.
[2024-06-01 02:17:04] [INFO ] Deduced a trap composed of 273 places in 1034 ms of which 7 ms to minimize.
[2024-06-01 02:17:05] [INFO ] Deduced a trap composed of 313 places in 1037 ms of which 7 ms to minimize.
[2024-06-01 02:17:06] [INFO ] Deduced a trap composed of 302 places in 1017 ms of which 7 ms to minimize.
[2024-06-01 02:17:07] [INFO ] Deduced a trap composed of 350 places in 1065 ms of which 8 ms to minimize.
[2024-06-01 02:17:08] [INFO ] Deduced a trap composed of 365 places in 1127 ms of which 8 ms to minimize.
[2024-06-01 02:17:09] [INFO ] Deduced a trap composed of 277 places in 1095 ms of which 7 ms to minimize.
[2024-06-01 02:17:10] [INFO ] Deduced a trap composed of 370 places in 1110 ms of which 8 ms to minimize.
[2024-06-01 02:17:11] [INFO ] Deduced a trap composed of 375 places in 1068 ms of which 8 ms to minimize.
[2024-06-01 02:17:12] [INFO ] Deduced a trap composed of 370 places in 1088 ms of which 8 ms to minimize.
[2024-06-01 02:17:13] [INFO ] Deduced a trap composed of 356 places in 1087 ms of which 8 ms to minimize.
[2024-06-01 02:17:14] [INFO ] Deduced a trap composed of 345 places in 987 ms of which 8 ms to minimize.
[2024-06-01 02:17:16] [INFO ] Deduced a trap composed of 356 places in 1024 ms of which 7 ms to minimize.
[2024-06-01 02:17:17] [INFO ] Deduced a trap composed of 356 places in 1045 ms of which 8 ms to minimize.
[2024-06-01 02:17:18] [INFO ] Deduced a trap composed of 322 places in 949 ms of which 7 ms to minimize.
[2024-06-01 02:17:19] [INFO ] Deduced a trap composed of 369 places in 980 ms of which 8 ms to minimize.
SMT process timed out in 273555ms, After SMT, problems are : Problem set: 0 solved, 582 unsolved
Fused 582 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 205 out of 524 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 524/524 places, 3788/3788 transitions.
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 4 place count 520 transition count 3762
Iterating global reduction 0 with 4 rules applied. Total rules applied 8 place count 520 transition count 3762
Applied a total of 8 rules in 140 ms. Remains 520 /524 variables (removed 4) and now considering 3762/3788 (removed 26) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 142 ms. Remains : 520/524 places, 3762/3788 transitions.
RANDOM walk for 1257409 steps (0 resets) in 120004 ms. (10 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 70 ms. (56 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4001 steps (8 resets) in 83 ms. (47 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 90 ms. (43 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 84 ms. (47 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 4004 steps (8 resets) in 129 ms. (30 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4004 steps (8 resets) in 116 ms. (34 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 102 ms. (38 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4001 steps (8 resets) in 89 ms. (44 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 96 ms. (41 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 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 4002 steps (8 resets) in 134 ms. (29 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 109 ms. (36 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 100 ms. (39 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 104 ms. (38 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 110 ms. (36 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 148 ms. (26 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4004 steps (8 resets) in 167 ms. (23 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 143 ms. (27 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 139 ms. (28 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 163 ms. (24 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 164 ms. (24 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 165 ms. (24 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 204 ms. (19 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 4001 steps (8 resets) in 150 ms. (26 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 131 ms. (30 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4001 steps (8 resets) in 121 ms. (32 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 4003 steps (8 resets) in 180 ms. (22 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 4002 steps (8 resets) in 161 ms. (24 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 119 ms. (33 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4001 steps (8 resets) in 120 ms. (33 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 4002 steps (8 resets) in 146 ms. (27 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 156 ms. (25 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4004 steps (8 resets) in 142 ms. (28 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4004 steps (8 resets) in 134 ms. (29 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4004 steps (8 resets) in 102 ms. (38 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 4002 steps (8 resets) in 110 ms. (36 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 88 ms. (44 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4004 steps (8 resets) in 81 ms. (48 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 93 ms. (42 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4004 steps (8 resets) in 116 ms. (34 steps per ms) remains 582/582 properties
BEST_FIRST walk for 4001 steps (8 resets) in 142 ms. (27 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
Probabilistic random walk after 1000001 steps, saw 760905 distinct states, run finished after 91263 ms. (steps per millisecond=10 ) properties seen :0
// Phase 1: matrix 3762 rows 520 cols
[2024-06-01 02:19:22] [INFO ] Computed 26 invariants in 27 ms
[2024-06-01 02:19:22] [INFO ] State equation strengthened by 173 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/205 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 582 unsolved
At refinement iteration 1 (OVERLAPS) 301/506 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 582 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/506 variables, 1/14 constraints. Problems are: Problem set: 0 solved, 582 unsolved
[2024-06-01 02:19:48] [INFO ] Deduced a trap composed of 416 places in 1036 ms of which 8 ms to minimize.
[2024-06-01 02:19:49] [INFO ] Deduced a trap composed of 395 places in 851 ms of which 7 ms to minimize.
[2024-06-01 02:19:50] [INFO ] Deduced a trap composed of 372 places in 975 ms of which 8 ms to minimize.
[2024-06-01 02:19:51] [INFO ] Deduced a trap composed of 350 places in 959 ms of which 7 ms to minimize.
[2024-06-01 02:19:52] [INFO ] Deduced a trap composed of 353 places in 1005 ms of which 7 ms to minimize.
[2024-06-01 02:19:53] [INFO ] Deduced a trap composed of 351 places in 975 ms of which 8 ms to minimize.
[2024-06-01 02:19:54] [INFO ] Deduced a trap composed of 394 places in 898 ms of which 8 ms to minimize.
[2024-06-01 02:19:55] [INFO ] Deduced a trap composed of 375 places in 991 ms of which 8 ms to minimize.
[2024-06-01 02:19:56] [INFO ] Deduced a trap composed of 399 places in 994 ms of which 8 ms to minimize.
[2024-06-01 02:19:57] [INFO ] Deduced a trap composed of 329 places in 1011 ms of which 8 ms to minimize.
[2024-06-01 02:19:58] [INFO ] Deduced a trap composed of 326 places in 952 ms of which 8 ms to minimize.
[2024-06-01 02:20:00] [INFO ] Deduced a trap composed of 330 places in 1009 ms of which 8 ms to minimize.
[2024-06-01 02:20:01] [INFO ] Deduced a trap composed of 307 places in 993 ms of which 8 ms to minimize.
[2024-06-01 02:20:02] [INFO ] Deduced a trap composed of 373 places in 973 ms of which 7 ms to minimize.
[2024-06-01 02:20:03] [INFO ] Deduced a trap composed of 284 places in 953 ms of which 7 ms to minimize.
[2024-06-01 02:20:04] [INFO ] Deduced a trap composed of 329 places in 977 ms of which 7 ms to minimize.
[2024-06-01 02:20:06] [INFO ] Deduced a trap composed of 276 places in 1013 ms of which 7 ms to minimize.
[2024-06-01 02:20:07] [INFO ] Deduced a trap composed of 369 places in 955 ms of which 7 ms to minimize.
[2024-06-01 02:20:08] [INFO ] Deduced a trap composed of 271 places in 969 ms of which 8 ms to minimize.
[2024-06-01 02:20:09] [INFO ] Deduced a trap composed of 347 places in 999 ms of which 8 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/506 variables, 20/34 constraints. Problems are: Problem set: 0 solved, 582 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/506 variables, 0/34 constraints. Problems are: Problem set: 0 solved, 582 unsolved
At refinement iteration 5 (OVERLAPS) 14/520 variables, 12/46 constraints. Problems are: Problem set: 0 solved, 582 unsolved
[2024-06-01 02:20:39] [INFO ] Deduced a trap composed of 158 places in 1307 ms of which 7 ms to minimize.
[2024-06-01 02:20:40] [INFO ] Deduced a trap composed of 151 places in 1432 ms of which 8 ms to minimize.
[2024-06-01 02:20:42] [INFO ] Deduced a trap composed of 178 places in 1336 ms of which 8 ms to minimize.
[2024-06-01 02:20:43] [INFO ] Deduced a trap composed of 142 places in 1448 ms of which 9 ms to minimize.
[2024-06-01 02:20:45] [INFO ] Deduced a trap composed of 145 places in 1350 ms of which 8 ms to minimize.
[2024-06-01 02:20:46] [INFO ] Deduced a trap composed of 147 places in 1423 ms of which 8 ms to minimize.
[2024-06-01 02:20:48] [INFO ] Deduced a trap composed of 139 places in 1477 ms of which 8 ms to minimize.
[2024-06-01 02:20:49] [INFO ] Deduced a trap composed of 153 places in 1411 ms of which 7 ms to minimize.
[2024-06-01 02:20:50] [INFO ] Deduced a trap composed of 160 places in 1425 ms of which 8 ms to minimize.
[2024-06-01 02:20:52] [INFO ] Deduced a trap composed of 158 places in 1423 ms of which 8 ms to minimize.
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="ltsminxred"
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 ltsminxred"
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 r466-smll-171620124700239"
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 ;