About the Execution of LTSMin+red for Peterson-PT-6
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
866.783 | 1800000.00 | 2837132.00 | 2680.40 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r514-smll-171654416900178.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool ltsminxred
Input is Peterson-PT-6, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r514-smll-171654416900178
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.9M
-rw-r--r-- 1 mcc users 150K Apr 12 02:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 608K Apr 12 02:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 135K Apr 12 02:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 633K Apr 12 02:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:43 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 84K Apr 23 07:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 254K Apr 23 07:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 65K Apr 23 07:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 220K Apr 23 07:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 294K Apr 12 03:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 1.2M Apr 12 03:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 432K Apr 12 03:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.9M Apr 12 03:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 20K Apr 23 07:42 UpperBounds.txt
-rw-r--r-- 1 mcc users 41K Apr 23 07:42 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 2 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 877K May 18 16:43 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME StableMarking
=== Now, execution of the tool begins
BK_START 1717249231056
Invoking MCC driver with
BK_TOOL=ltsminxred
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=Peterson-PT-6
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool ltsmin
Invoking reducer
Running Version 202405141337
[2024-06-01 13:40:33] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -timeout, 180, -rebuildPNML]
[2024-06-01 13:40:33] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-06-01 13:40:34] [INFO ] Load time of PNML (sax parser for PT used): 458 ms
[2024-06-01 13:40:34] [INFO ] Transformed 1330 places.
[2024-06-01 13:40:34] [INFO ] Transformed 2030 transitions.
[2024-06-01 13:40:34] [INFO ] Found NUPN structural information;
[2024-06-01 13:40:34] [INFO ] Parsed PT model containing 1330 places and 2030 transitions and 6272 arcs in 848 ms.
RANDOM walk for 40000 steps (8 resets) in 4540 ms. (8 steps per ms) remains 870/1330 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 870/870 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 870/870 properties
[2024-06-01 13:40:36] [INFO ] Flow matrix only has 1820 transitions (discarded 210 similar events)
// Phase 1: matrix 1820 rows 1330 cols
[2024-06-01 13:40:36] [INFO ] Computed 27 invariants in 61 ms
[2024-06-01 13:40:36] [INFO ] State equation strengthened by 330 read => feed constraints.
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
At refinement iteration 0 (INCLUDED_ONLY) 0/870 variables, 870/870 constraints. Problems are: Problem set: 0 solved, 870 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 870/3150 variables, and 870 constraints, problems are : Problem set: 0 solved, 870 unsolved in 5207 ms.
Refiners :[Domain max(s): 870/1330 constraints, Positive P Invariants (semi-flows): 0/20 constraints, Generalized P Invariants (flows): 0/7 constraints, State Equation: 0/1330 constraints, ReadFeed: 0/330 constraints, PredecessorRefiner: 870/870 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 870 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/870 variables, 870/870 constraints. Problems are: Problem set: 0 solved, 870 unsolved
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 870/3150 variables, and 870 constraints, problems are : Problem set: 0 solved, 870 unsolved in 5043 ms.
Refiners :[Domain max(s): 870/1330 constraints, Positive P Invariants (semi-flows): 0/20 constraints, Generalized P Invariants (flows): 0/7 constraints, State Equation: 0/1330 constraints, ReadFeed: 0/330 constraints, PredecessorRefiner: 0/870 constraints, Known Traps: 0/0 constraints]
After SMT, in 10985ms problems are : Problem set: 0 solved, 870 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 870 out of 1330 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1330/1330 places, 2030/2030 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 126 transitions
Trivial Post-agglo rules discarded 126 transitions
Performed 126 trivial Post agglomeration. Transition count delta: 126
Iterating post reduction 0 with 126 rules applied. Total rules applied 126 place count 1330 transition count 1904
Reduce places removed 126 places and 0 transitions.
Iterating post reduction 1 with 126 rules applied. Total rules applied 252 place count 1204 transition count 1904
Performed 111 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 111 Pre rules applied. Total rules applied 252 place count 1204 transition count 1793
Deduced a syphon composed of 111 places in 3 ms
Reduce places removed 111 places and 0 transitions.
Iterating global reduction 2 with 222 rules applied. Total rules applied 474 place count 1093 transition count 1793
Applied a total of 474 rules in 419 ms. Remains 1093 /1330 variables (removed 237) and now considering 1793/2030 (removed 237) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 442 ms. Remains : 1093/1330 places, 1793/2030 transitions.
RANDOM walk for 1962157 steps (4 resets) in 120004 ms. (16 steps per ms) remains 812/870 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 812/812 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 805/812 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 801/805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 801/801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 71 ms. (55 steps per ms) remains 801/801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 797/801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 797/797 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 797/797 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 797/797 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 797/797 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 797/797 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 797/797 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 797/797 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 797/797 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 797/797 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 793/797 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 793/793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 793/793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 793/793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 793/793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 793/793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 793/793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 793/793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 793/793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 793/793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 793/793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 793/793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 793/793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 793/793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 793/793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 793/793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 793/793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 793/793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 793/793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 793/793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 793/793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 793/793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 789/793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 789/789 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 789/789 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 789/789 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 789/789 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 789/789 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 789/789 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 789/789 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 789/789 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 784/789 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 783/784 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 783/783 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 783/783 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 783/783 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 783/783 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 783/783 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 783/783 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 783/783 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 783/783 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 783/783 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 783/783 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 783/783 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 783/783 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 781/783 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 777/781 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 777/777 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 777/777 properties
BEST_FIRST walk for 4004 steps (8 resets) in 73 ms. (54 steps per ms) remains 777/777 properties
BEST_FIRST walk for 4004 steps (8 resets) in 102 ms. (38 steps per ms) remains 777/777 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 777/777 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 777/777 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 777/777 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 777/777 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 777/777 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 777/777 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 777/777 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 777/777 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 777/777 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 777/777 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 777/777 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 777/777 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 777/777 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 777/777 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 773/777 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 773/773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 773/773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 773/773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 773/773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 773/773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 773/773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 773/773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 773/773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 773/773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 773/773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 769/773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 769/769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 769/769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 769/769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 769/769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 769/769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 769/769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 769/769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 769/769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 769/769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 769/769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 769/769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 767/769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 767/767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 767/767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 764/767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 764/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 764/764 properties
[2024-06-01 13:41:20] [INFO ] Flow matrix only has 1583 transitions (discarded 210 similar events)
// Phase 1: matrix 1583 rows 1093 cols
[2024-06-01 13:41:20] [INFO ] Computed 27 invariants in 19 ms
[2024-06-01 13:41:20] [INFO ] State equation strengthened by 330 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/764 variables, 764/764 constraints. Problems are: Problem set: 0 solved, 764 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 764/2676 variables, and 764 constraints, problems are : Problem set: 0 solved, 764 unsolved in 45038 ms.
Refiners :[Domain max(s): 764/1093 constraints, Positive P Invariants (semi-flows): 0/20 constraints, Generalized P Invariants (flows): 0/7 constraints, State Equation: 0/1093 constraints, ReadFeed: 0/330 constraints, PredecessorRefiner: 764/764 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 764 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/764 variables, 764/764 constraints. Problems are: Problem set: 0 solved, 764 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/764 variables, 0/764 constraints. Problems are: Problem set: 0 solved, 764 unsolved
At refinement iteration 2 (OVERLAPS) 273/1037 variables, 7/771 constraints. Problems are: Problem set: 0 solved, 764 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/1037 variables, 273/1044 constraints. Problems are: Problem set: 0 solved, 764 unsolved
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1037/2676 variables, and 1044 constraints, problems are : Problem set: 0 solved, 764 unsolved in 45031 ms.
Refiners :[Domain max(s): 1037/1093 constraints, Positive P Invariants (semi-flows): 7/20 constraints, Generalized P Invariants (flows): 0/7 constraints, State Equation: 0/1093 constraints, ReadFeed: 0/330 constraints, PredecessorRefiner: 0/764 constraints, Known Traps: 0/0 constraints]
After SMT, in 90504ms problems are : Problem set: 0 solved, 764 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 764 out of 1093 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1093/1093 places, 1793/1793 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 56 transitions
Trivial Post-agglo rules discarded 56 transitions
Performed 56 trivial Post agglomeration. Transition count delta: 56
Iterating post reduction 0 with 56 rules applied. Total rules applied 56 place count 1093 transition count 1737
Reduce places removed 56 places and 0 transitions.
Iterating post reduction 1 with 56 rules applied. Total rules applied 112 place count 1037 transition count 1737
Performed 25 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 25 Pre rules applied. Total rules applied 112 place count 1037 transition count 1712
Deduced a syphon composed of 25 places in 7 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 2 with 50 rules applied. Total rules applied 162 place count 1012 transition count 1712
Applied a total of 162 rules in 153 ms. Remains 1012 /1093 variables (removed 81) and now considering 1712/1793 (removed 81) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 153 ms. Remains : 1012/1093 places, 1712/1793 transitions.
RANDOM walk for 2254412 steps (4 resets) in 120004 ms. (18 steps per ms) remains 763/764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 763/763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 763/763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 763/763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 763/763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 763/763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 763/763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 763/763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 763/763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 763/763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 763/763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 763/763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 763/763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 763/763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 763/763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 763/763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 763/763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 763/763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 763/763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 763/763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 763/763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 763/763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 763/763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 758/763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 758/758 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 758/758 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 758/758 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 749/758 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 64 ms. (61 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 64 ms. (61 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 64 ms. (61 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 64 ms. (61 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 71 ms. (55 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 71 ms. (55 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 76 ms. (52 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 64 ms. (61 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 77 ms. (51 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 76 ms. (52 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 83 ms. (47 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 76 ms. (52 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 73 ms. (54 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 72 ms. (54 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 72 ms. (54 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 71 ms. (55 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 749/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 745/749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 745/745 properties
Probabilistic random walk after 1000000 steps, saw 131397 distinct states, run finished after 19128 ms. (steps per millisecond=52 ) properties seen :4
[2024-06-01 13:43:42] [INFO ] Flow matrix only has 1502 transitions (discarded 210 similar events)
// Phase 1: matrix 1502 rows 1012 cols
[2024-06-01 13:43:42] [INFO ] Computed 27 invariants in 15 ms
[2024-06-01 13:43:42] [INFO ] State equation strengthened by 330 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/741 variables, 741/741 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/741 variables, 0/741 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 2 (OVERLAPS) 215/956 variables, 7/748 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/956 variables, 215/963 constraints. Problems are: Problem set: 0 solved, 741 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 956/2514 variables, and 963 constraints, problems are : Problem set: 0 solved, 741 unsolved in 75035 ms.
Refiners :[Domain max(s): 956/1012 constraints, Positive P Invariants (semi-flows): 7/20 constraints, Generalized P Invariants (flows): 0/7 constraints, State Equation: 0/1012 constraints, ReadFeed: 0/330 constraints, PredecessorRefiner: 741/741 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 741 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/741 variables, 741/741 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/741 variables, 0/741 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 2 (OVERLAPS) 215/956 variables, 7/748 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/956 variables, 215/963 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/956 variables, 0/963 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 5 (OVERLAPS) 7/963 variables, 7/970 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/963 variables, 7/977 constraints. Problems are: Problem set: 0 solved, 741 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 963/2514 variables, and 977 constraints, problems are : Problem set: 0 solved, 741 unsolved in 75042 ms.
Refiners :[Domain max(s): 963/1012 constraints, Positive P Invariants (semi-flows): 14/20 constraints, Generalized P Invariants (flows): 0/7 constraints, State Equation: 0/1012 constraints, ReadFeed: 0/330 constraints, PredecessorRefiner: 0/741 constraints, Known Traps: 0/0 constraints]
After SMT, in 150431ms problems are : Problem set: 0 solved, 741 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 741 out of 1012 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1012/1012 places, 1712/1712 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 11 transitions
Trivial Post-agglo rules discarded 11 transitions
Performed 11 trivial Post agglomeration. Transition count delta: 11
Iterating post reduction 0 with 11 rules applied. Total rules applied 11 place count 1012 transition count 1701
Reduce places removed 11 places and 0 transitions.
Iterating post reduction 1 with 11 rules applied. Total rules applied 22 place count 1001 transition count 1701
Performed 7 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 7 Pre rules applied. Total rules applied 22 place count 1001 transition count 1694
Deduced a syphon composed of 7 places in 5 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 2 with 14 rules applied. Total rules applied 36 place count 994 transition count 1694
Applied a total of 36 rules in 92 ms. Remains 994 /1012 variables (removed 18) and now considering 1694/1712 (removed 18) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 92 ms. Remains : 994/1012 places, 1694/1712 transitions.
RANDOM walk for 2271360 steps (4 resets) in 120004 ms. (18 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 741/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 741/741 properties
Probabilistic random walk after 1000000 steps, saw 132061 distinct states, run finished after 18586 ms. (steps per millisecond=53 ) properties seen :0
[2024-06-01 13:47:02] [INFO ] Flow matrix only has 1484 transitions (discarded 210 similar events)
// Phase 1: matrix 1484 rows 994 cols
[2024-06-01 13:47:02] [INFO ] Computed 27 invariants in 12 ms
[2024-06-01 13:47:02] [INFO ] State equation strengthened by 330 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/741 variables, 741/741 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/741 variables, 0/741 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 2 (OVERLAPS) 198/939 variables, 8/749 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/939 variables, 198/947 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/939 variables, 0/947 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 5 (OVERLAPS) 6/945 variables, 6/953 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/945 variables, 6/959 constraints. Problems are: Problem set: 0 solved, 741 unsolved
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 945/2478 variables, and 959 constraints, problems are : Problem set: 0 solved, 741 unsolved in 90031 ms.
Refiners :[Domain max(s): 945/994 constraints, Positive P Invariants (semi-flows): 14/20 constraints, Generalized P Invariants (flows): 0/7 constraints, State Equation: 0/994 constraints, ReadFeed: 0/330 constraints, PredecessorRefiner: 741/741 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 741 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/741 variables, 741/741 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/741 variables, 0/741 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 2 (OVERLAPS) 198/939 variables, 8/749 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/939 variables, 198/947 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/939 variables, 0/947 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 5 (OVERLAPS) 6/945 variables, 6/953 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/945 variables, 6/959 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/945 variables, 0/959 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 8 (OVERLAPS) 7/952 variables, 7/966 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/952 variables, 7/973 constraints. Problems are: Problem set: 0 solved, 741 unsolved
[2024-06-01 13:49:45] [INFO ] Deduced a trap composed of 40 places in 1338 ms of which 153 ms to minimize.
[2024-06-01 13:49:46] [INFO ] Deduced a trap composed of 46 places in 1040 ms of which 24 ms to minimize.
[2024-06-01 13:49:47] [INFO ] Deduced a trap composed of 67 places in 975 ms of which 28 ms to minimize.
[2024-06-01 13:49:48] [INFO ] Deduced a trap composed of 199 places in 525 ms of which 4 ms to minimize.
[2024-06-01 13:49:50] [INFO ] Deduced a trap composed of 52 places in 1318 ms of which 12 ms to minimize.
[2024-06-01 13:49:52] [INFO ] Deduced a trap composed of 73 places in 736 ms of which 9 ms to minimize.
[2024-06-01 13:49:53] [INFO ] Deduced a trap composed of 106 places in 771 ms of which 11 ms to minimize.
[2024-06-01 13:49:55] [INFO ] Deduced a trap composed of 91 places in 598 ms of which 10 ms to minimize.
[2024-06-01 13:49:56] [INFO ] Deduced a trap composed of 152 places in 631 ms of which 9 ms to minimize.
[2024-06-01 13:49:57] [INFO ] Deduced a trap composed of 126 places in 566 ms of which 12 ms to minimize.
[2024-06-01 13:49:57] [INFO ] Deduced a trap composed of 94 places in 592 ms of which 8 ms to minimize.
[2024-06-01 13:49:59] [INFO ] Deduced a trap composed of 115 places in 291 ms of which 5 ms to minimize.
[2024-06-01 13:50:00] [INFO ] Deduced a trap composed of 118 places in 280 ms of which 4 ms to minimize.
[2024-06-01 13:50:00] [INFO ] Deduced a trap composed of 153 places in 317 ms of which 4 ms to minimize.
[2024-06-01 13:50:01] [INFO ] Deduced a trap composed of 179 places in 351 ms of which 6 ms to minimize.
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 952/2478 variables, and 988 constraints, problems are : Problem set: 0 solved, 741 unsolved in 90030 ms.
Refiners :[Domain max(s): 952/994 constraints, Positive P Invariants (semi-flows): 14/20 constraints, Generalized P Invariants (flows): 7/7 constraints, State Equation: 0/994 constraints, ReadFeed: 0/330 constraints, PredecessorRefiner: 0/741 constraints, Known Traps: 15/15 constraints]
After SMT, in 180228ms problems are : Problem set: 0 solved, 741 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 741 out of 994 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 994/994 places, 1694/1694 transitions.
Applied a total of 0 rules in 54 ms. Remains 994 /994 variables (removed 0) and now considering 1694/1694 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 55 ms. Remains : 994/994 places, 1694/1694 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 994/994 places, 1694/1694 transitions.
Applied a total of 0 rules in 44 ms. Remains 994 /994 variables (removed 0) and now considering 1694/1694 (removed 0) transitions.
[2024-06-01 13:50:02] [INFO ] Flow matrix only has 1484 transitions (discarded 210 similar events)
[2024-06-01 13:50:02] [INFO ] Invariant cache hit.
[2024-06-01 13:50:03] [INFO ] Implicit Places using invariants in 892 ms returned [911, 912, 914, 986, 987, 988, 989]
Discarding 7 places :
Implicit Place search using SMT only with invariants took 910 ms to find 7 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 987/994 places, 1694/1694 transitions.
Applied a total of 0 rules in 34 ms. Remains 987 /987 variables (removed 0) and now considering 1694/1694 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 991 ms. Remains : 987/994 places, 1694/1694 transitions.
RANDOM walk for 2300737 steps (4 resets) in 120004 ms. (19 steps per ms) remains 737/741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 737/737 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 737/737 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 737/737 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 737/737 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 737/737 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 737/737 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 731/737 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 64 ms. (61 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 74 ms. (53 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 77 ms. (51 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 74 ms. (53 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 70 ms. (56 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 77 ms. (51 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 80 ms. (49 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 77 ms. (51 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 85 ms. (46 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 81 ms. (48 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 64 ms. (61 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 83 ms. (47 steps per ms) remains 731/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 729/731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 77 ms. (51 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 91 ms. (43 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 76 ms. (52 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 76 ms. (52 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 80 ms. (49 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 81 ms. (48 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 80 ms. (49 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 76 ms. (52 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 72 ms. (54 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 70 ms. (56 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 71 ms. (55 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 74 ms. (53 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 81 ms. (48 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 70 ms. (56 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 76 ms. (52 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 79 ms. (50 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 70 ms. (56 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 729/729 properties
Probabilistic random walk after 1000000 steps, saw 132053 distinct states, run finished after 19977 ms. (steps per millisecond=50 ) properties seen :0
[2024-06-01 13:50:55] [INFO ] Flow matrix only has 1484 transitions (discarded 210 similar events)
// Phase 1: matrix 1484 rows 987 cols
[2024-06-01 13:50:55] [INFO ] Computed 20 invariants in 6 ms
[2024-06-01 13:50:55] [INFO ] State equation strengthened by 330 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/729 variables, 729/729 constraints. Problems are: Problem set: 0 solved, 729 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/729 variables, 0/729 constraints. Problems are: Problem set: 0 solved, 729 unsolved
At refinement iteration 2 (OVERLAPS) 209/938 variables, 7/736 constraints. Problems are: Problem set: 0 solved, 729 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/938 variables, 209/945 constraints. Problems are: Problem set: 0 solved, 729 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/938 variables, 0/945 constraints. Problems are: Problem set: 0 solved, 729 unsolved
At refinement iteration 5 (OVERLAPS) 7/945 variables, 7/952 constraints. Problems are: Problem set: 0 solved, 729 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/945 variables, 7/959 constraints. Problems are: Problem set: 0 solved, 729 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 945/2471 variables, and 959 constraints, problems are : Problem set: 0 solved, 729 unsolved in 105037 ms.
Refiners :[Domain max(s): 945/987 constraints, Positive P Invariants (semi-flows): 14/20 constraints, State Equation: 0/987 constraints, ReadFeed: 0/330 constraints, PredecessorRefiner: 729/729 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 729 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/729 variables, 729/729 constraints. Problems are: Problem set: 0 solved, 729 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/729 variables, 0/729 constraints. Problems are: Problem set: 0 solved, 729 unsolved
At refinement iteration 2 (OVERLAPS) 209/938 variables, 7/736 constraints. Problems are: Problem set: 0 solved, 729 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/938 variables, 209/945 constraints. Problems are: Problem set: 0 solved, 729 unsolved
[2024-06-01 13:52:59] [INFO ] Deduced a trap composed of 94 places in 1062 ms of which 13 ms to minimize.
[2024-06-01 13:53:00] [INFO ] Deduced a trap composed of 126 places in 1089 ms of which 14 ms to minimize.
[2024-06-01 13:53:01] [INFO ] Deduced a trap composed of 46 places in 978 ms of which 8 ms to minimize.
[2024-06-01 13:53:02] [INFO ] Deduced a trap composed of 40 places in 878 ms of which 8 ms to minimize.
[2024-06-01 13:53:03] [INFO ] Deduced a trap composed of 199 places in 299 ms of which 4 ms to minimize.
[2024-06-01 13:53:04] [INFO ] Deduced a trap composed of 52 places in 938 ms of which 11 ms to minimize.
[2024-06-01 13:53:06] [INFO ] Deduced a trap composed of 73 places in 678 ms of which 7 ms to minimize.
[2024-06-01 13:53:07] [INFO ] Deduced a trap composed of 67 places in 776 ms of which 9 ms to minimize.
[2024-06-01 13:53:08] [INFO ] Deduced a trap composed of 105 places in 801 ms of which 10 ms to minimize.
[2024-06-01 13:53:10] [INFO ] Deduced a trap composed of 91 places in 560 ms of which 5 ms to minimize.
[2024-06-01 13:53:10] [INFO ] Deduced a trap composed of 152 places in 427 ms of which 6 ms to minimize.
[2024-06-01 13:53:12] [INFO ] Deduced a trap composed of 115 places in 351 ms of which 6 ms to minimize.
[2024-06-01 13:53:12] [INFO ] Deduced a trap composed of 118 places in 252 ms of which 4 ms to minimize.
[2024-06-01 13:53:13] [INFO ] Deduced a trap composed of 153 places in 379 ms of which 6 ms to minimize.
[2024-06-01 13:53:13] [INFO ] Deduced a trap composed of 179 places in 386 ms of which 6 ms to minimize.
[2024-06-01 13:53:15] [INFO ] Deduced a trap composed of 139 places in 225 ms of which 4 ms to minimize.
[2024-06-01 13:53:15] [INFO ] Deduced a trap composed of 247 places in 167 ms of which 3 ms to minimize.
[2024-06-01 13:53:16] [INFO ] Deduced a trap composed of 220 places in 153 ms of which 2 ms to minimize.
[2024-06-01 13:53:16] [INFO ] Deduced a trap composed of 200 places in 176 ms of which 3 ms to minimize.
[2024-06-01 13:53:16] [INFO ] Deduced a trap composed of 174 places in 207 ms of which 4 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/938 variables, 20/965 constraints. Problems are: Problem set: 0 solved, 729 unsolved
[2024-06-01 13:53:24] [INFO ] Deduced a trap composed of 142 places in 224 ms of which 4 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/938 variables, 1/966 constraints. Problems are: Problem set: 0 solved, 729 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/938 variables, 0/966 constraints. Problems are: Problem set: 0 solved, 729 unsolved
At refinement iteration 7 (OVERLAPS) 7/945 variables, 7/973 constraints. Problems are: Problem set: 0 solved, 729 unsolved
SMT process timed out in 210308ms, After SMT, problems are : Problem set: 0 solved, 729 unsolved
Fused 729 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 729 out of 987 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 987/987 places, 1694/1694 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 7 transitions
Trivial Post-agglo rules discarded 7 transitions
Performed 7 trivial Post agglomeration. Transition count delta: 7
Iterating post reduction 0 with 7 rules applied. Total rules applied 7 place count 987 transition count 1687
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 1 with 7 rules applied. Total rules applied 14 place count 980 transition count 1687
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 3 Pre rules applied. Total rules applied 14 place count 980 transition count 1684
Deduced a syphon composed of 3 places in 4 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 2 with 6 rules applied. Total rules applied 20 place count 977 transition count 1684
Applied a total of 20 rules in 71 ms. Remains 977 /987 variables (removed 10) and now considering 1684/1694 (removed 10) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 71 ms. Remains : 977/987 places, 1684/1694 transitions.
RANDOM walk for 2309174 steps (4 resets) in 120008 ms. (19 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 64 ms. (61 steps per ms) remains 727/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 74 ms. (53 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 81 ms. (48 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 78 ms. (50 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 84 ms. (47 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 83 ms. (47 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 77 ms. (51 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 83 ms. (47 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 79 ms. (50 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 82 ms. (48 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 85 ms. (46 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 79 ms. (50 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 80 ms. (49 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 79 ms. (50 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 80 ms. (49 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 80 ms. (49 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 81 ms. (48 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 93 ms. (42 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 76 ms. (52 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 86 ms. (46 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 76 ms. (52 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 72 ms. (54 steps per ms) remains 727/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 724/727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 724/724 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 724/724 properties
BEST_FIRST walk for 4004 steps (8 resets) in 81 ms. (48 steps per ms) remains 724/724 properties
BEST_FIRST walk for 4004 steps (8 resets) in 70 ms. (56 steps per ms) remains 724/724 properties
BEST_FIRST walk for 4004 steps (8 resets) in 79 ms. (50 steps per ms) remains 724/724 properties
BEST_FIRST walk for 4004 steps (8 resets) in 76 ms. (52 steps per ms) remains 724/724 properties
BEST_FIRST walk for 4004 steps (8 resets) in 81 ms. (48 steps per ms) remains 724/724 properties
BEST_FIRST walk for 4004 steps (8 resets) in 74 ms. (53 steps per ms) remains 724/724 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 724/724 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 724/724 properties
BEST_FIRST walk for 4004 steps (8 resets) in 82 ms. (48 steps per ms) remains 724/724 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 724/724 properties
BEST_FIRST walk for 4004 steps (8 resets) in 76 ms. (52 steps per ms) remains 724/724 properties
BEST_FIRST walk for 4004 steps (8 resets) in 77 ms. (51 steps per ms) remains 724/724 properties
BEST_FIRST walk for 4004 steps (8 resets) in 77 ms. (51 steps per ms) remains 724/724 properties
BEST_FIRST walk for 4004 steps (8 resets) in 77 ms. (51 steps per ms) remains 724/724 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 720/724 properties
BEST_FIRST walk for 4004 steps (8 resets) in 77 ms. (51 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 84 ms. (47 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 70 ms. (56 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 70 ms. (56 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 74 ms. (53 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 70 ms. (56 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 64 ms. (61 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 74 ms. (53 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 77 ms. (51 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 76 ms. (52 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 74 ms. (53 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 76 ms. (52 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 77 ms. (51 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 64 ms. (61 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 70 ms. (56 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 78 ms. (50 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 76 ms. (52 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 77 ms. (51 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 76 ms. (52 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 74 ms. (53 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 74 ms. (53 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 720/720 properties
Probabilistic random walk after 1000000 steps, saw 132055 distinct states, run finished after 22750 ms. (steps per millisecond=43 ) properties seen :0
[2024-06-01 13:55:20] [INFO ] Flow matrix only has 1474 transitions (discarded 210 similar events)
// Phase 1: matrix 1474 rows 977 cols
[2024-06-01 13:55:20] [INFO ] Computed 20 invariants in 9 ms
[2024-06-01 13:55:20] [INFO ] State equation strengthened by 330 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/720 variables, 720/720 constraints. Problems are: Problem set: 0 solved, 720 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/720 variables, 0/720 constraints. Problems are: Problem set: 0 solved, 720 unsolved
At refinement iteration 2 (OVERLAPS) 208/928 variables, 7/727 constraints. Problems are: Problem set: 0 solved, 720 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/928 variables, 208/935 constraints. Problems are: Problem set: 0 solved, 720 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/928 variables, 0/935 constraints. Problems are: Problem set: 0 solved, 720 unsolved
At refinement iteration 5 (OVERLAPS) 7/935 variables, 7/942 constraints. Problems are: Problem set: 0 solved, 720 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/935 variables, 7/949 constraints. Problems are: Problem set: 0 solved, 720 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/935 variables, 0/949 constraints. Problems are: Problem set: 0 solved, 720 unsolved
At refinement iteration 8 (OVERLAPS) 1474/2409 variables, 935/1884 constraints. Problems are: Problem set: 0 solved, 720 unsolved
SMT process timed out in 120222ms, After SMT, problems are : Problem set: 0 solved, 720 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 720 out of 977 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 977/977 places, 1684/1684 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 4 transitions
Trivial Post-agglo rules discarded 4 transitions
Performed 4 trivial Post agglomeration. Transition count delta: 4
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 977 transition count 1680
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 8 place count 973 transition count 1680
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 3 Pre rules applied. Total rules applied 8 place count 973 transition count 1677
Deduced a syphon composed of 3 places in 12 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 2 with 6 rules applied. Total rules applied 14 place count 970 transition count 1677
Applied a total of 14 rules in 130 ms. Remains 970 /977 variables (removed 7) and now considering 1677/1684 (removed 7) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 132 ms. Remains : 970/977 places, 1677/1684 transitions.
RANDOM walk for 1132069 steps (0 resets) in 120004 ms. (9 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 72 ms. (54 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 64 ms. (61 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 72 ms. (54 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 73 ms. (54 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 72 ms. (54 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 72 ms. (54 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 70 ms. (56 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 71 ms. (55 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 73 ms. (54 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 716/720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 83 ms. (47 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 82 ms. (48 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 74 ms. (53 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 64 ms. (61 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 72 ms. (54 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 82 ms. (48 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 716/716 properties
Probabilistic random walk after 1000000 steps, saw 132056 distinct states, run finished after 22249 ms. (steps per millisecond=44 ) properties seen :0
[2024-06-01 13:58:15] [INFO ] Flow matrix only has 1467 transitions (discarded 210 similar events)
// Phase 1: matrix 1467 rows 970 cols
[2024-06-01 13:58:15] [INFO ] Computed 20 invariants in 6 ms
[2024-06-01 13:58:15] [INFO ] State equation strengthened by 330 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/716 variables, 716/716 constraints. Problems are: Problem set: 0 solved, 716 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/716 variables, 0/716 constraints. Problems are: Problem set: 0 solved, 716 unsolved
At refinement iteration 2 (OVERLAPS) 205/921 variables, 7/723 constraints. Problems are: Problem set: 0 solved, 716 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/921 variables, 205/928 constraints. Problems are: Problem set: 0 solved, 716 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/921 variables, 0/928 constraints. Problems are: Problem set: 0 solved, 716 unsolved
At refinement iteration 5 (OVERLAPS) 7/928 variables, 7/935 constraints. Problems are: Problem set: 0 solved, 716 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/928 variables, 7/942 constraints. Problems are: Problem set: 0 solved, 716 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/928 variables, 0/942 constraints. Problems are: Problem set: 0 solved, 716 unsolved
At refinement iteration 8 (OVERLAPS) 1467/2395 variables, 928/1870 constraints. Problems are: Problem set: 0 solved, 716 unsolved
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
SMT process timed out in 135210ms, After SMT, problems are : Problem set: 0 solved, 716 unsolved
Fused 716 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 716 out of 970 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 970/970 places, 1677/1677 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 970 transition count 1675
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 968 transition count 1675
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 4 place count 968 transition count 1674
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 6 place count 967 transition count 1674
Applied a total of 6 rules in 59 ms. Remains 967 /970 variables (removed 3) and now considering 1674/1677 (removed 3) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 59 ms. Remains : 967/970 places, 1674/1677 transitions.
RANDOM walk for 1064172 steps (0 resets) in 120004 ms. (8 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 64 ms. (61 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 73 ms. (54 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 72 ms. (54 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 84 ms. (47 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 80 ms. (49 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 72 ms. (54 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 86 ms. (46 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 84 ms. (47 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 78 ms. (50 steps per ms) remains 716/716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 72 ms. (54 steps per ms) remains 716/716 properties
Probabilistic random walk after 1000000 steps, saw 132059 distinct states, run finished after 23104 ms. (steps per millisecond=43 ) properties seen :0
[2024-06-01 14:01:24] [INFO ] Flow matrix only has 1464 transitions (discarded 210 similar events)
// Phase 1: matrix 1464 rows 967 cols
[2024-06-01 14:01:24] [INFO ] Computed 20 invariants in 7 ms
[2024-06-01 14:01:24] [INFO ] State equation strengthened by 330 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/716 variables, 716/716 constraints. Problems are: Problem set: 0 solved, 716 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/716 variables, 0/716 constraints. Problems are: Problem set: 0 solved, 716 unsolved
At refinement iteration 2 (OVERLAPS) 202/918 variables, 7/723 constraints. Problems are: Problem set: 0 solved, 716 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/918 variables, 202/925 constraints. Problems are: Problem set: 0 solved, 716 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/918 variables, 0/925 constraints. Problems are: Problem set: 0 solved, 716 unsolved
At refinement iteration 5 (OVERLAPS) 7/925 variables, 7/932 constraints. Problems are: Problem set: 0 solved, 716 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/925 variables, 7/939 constraints. Problems are: Problem set: 0 solved, 716 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/925 variables, 0/939 constraints. Problems are: Problem set: 0 solved, 716 unsolved
At refinement iteration 8 (OVERLAPS) 1464/2389 variables, 925/1864 constraints. Problems are: Problem set: 0 solved, 716 unsolved
Error getting values : (error "ParserException while parsing response: ((t0 0.0)
(t1 0.0)
(t2 0.0)
(t3 0.0)
(t4 0.0)
(t5 0.0)
(t6 0.0)
(t7 0.0)
(t8 0.0)
(t9 0.0)
(t10 0.0)
(t11 0.0)
(t12 0.0)
(t13 0.0)
(t14 0.0)
(t15 0.0)
(t16 0.0)
(t17 0.0)
(t18 0.0)
(t19 0.0)
(t20 0.0)
(t21 0.0)
(t22 0.0)
(t23 0.0)
(t24 0.0)
(t25 0.0)
(t26 0.0)
(t27 0.0)
(t28 0.0)
(t29 (/ 5.0 14.0))
(t30 0.0)
(t31 (/ 1.0 28.0))
(t32 (/ 1.0 28.0))
(t33 (/ 1.0 28.0))
(t34 (/ 11.0 224.0))
(t35 (/ 11.0 224.0))
(t36 (/ 1.0 28.0))
(t37 0.0)
(t38 0.0)
(t39 0.0)
(t40 0.0)
(t41 0.0)
(t42 0.0)
(t43 0.0)
(t44 0.0)
(t45 0.0)
(t46 0.0)
(t47 0.0)
(t48 (/ 1.0 56.0))
(t49 (/ 1.0 56.0))
(t50 (/ 1.0 32.0))
(t51 (/ 1.0 32.0))
(t52 (/ 1.0 28.0))
(t53 (/ 1.0 28.0))
(t54 (/ 1.0 28.0))
(t55 (/ 1.0 28.0))
(t56 (/ 3.0 224.0))
(t57 (/ 1.0 56.0))
(t58 (/ 1.0 56.0))
(t59 (/ 1.0 56.0))
(t60 (/ 1.0 56.0))
(t61 (/ 15.0 224.0))
(t62 (/ 15.0 224.0))
(t63 (/ 15.0 224.0))
(t64 (/ 15.0 224.0))
(t65 (/ 1.0 14.0))
(t66 (/ 1.0 14.0))
(t67 (/ 1.0 14.0))
(t68 (/ 19.0 224.0))
(t69 (/ 1.0 28.0))
(t70 (/ 11.0 224.0))
(t71 (/ 11.0 224.0))
(t72 (/ 11.0 224.0))
(t73 (/ 3.0 56.0))
(t74 (/ 3.0 56.0))
(t75 (/ 3.0 56.0))
(t76 (/ 3.0 56.0))
(t77 (/ 3.0 56.0))
(t78 (/ 3.0 56.0))
(t79 (/ 11.0 224.0))
(t80 (/ 11.0 224.0))
(t81 (/ 15.0 224.0))
(t82 (/ 15.0 224.0))
(t83 (/ 3.0 56.0))
(t84 (/ 3.0 56.0))
(t85 (/ 1.0 28.0))
(t86 (/ 1.0 28.0))
(t87 (/ 1.0 32.0))
(t88 (/ 1.0 32.0))
(t89 (/ 11.0 224.0))
(t90 (/ 1.0 28.0))
(t91 (/ 1.0 28.0))
(t92 (/ 1.0 28.0))
(t93 (/ 19.0 224.0))
(t94 (/ 19.0 224.0))
(t95 (/ 1.0 14.0))
(t96 (/ 1.0 14.0))
(t97 (/ 15.0 224.0))
(t98 (/ 15.0 224.0))
(t99 (/ 19.0 224.0))
(t100 (/ 19.0 224.0))
(t101 (/ 1.0 14.0))
(t102 (/ 19.0 224.0))
(t103 (/ 19.0 224.0))
(t104 (/ 19.0 224.0))
(t105 (/ 15.0 224.0))
(t106 (/ 95.0 224.0))
(t107 (/ 1.0 14.0))
(t108 (/ 3.0 56.0))
(t109 (/ 3.0 56.0))
(t110 (/ 15.0 224.0))
(t111 (/ 15.0 224.0))
(t112 (/ 1.0 56.0))
(t113 (/ 1.0 56.0))
(t114 (/ 1.0 32.0))
(t115 (/ 1.0 32.0))
(t116 (/ 1.0 56.0))
(t117 (/ 1.0 56.0))
(t118 (/ 1.0 56.0))
(t119 (/ 1.0 56.0))
(t120 (/ 3.0 224.0))
(t121 (/ 3.0 8.0))
(t122 (/ 1.0 56.0))
(t123 (/ 3.0 224.0))
(t124 (/ 19.0 224.0))
(t125 (/ 19.0 224.0))
(t126 (/ 19.0 224.0))
(t127 (/ 19.0 224.0))
(t128 (/ 3.0 56.0))
(t129 (/ 3.0 56.0))
(t130 (/ 11.0 224.0))
(t131 (/ 13.0 32.0))
(t132 (/ 1.0 28.0))
(t133 (/ 11.0 224.0))
(t134 (/ 1.0 28.0))
(t135 (/ 1.0 28.0))
(t136 (/ 11.0 28.0))
(t137 (/ 1.0 28.0))
(t138 (/ 1.0 32.0))
(t139 (/ 1.0 32.0))
(t140 (/ 1.0 56.0))
(t141 (/ 1.0 56.0))
(t142 (/ 1.0 56.0))
(t143 (/ 1.0 56.0))
(t144 (/ 5.0 224.0))
(t145 (/ 5.0 224.0))
(t146 (/ 5.0 224.0))
(t147 (/ 1.0 224.0))
(t148 (/ 1.0 56.0))
(t149 (/ 5.0 224.0))
(t150 (/ 5.0 224.0))
(t151 (/ 1.0 28.0))
(t152 (/ 3.0 56.0))
(t153 (/ 3.0 56.0))
(t154 (/ 11.0 224.0))
(t155 (/ 11.0 224.0))
(t156 (/ 11.0 224.0))
(t157 (/ 1.0 28.0))
(t158 (/ 1.0 28.0))
(t159 (/ 1.0 28.0))
(t160 (/ 1.0 14.0))
(t161 (/ 1.0 14.0))
(t162 (/ 15.0 224.0))
(t163 (/ 15.0 224.0))
(t164 (/ 15.0 224.0))
(t165 (/ 15.0 224.0))
(t166 (/ 3.0 56.0))
(t167 (/ 3.0 56.0))
(t168 (/ 1.0 56.0))
(t169 (/ 1.0 56.0))
(t170 (/ 3.0 224.0))
(t171 (/ 1.0 28.0))
(t172 (/ 1.0 28.0))
(t173 (/ 1.0 32.0))
(t174 (/ 1.0 32.0))
(t175 (/ 1.0 56.0))
(t176 (/ 1.0 56.0))
(t177 (/ 1.0 56.0))
(t178 (/ 1.0 56.0))
(t179 (/ 1.0 56.0))
(t180 (/ 1.0 56.0))
(t181 (/ 1.0 56.0))
(t182 (/ 1.0 56.0))
(t183 (/ 1.0 56.0))
(t184 (/ 1.0 56.0))
(t185 (/ 1.0 32.0))
(t186 (/ 1.0 32.0))
(t187 (/ 1.0 28.0))
(t188 (/ 1.0 28.0))
(t189 (/ 1.0 28.0))
(t190 (/ 1.0 28.0))
(t191 (/ 11.0 224.0))
(t192 (/ 1.0 28.0))
(t193 (/ 11.0 224.0))
(t194 (/ 11.0 224.0))
(t195 (/ 1.0 14.0))
(t196 (/ 19.0 224.0))
(t197 (/ 19.0 224.0))
(t198 (/ 19.0 224.0))
(t199 (/ 19.0 224.0))
(t200 (/ 19.0 224.0))
(t201 (/ 3.0 224.0))
(t202 (/ 1.0 56.0))
(t203 (/ 1.0 56.0))
(t204 (/ 3.0 224.0))
(t205 (/ 1.0 56.0))
(t206 (/ 1.0 56.0))
(t207 (/ 1.0 56.0))
(t208 (/ 1.0 56.0))
(t209 (/ 3.0 56.0))
(t210 (/ 3.0 56.0))
(t211 (/ 3.0 56.0))
(t212 (/ 3.0 56.0))
(t213 (/ 15.0 224.0))
(t214 (/ 15.0 224.0))
(t215 (/ 15.0 224.0))
(t216 (/ 15.0 224.0))
(t217 (/ 1.0 14.0))
(t218 (/ 19.0 224.0))
(t219 (/ 1.0 14.0))
(t220 (/ 1.0 14.0))
(t221 (/ 19.0 224.0))
(t222 (/ 19.0 224.0))
(t223 (/ 19.0 224.0))
(t224 (/ 19.0 224.0))
(t225 (/ 1.0 14.0))
(t226 (/ 13.0 224.0))
(t227 timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
SMT process timed out in 150252ms, After SMT, problems are : Problem set: 0 solved, 716 unsolved
Fused 716 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 716 out of 967 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 967/967 places, 1674/1674 transitions.
Applied a total of 0 rules in 41 ms. Remains 967 /967 variables (removed 0) and now considering 1674/1674 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 41 ms. Remains : 967/967 places, 1674/1674 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 967/967 places, 1674/1674 transitions.
Applied a total of 0 rules in 33 ms. Remains 967 /967 variables (removed 0) and now considering 1674/1674 (removed 0) transitions.
[2024-06-01 14:03:54] [INFO ] Flow matrix only has 1464 transitions (discarded 210 similar events)
[2024-06-01 14:03:54] [INFO ] Invariant cache hit.
[2024-06-01 14:03:55] [INFO ] Implicit Places using invariants in 1061 ms returned []
[2024-06-01 14:03:55] [INFO ] Flow matrix only has 1464 transitions (discarded 210 similar events)
[2024-06-01 14:03:55] [INFO ] Invariant cache hit.
[2024-06-01 14:03:57] [INFO ] State equation strengthened by 330 read => feed constraints.
[2024-06-01 14:04:00] [INFO ] Implicit Places using invariants and state equation in 4391 ms returned []
Implicit Place search using SMT with State Equation took 5456 ms to find 0 implicit places.
[2024-06-01 14:04:00] [INFO ] Redundant transitions in 152 ms returned []
Running 1667 sub problems to find dead transitions.
[2024-06-01 14:04:00] [INFO ] Flow matrix only has 1464 transitions (discarded 210 similar events)
[2024-06-01 14:04:00] [INFO ] Invariant cache hit.
[2024-06-01 14:04:00] [INFO ] State equation strengthened by 330 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/967 variables, 967/967 constraints. Problems are: Problem set: 0 solved, 1667 unsolved
SMT process timed out in 30995ms, After SMT, problems are : Problem set: 0 solved, 1667 unsolved
Search for dead transitions found 0 dead transitions in 31034ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 36704 ms. Remains : 967/967 places, 1674/1674 transitions.
RANDOM walk for 400000 steps (8 resets) in 44391 ms. (9 steps per ms) remains 716/716 properties
Running SMT prover for 716 properties.
[2024-06-01 14:04:42] [INFO ] Flow matrix only has 1464 transitions (discarded 210 similar events)
[2024-06-01 14:04:42] [INFO ] Invariant cache hit.
[2024-06-01 14:04:43] [INFO ] [Real]Absence check using 20 positive place invariants in 20 ms returned sat
[2024-06-01 14:04:47] [INFO ] After 2901ms SMT Verify possible using state equation in real domain returned unsat :0 sat :716
[2024-06-01 14:04:47] [INFO ] State equation strengthened by 330 read => feed constraints.
[2024-06-01 14:04:57] [INFO ] After 9596ms SMT Verify possible using 330 Read/Feed constraints in real domain returned unsat :0 sat :716
TRAPS : Iteration 0
[2024-06-01 14:06:46] [INFO ] After 119031ms SMT Verify possible using trap constraints in real domain returned unsat :0 sat :0 real:716
[2024-06-01 14:06:46] [INFO ] After 123576ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:716
[2024-06-01 14:06:47] [INFO ] [Nat]Absence check using 20 positive place invariants in 19 ms returned sat
[2024-06-01 14:06:49] [INFO ] After 2106ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :716
[2024-06-01 14:07:01] [INFO ] After 11489ms SMT Verify possible using 330 Read/Feed constraints in natural domain returned unsat :0 sat :716
TRAPS : Iteration 0
[2024-06-01 14:07:02] [INFO ] Deduced a trap composed of 19 places in 1146 ms of which 21 ms to minimize.
[2024-06-01 14:07:03] [INFO ] Deduced a trap composed of 12 places in 846 ms of which 9 ms to minimize.
[2024-06-01 14:07:04] [INFO ] Deduced a trap composed of 34 places in 1050 ms of which 12 ms to minimize.
[2024-06-01 14:07:05] [INFO ] Deduced a trap composed of 80 places in 1167 ms of which 14 ms to minimize.
[2024-06-01 14:07:06] [INFO ] Deduced a trap composed of 12 places in 990 ms of which 13 ms to minimize.
[2024-06-01 14:07:08] [INFO ] Deduced a trap composed of 54 places in 1195 ms of which 13 ms to minimize.
[2024-06-01 14:07:09] [INFO ] Deduced a trap composed of 23 places in 1049 ms of which 8 ms to minimize.
[2024-06-01 14:07:10] [INFO ] Deduced a trap composed of 73 places in 820 ms of which 10 ms to minimize.
[2024-06-01 14:07:11] [INFO ] Deduced a trap composed of 19 places in 720 ms of which 8 ms to minimize.
[2024-06-01 14:07:12] [INFO ] Deduced a trap composed of 20 places in 1269 ms of which 15 ms to minimize.
[2024-06-01 14:07:13] [INFO ] Deduced a trap composed of 86 places in 969 ms of which 8 ms to minimize.
[2024-06-01 14:07:14] [INFO ] Deduced a trap composed of 20 places in 926 ms of which 8 ms to minimize.
[2024-06-01 14:07:15] [INFO ] Deduced a trap composed of 20 places in 980 ms of which 9 ms to minimize.
[2024-06-01 14:07:16] [INFO ] Deduced a trap composed of 109 places in 874 ms of which 8 ms to minimize.
[2024-06-01 14:07:17] [INFO ] Deduced a trap composed of 40 places in 1052 ms of which 11 ms to minimize.
[2024-06-01 14:07:18] [INFO ] Deduced a trap composed of 11 places in 1202 ms of which 14 ms to minimize.
[2024-06-01 14:07:19] [INFO ] Deduced a trap composed of 12 places in 1019 ms of which 13 ms to minimize.
[2024-06-01 14:07:20] [INFO ] Deduced a trap composed of 12 places in 891 ms of which 8 ms to minimize.
[2024-06-01 14:07:21] [INFO ] Deduced a trap composed of 33 places in 883 ms of which 9 ms to minimize.
[2024-06-01 14:07:22] [INFO ] Deduced a trap composed of 10 places in 913 ms of which 10 ms to minimize.
[2024-06-01 14:07:23] [INFO ] Deduced a trap composed of 33 places in 758 ms of which 10 ms to minimize.
[2024-06-01 14:07:24] [INFO ] Deduced a trap composed of 43 places in 868 ms of which 10 ms to minimize.
[2024-06-01 14:07:25] [INFO ] Deduced a trap composed of 22 places in 834 ms of which 10 ms to minimize.
[2024-06-01 14:07:26] [INFO ] Deduced a trap composed of 19 places in 800 ms of which 7 ms to minimize.
[2024-06-01 14:07:27] [INFO ] Deduced a trap composed of 58 places in 781 ms of which 7 ms to minimize.
[2024-06-01 14:07:28] [INFO ] Deduced a trap composed of 43 places in 816 ms of which 10 ms to minimize.
[2024-06-01 14:07:29] [INFO ] Deduced a trap composed of 64 places in 940 ms of which 7 ms to minimize.
[2024-06-01 14:07:30] [INFO ] Deduced a trap composed of 43 places in 964 ms of which 11 ms to minimize.
[2024-06-01 14:07:31] [INFO ] Deduced a trap composed of 48 places in 1005 ms of which 12 ms to minimize.
[2024-06-01 14:07:32] [INFO ] Deduced a trap composed of 48 places in 988 ms of which 12 ms to minimize.
[2024-06-01 14:07:33] [INFO ] Deduced a trap composed of 69 places in 812 ms of which 11 ms to minimize.
[2024-06-01 14:07:34] [INFO ] Deduced a trap composed of 28 places in 934 ms of which 11 ms to minimize.
[2024-06-01 14:07:34] [INFO ] Trap strengthening (SAT) tested/added 33/32 trap constraints in 33197 ms
[2024-06-01 14:07:35] [INFO ] Deduced a trap composed of 75 places in 828 ms of which 11 ms to minimize.
[2024-06-01 14:07:36] [INFO ] Deduced a trap composed of 58 places in 847 ms of which 10 ms to minimize.
[2024-06-01 14:07:37] [INFO ] Deduced a trap composed of 53 places in 804 ms of which 9 ms to minimize.
[2024-06-01 14:07:38] [INFO ] Deduced a trap composed of 58 places in 710 ms of which 7 ms to minimize.
[2024-06-01 14:07:39] [INFO ] Deduced a trap composed of 53 places in 908 ms of which 10 ms to minimize.
[2024-06-01 14:07:40] [INFO ] Deduced a trap composed of 43 places in 846 ms of which 10 ms to minimize.
[2024-06-01 14:07:41] [INFO ] Deduced a trap composed of 48 places in 839 ms of which 8 ms to minimize.
[2024-06-01 14:07:41] [INFO ] Trap strengthening (SAT) tested/added 8/7 trap constraints in 6582 ms
[2024-06-01 14:07:42] [INFO ] Deduced a trap composed of 37 places in 1026 ms of which 8 ms to minimize.
[2024-06-01 14:07:43] [INFO ] Deduced a trap composed of 21 places in 835 ms of which 11 ms to minimize.
[2024-06-01 14:07:44] [INFO ] Deduced a trap composed of 26 places in 879 ms of which 12 ms to minimize.
[2024-06-01 14:07:44] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 3097 ms
[2024-06-01 14:07:45] [INFO ] Deduced a trap composed of 26 places in 903 ms of which 8 ms to minimize.
[2024-06-01 14:07:45] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 1078 ms
[2024-06-01 14:07:47] [INFO ] Deduced a trap composed of 44 places in 903 ms of which 8 ms to minimize.
[2024-06-01 14:07:48] [INFO ] Deduced a trap composed of 82 places in 724 ms of which 11 ms to minimize.
[2024-06-01 14:07:48] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 1903 ms
[2024-06-01 14:07:49] [INFO ] Deduced a trap composed of 25 places in 1114 ms of which 12 ms to minimize.
[2024-06-01 14:07:50] [INFO ] Deduced a trap composed of 80 places in 758 ms of which 11 ms to minimize.
[2024-06-01 14:07:51] [INFO ] Deduced a trap composed of 68 places in 740 ms of which 9 ms to minimize.
[2024-06-01 14:07:51] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 3046 ms
[2024-06-01 14:07:52] [INFO ] Deduced a trap composed of 102 places in 593 ms of which 8 ms to minimize.
[2024-06-01 14:07:53] [INFO ] Deduced a trap composed of 105 places in 544 ms of which 7 ms to minimize.
[2024-06-01 14:07:53] [INFO ] Deduced a trap composed of 106 places in 523 ms of which 7 ms to minimize.
[2024-06-01 14:07:54] [INFO ] Deduced a trap composed of 102 places in 591 ms of which 8 ms to minimize.
[2024-06-01 14:07:55] [INFO ] Deduced a trap composed of 106 places in 533 ms of which 7 ms to minimize.
[2024-06-01 14:07:55] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 3352 ms
[2024-06-01 14:07:56] [INFO ] Deduced a trap composed of 104 places in 628 ms of which 7 ms to minimize.
[2024-06-01 14:07:57] [INFO ] Deduced a trap composed of 82 places in 522 ms of which 7 ms to minimize.
[2024-06-01 14:07:58] [INFO ] Deduced a trap composed of 72 places in 782 ms of which 10 ms to minimize.
[2024-06-01 14:07:58] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 2309 ms
[2024-06-01 14:07:59] [INFO ] Deduced a trap composed of 58 places in 746 ms of which 7 ms to minimize.
[2024-06-01 14:08:00] [INFO ] Deduced a trap composed of 78 places in 740 ms of which 12 ms to minimize.
[2024-06-01 14:08:00] [INFO ] Deduced a trap composed of 36 places in 626 ms of which 7 ms to minimize.
[2024-06-01 14:08:01] [INFO ] Deduced a trap composed of 43 places in 836 ms of which 11 ms to minimize.
[2024-06-01 14:08:02] [INFO ] Deduced a trap composed of 129 places in 714 ms of which 9 ms to minimize.
[2024-06-01 14:08:03] [INFO ] Deduced a trap composed of 137 places in 716 ms of which 10 ms to minimize.
[2024-06-01 14:08:04] [INFO ] Deduced a trap composed of 106 places in 671 ms of which 6 ms to minimize.
[2024-06-01 14:08:04] [INFO ] Deduced a trap composed of 140 places in 617 ms of which 11 ms to minimize.
[2024-06-01 14:08:05] [INFO ] Deduced a trap composed of 92 places in 784 ms of which 9 ms to minimize.
[2024-06-01 14:08:06] [INFO ] Deduced a trap composed of 119 places in 809 ms of which 11 ms to minimize.
[2024-06-01 14:08:07] [INFO ] Deduced a trap composed of 126 places in 807 ms of which 11 ms to minimize.
[2024-06-01 14:08:08] [INFO ] Deduced a trap composed of 90 places in 432 ms of which 7 ms to minimize.
[2024-06-01 14:08:08] [INFO ] Deduced a trap composed of 78 places in 420 ms of which 7 ms to minimize.
[2024-06-01 14:08:09] [INFO ] Deduced a trap composed of 78 places in 392 ms of which 5 ms to minimize.
[2024-06-01 14:08:09] [INFO ] Deduced a trap composed of 140 places in 489 ms of which 7 ms to minimize.
[2024-06-01 14:08:10] [INFO ] Deduced a trap composed of 92 places in 637 ms of which 6 ms to minimize.
[2024-06-01 14:08:11] [INFO ] Deduced a trap composed of 82 places in 520 ms of which 10 ms to minimize.
[2024-06-01 14:08:11] [INFO ] Deduced a trap composed of 117 places in 609 ms of which 8 ms to minimize.
[2024-06-01 14:08:12] [INFO ] Deduced a trap composed of 80 places in 462 ms of which 7 ms to minimize.
[2024-06-01 14:08:13] [INFO ] Deduced a trap composed of 65 places in 790 ms of which 10 ms to minimize.
[2024-06-01 14:08:14] [INFO ] Deduced a trap composed of 84 places in 781 ms of which 11 ms to minimize.
[2024-06-01 14:08:15] [INFO ] Deduced a trap composed of 68 places in 780 ms of which 11 ms to minimize.
[2024-06-01 14:08:16] [INFO ] Deduced a trap composed of 83 places in 799 ms of which 11 ms to minimize.
[2024-06-01 14:08:17] [INFO ] Deduced a trap composed of 82 places in 675 ms of which 6 ms to minimize.
[2024-06-01 14:08:17] [INFO ] Deduced a trap composed of 63 places in 446 ms of which 6 ms to minimize.
[2024-06-01 14:08:18] [INFO ] Deduced a trap composed of 66 places in 464 ms of which 6 ms to minimize.
[2024-06-01 14:08:18] [INFO ] Deduced a trap composed of 137 places in 334 ms of which 6 ms to minimize.
[2024-06-01 14:08:18] [INFO ] Trap strengthening (SAT) tested/added 28/27 trap constraints in 20237 ms
[2024-06-01 14:08:19] [INFO ] Deduced a trap composed of 11 places in 637 ms of which 8 ms to minimize.
[2024-06-01 14:08:20] [INFO ] Deduced a trap composed of 34 places in 243 ms of which 4 ms to minimize.
[2024-06-01 14:08:20] [INFO ] Deduced a trap composed of 38 places in 236 ms of which 4 ms to minimize.
[2024-06-01 14:08:20] [INFO ] Deduced a trap composed of 26 places in 290 ms of which 4 ms to minimize.
[2024-06-01 14:08:21] [INFO ] Deduced a trap composed of 31 places in 285 ms of which 5 ms to minimize.
[2024-06-01 14:08:21] [INFO ] Deduced a trap composed of 37 places in 297 ms of which 5 ms to minimize.
[2024-06-01 14:08:22] [INFO ] Deduced a trap composed of 40 places in 299 ms of which 5 ms to minimize.
[2024-06-01 14:08:23] [INFO ] Deduced a trap composed of 43 places in 672 ms of which 11 ms to minimize.
[2024-06-01 14:08:24] [INFO ] Deduced a trap composed of 28 places in 767 ms of which 11 ms to minimize.
[2024-06-01 14:08:26] [INFO ] Deduced a trap composed of 13 places in 689 ms of which 11 ms to minimize.
[2024-06-01 14:08:27] [INFO ] Deduced a trap composed of 13 places in 813 ms of which 10 ms to minimize.
[2024-06-01 14:08:28] [INFO ] Deduced a trap composed of 58 places in 809 ms of which 7 ms to minimize.
[2024-06-01 14:08:29] [INFO ] Deduced a trap composed of 84 places in 750 ms of which 13 ms to minimize.
[2024-06-01 14:08:30] [INFO ] Deduced a trap composed of 87 places in 917 ms of which 11 ms to minimize.
[2024-06-01 14:08:31] [INFO ] Deduced a trap composed of 91 places in 749 ms of which 9 ms to minimize.
[2024-06-01 14:08:32] [INFO ] Deduced a trap composed of 85 places in 737 ms of which 7 ms to minimize.
[2024-06-01 14:08:32] [INFO ] Deduced a trap composed of 13 places in 548 ms of which 11 ms to minimize.
[2024-06-01 14:08:33] [INFO ] Deduced a trap composed of 14 places in 766 ms of which 9 ms to minimize.
[2024-06-01 14:08:34] [INFO ] Deduced a trap composed of 13 places in 703 ms of which 10 ms to minimize.
[2024-06-01 14:08:35] [INFO ] Deduced a trap composed of 13 places in 736 ms of which 11 ms to minimize.
[2024-06-01 14:08:36] [INFO ] Deduced a trap composed of 106 places in 634 ms of which 9 ms to minimize.
[2024-06-01 14:08:36] [INFO ] Deduced a trap composed of 61 places in 656 ms of which 9 ms to minimize.
[2024-06-01 14:08:37] [INFO ] Deduced a trap composed of 30 places in 660 ms of which 9 ms to minimize.
[2024-06-01 14:08:38] [INFO ] Deduced a trap composed of 65 places in 551 ms of which 11 ms to minimize.
[2024-06-01 14:08:39] [INFO ] Deduced a trap composed of 119 places in 688 ms of which 5 ms to minimize.
[2024-06-01 14:08:39] [INFO ] Deduced a trap composed of 109 places in 438 ms of which 6 ms to minimize.
[2024-06-01 14:08:40] [INFO ] Deduced a trap composed of 86 places in 532 ms of which 9 ms to minimize.
[2024-06-01 14:08:41] [INFO ] Deduced a trap composed of 84 places in 728 ms of which 10 ms to minimize.
[2024-06-01 14:08:42] [INFO ] Deduced a trap composed of 110 places in 760 ms of which 9 ms to minimize.
[2024-06-01 14:08:42] [INFO ] Deduced a trap composed of 57 places in 727 ms of which 10 ms to minimize.
[2024-06-01 14:08:43] [INFO ] Deduced a trap composed of 84 places in 694 ms of which 9 ms to minimize.
[2024-06-01 14:08:44] [INFO ] Deduced a trap composed of 89 places in 739 ms of which 10 ms to minimize.
[2024-06-01 14:08:45] [INFO ] Deduced a trap composed of 68 places in 960 ms of which 11 ms to minimize.
[2024-06-01 14:08:46] [INFO ] Deduced a trap composed of 57 places in 943 ms of which 12 ms to minimize.
[2024-06-01 14:08:47] [INFO ] Deduced a trap composed of 89 places in 822 ms of which 10 ms to minimize.
[2024-06-01 14:08:48] [INFO ] Deduced a trap composed of 27 places in 687 ms of which 9 ms to minimize.
[2024-06-01 14:08:49] [INFO ] Deduced a trap composed of 39 places in 894 ms of which 8 ms to minimize.
[2024-06-01 14:08:50] [INFO ] Deduced a trap composed of 42 places in 995 ms of which 12 ms to minimize.
[2024-06-01 14:08:51] [INFO ] Deduced a trap composed of 149 places in 499 ms of which 7 ms to minimize.
[2024-06-01 14:08:51] [INFO ] Deduced a trap composed of 116 places in 425 ms of which 4 ms to minimize.
[2024-06-01 14:08:52] [INFO ] Deduced a trap composed of 113 places in 408 ms of which 9 ms to minimize.
[2024-06-01 14:08:53] [INFO ] Deduced a trap composed of 134 places in 583 ms of which 8 ms to minimize.
[2024-06-01 14:08:53] [INFO ] Deduced a trap composed of 133 places in 336 ms of which 5 ms to minimize.
[2024-06-01 14:08:54] [INFO ] Deduced a trap composed of 130 places in 558 ms of which 8 ms to minimize.
[2024-06-01 14:08:54] [INFO ] Deduced a trap composed of 133 places in 570 ms of which 7 ms to minimize.
[2024-06-01 14:08:55] [INFO ] Deduced a trap composed of 130 places in 534 ms of which 7 ms to minimize.
[2024-06-01 14:08:55] [INFO ] Trap strengthening (SAT) tested/added 47/46 trap constraints in 36356 ms
[2024-06-01 14:08:56] [INFO ] Deduced a trap composed of 33 places in 643 ms of which 11 ms to minimize.
[2024-06-01 14:08:57] [INFO ] Deduced a trap composed of 30 places in 871 ms of which 10 ms to minimize.
[2024-06-01 14:08:58] [INFO ] Deduced a trap composed of 48 places in 772 ms of which 9 ms to minimize.
[2024-06-01 14:08:59] [INFO ] Deduced a trap composed of 110 places in 788 ms of which 11 ms to minimize.
[2024-06-01 14:09:00] [INFO ] Deduced a trap composed of 59 places in 1093 ms of which 13 ms to minimize.
[2024-06-01 14:09:01] [INFO ] Deduced a trap composed of 55 places in 1019 ms of which 11 ms to minimize.
[2024-06-01 14:09:02] [INFO ] Deduced a trap composed of 138 places in 862 ms of which 12 ms to minimize.
[2024-06-01 14:09:03] [INFO ] Deduced a trap composed of 59 places in 1010 ms of which 12 ms to minimize.
[2024-06-01 14:09:04] [INFO ] Deduced a trap composed of 40 places in 856 ms of which 11 ms to minimize.
[2024-06-01 14:09:05] [INFO ] Deduced a trap composed of 100 places in 849 ms of which 11 ms to minimize.
[2024-06-01 14:09:06] [INFO ] Deduced a trap composed of 104 places in 942 ms of which 11 ms to minimize.
[2024-06-01 14:09:07] [INFO ] Deduced a trap composed of 89 places in 890 ms of which 12 ms to minimize.
[2024-06-01 14:09:08] [INFO ] Deduced a trap composed of 92 places in 928 ms of which 12 ms to minimize.
[2024-06-01 14:09:10] [INFO ] Deduced a trap composed of 108 places in 945 ms of which 12 ms to minimize.
[2024-06-01 14:09:11] [INFO ] Deduced a trap composed of 99 places in 894 ms of which 12 ms to minimize.
[2024-06-01 14:09:11] [INFO ] Deduced a trap composed of 138 places in 702 ms of which 9 ms to minimize.
[2024-06-01 14:09:12] [INFO ] Deduced a trap composed of 138 places in 704 ms of which 10 ms to minimize.
[2024-06-01 14:09:13] [INFO ] Deduced a trap composed of 141 places in 723 ms of which 9 ms to minimize.
[2024-06-01 14:09:14] [INFO ] Deduced a trap composed of 135 places in 710 ms of which 10 ms to minimize.
[2024-06-01 14:09:15] [INFO ] Deduced a trap composed of 138 places in 782 ms of which 9 ms to minimize.
[2024-06-01 14:09:15] [INFO ] Trap strengthening (SAT) tested/added 21/20 trap constraints in 19165 ms
[2024-06-01 14:09:15] [INFO ] Deduced a trap composed of 114 places in 491 ms of which 7 ms to minimize.
[2024-06-01 14:09:19] [INFO ] Deduced a trap composed of 81 places in 772 ms of which 11 ms to minimize.
[2024-06-01 14:09:21] [INFO ] Deduced a trap composed of 64 places in 550 ms of which 16 ms to minimize.
[2024-06-01 14:09:21] [INFO ] Deduced a trap composed of 130 places in 537 ms of which 8 ms to minimize.
[2024-06-01 14:09:22] [INFO ] Deduced a trap composed of 130 places in 509 ms of which 8 ms to minimize.
[2024-06-01 14:09:23] [INFO ] Deduced a trap composed of 130 places in 640 ms of which 12 ms to minimize.
[2024-06-01 14:09:23] [INFO ] Deduced a trap composed of 126 places in 623 ms of which 8 ms to minimize.
[2024-06-01 14:09:24] [INFO ] Trap strengthening (SAT) tested/added 8/7 trap constraints in 8692 ms
[2024-06-01 14:09:25] [INFO ] Deduced a trap composed of 48 places in 312 ms of which 5 ms to minimize.
[2024-06-01 14:09:26] [INFO ] Deduced a trap composed of 13 places in 509 ms of which 9 ms to minimize.
[2024-06-01 14:09:27] [INFO ] Deduced a trap composed of 120 places in 518 ms of which 8 ms to minimize.
[2024-06-01 14:09:27] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 2933 ms
[2024-06-01 14:09:28] [INFO ] Deduced a trap composed of 25 places in 681 ms of which 9 ms to minimize.
[2024-06-01 14:09:29] [INFO ] Deduced a trap composed of 10 places in 633 ms of which 9 ms to minimize.
[2024-06-01 14:09:29] [INFO ] Deduced a trap composed of 63 places in 433 ms of which 6 ms to minimize.
[2024-06-01 14:09:29] [INFO ] Deduced a trap composed of 54 places in 145 ms of which 2 ms to minimize.
[2024-06-01 14:09:30] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 2410 ms
[2024-06-01 14:09:31] [INFO ] Deduced a trap composed of 44 places in 772 ms of which 11 ms to minimize.
[2024-06-01 14:09:31] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 981 ms
[2024-06-01 14:09:32] [INFO ] Deduced a trap composed of 45 places in 715 ms of which 10 ms to minimize.
[2024-06-01 14:09:32] [INFO ] Deduced a trap composed of 52 places in 706 ms of which 10 ms to minimize.
[2024-06-01 14:09:33] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 1723 ms
[2024-06-01 14:09:34] [INFO ] Deduced a trap composed of 40 places in 780 ms of which 8 ms to minimize.
[2024-06-01 14:09:34] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 930 ms
[2024-06-01 14:09:34] [INFO ] Deduced a trap composed of 20 places in 663 ms of which 9 ms to minimize.
[2024-06-01 14:09:35] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 810 ms
[2024-06-01 14:09:36] [INFO ] Deduced a trap composed of 25 places in 809 ms of which 10 ms to minimize.
[2024-06-01 14:09:36] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 989 ms
[2024-06-01 14:09:37] [INFO ] Deduced a trap composed of 46 places in 752 ms of which 7 ms to minimize.
[2024-06-01 14:09:37] [INFO ] Deduced a trap composed of 72 places in 336 ms of which 5 ms to minimize.
[2024-06-01 14:09:38] [INFO ] Deduced a trap composed of 72 places in 582 ms of which 9 ms to minimize.
[2024-06-01 14:09:39] [INFO ] Deduced a trap composed of 55 places in 729 ms of which 10 ms to minimize.
[2024-06-01 14:09:39] [INFO ] Deduced a trap composed of 59 places in 723 ms of which 10 ms to minimize.
[2024-06-01 14:09:40] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 3672 ms
[2024-06-01 14:09:41] [INFO ] Deduced a trap composed of 78 places in 690 ms of which 10 ms to minimize.
[2024-06-01 14:09:41] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 878 ms
[2024-06-01 14:09:42] [INFO ] Deduced a trap composed of 66 places in 695 ms of which 9 ms to minimize.
[2024-06-01 14:09:42] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 885 ms
[2024-06-01 14:09:44] [INFO ] Deduced a trap composed of 10 places in 1002 ms of which 13 ms to minimize.
[2024-06-01 14:09:45] [INFO ] Deduced a trap composed of 34 places in 805 ms of which 11 ms to minimize.
[2024-06-01 14:09:45] [INFO ] Deduced a trap composed of 71 places in 788 ms of which 10 ms to minimize.
[2024-06-01 14:09:46] [INFO ] Deduced a trap composed of 45 places in 761 ms of which 10 ms to minimize.
[2024-06-01 14:09:47] [INFO ] Deduced a trap composed of 34 places in 796 ms of which 10 ms to minimize.
[2024-06-01 14:09:48] [INFO ] Deduced a trap composed of 34 places in 809 ms of which 12 ms to minimize.
[2024-06-01 14:09:49] [INFO ] Deduced a trap composed of 34 places in 829 ms of which 11 ms to minimize.
[2024-06-01 14:09:50] [INFO ] Deduced a trap composed of 38 places in 850 ms of which 11 ms to minimize.
[2024-06-01 14:09:51] [INFO ] Deduced a trap composed of 109 places in 620 ms of which 8 ms to minimize.
[2024-06-01 14:09:51] [INFO ] Deduced a trap composed of 106 places in 621 ms of which 9 ms to minimize.
[2024-06-01 14:09:52] [INFO ] Trap strengthening (SAT) tested/added 11/10 trap constraints in 8971 ms
[2024-06-01 14:09:53] [INFO ] Deduced a trap composed of 83 places in 653 ms of which 10 ms to minimize.
[2024-06-01 14:09:54] [INFO ] Deduced a trap composed of 71 places in 766 ms of which 10 ms to minimize.
[2024-06-01 14:09:55] [INFO ] Deduced a trap composed of 66 places in 737 ms of which 10 ms to minimize.
[2024-06-01 14:09:56] [INFO ] Deduced a trap composed of 66 places in 704 ms of which 9 ms to minimize.
[2024-06-01 14:09:57] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 4022 ms
[2024-06-01 14:09:58] [INFO ] Deduced a trap composed of 39 places in 866 ms of which 11 ms to minimize.
[2024-06-01 14:09:59] [INFO ] Deduced a trap composed of 85 places in 673 ms of which 9 ms to minimize.
[2024-06-01 14:09:59] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 1811 ms
[2024-06-01 14:10:00] [INFO ] Deduced a trap composed of 90 places in 691 ms of which 6 ms to minimize.
[2024-06-01 14:10:00] [INFO ] Deduced a trap composed of 64 places in 439 ms of which 6 ms to minimize.
[2024-06-01 14:10:01] [INFO ] Deduced a trap composed of 48 places in 446 ms of which 10 ms to minimize.
[2024-06-01 14:10:02] [INFO ] Deduced a trap composed of 17 places in 864 ms of which 11 ms to minimize.
[2024-06-01 14:10:02] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 3564 ms
[2024-06-01 14:10:04] [INFO ] Deduced a trap composed of 58 places in 730 ms of which 10 ms to minimize.
[2024-06-01 14:10:05] [INFO ] Deduced a trap composed of 62 places in 711 ms of which 9 ms to minimize.
[2024-06-01 14:10:06] [INFO ] Deduced a trap composed of 62 places in 702 ms of which 10 ms to minimize.
[2024-06-01 14:10:06] [INFO ] Deduced a trap composed of 81 places in 691 ms of which 9 ms to minimize.
SMT process timed out, exceeded limit of 100
[2024-06-01 14:10:06] [INFO ] After 197020ms SMT Verify possible using After timeout in natural domain returned unsat :0 sat :716
[2024-06-01 14:10:06] [INFO ] After 200387ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :716
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 StableMarking -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="Peterson-PT-6"
export BK_EXAMINATION="StableMarking"
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 Peterson-PT-6, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r514-smll-171654416900178"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Peterson-PT-6.tgz
mv Peterson-PT-6 execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;