About the Execution of LTSMin+red for Anderson-PT-12
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1564.892 | 703359.00 | 1565286.00 | 1600.20 | F | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r466-smll-171620124700238.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool ltsminxred
Input is Anderson-PT-12, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r466-smll-171620124700238
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.6M
-rw-r--r-- 1 mcc users 7.8K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Apr 22 14:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 22 14:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 19 07:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 19 17:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 180K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 17K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 109K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 22 14:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 22 14:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 3 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 2.1M May 18 16:42 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME StableMarking
=== Now, execution of the tool begins
BK_START 1717205937042
Invoking MCC driver with
BK_TOOL=ltsminxred
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=Anderson-PT-12
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool ltsmin
Invoking reducer
Running Version 202405141337
[2024-06-01 01:38:59] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -timeout, 180, -rebuildPNML]
[2024-06-01 01:38:59] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-06-01 01:39:00] [INFO ] Load time of PNML (sax parser for PT used): 621 ms
[2024-06-01 01:39:00] [INFO ] Transformed 889 places.
[2024-06-01 01:39:00] [INFO ] Transformed 4152 transitions.
[2024-06-01 01:39:00] [INFO ] Found NUPN structural information;
[2024-06-01 01:39:00] [INFO ] Parsed PT model containing 889 places and 4152 transitions and 16080 arcs in 904 ms.
RANDOM walk for 40000 steps (8 resets) in 4445 ms. (8 steps per ms) remains 126/889 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 7 ms. (50 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 6 ms. (57 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 11 ms. (33 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 5 ms. (67 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 7 ms. (50 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 7 ms. (50 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 7 ms. (50 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 5 ms. (67 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 7 ms. (50 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 6 ms. (57 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 7 ms. (50 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 7 ms. (50 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 7 ms. (50 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 7 ms. (50 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 6 ms. (57 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 13 ms. (28 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 6 ms. (57 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 5 ms. (67 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 7 ms. (50 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 7 ms. (50 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 6 ms. (57 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 7 ms. (50 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 6 ms. (57 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 6 ms. (57 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 4 ms. (80 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 6 ms. (57 steps per ms) remains 126/126 properties
BEST_FIRST walk for 404 steps (8 resets) in 6 ms. (57 steps per ms) remains 126/126 properties
// Phase 1: matrix 4152 rows 889 cols
[2024-06-01 01:39:02] [INFO ] Computed 27 invariants in 256 ms
[2024-06-01 01:39:02] [INFO ] State equation strengthened by 132 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/126 variables, 126/126 constraints. Problems are: Problem set: 0 solved, 126 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/126 variables, 0/126 constraints. Problems are: Problem set: 0 solved, 126 unsolved
At refinement iteration 2 (OVERLAPS) 746/872 variables, 13/139 constraints. Problems are: Problem set: 0 solved, 126 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/872 variables, 746/885 constraints. Problems are: Problem set: 0 solved, 126 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 872/5041 variables, and 885 constraints, problems are : Problem set: 0 solved, 126 unsolved in 5098 ms.
Refiners :[Domain max(s): 872/889 constraints, Positive P Invariants (semi-flows): 13/13 constraints, Generalized P Invariants (flows): 0/14 constraints, State Equation: 0/889 constraints, ReadFeed: 0/132 constraints, PredecessorRefiner: 126/126 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 126 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/126 variables, 126/126 constraints. Problems are: Problem set: 0 solved, 126 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/126 variables, 0/126 constraints. Problems are: Problem set: 0 solved, 126 unsolved
At refinement iteration 2 (OVERLAPS) 746/872 variables, 13/139 constraints. Problems are: Problem set: 0 solved, 126 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/872 variables, 746/885 constraints. Problems are: Problem set: 0 solved, 126 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 872/5041 variables, and 885 constraints, problems are : Problem set: 0 solved, 126 unsolved in 5021 ms.
Refiners :[Domain max(s): 872/889 constraints, Positive P Invariants (semi-flows): 13/13 constraints, Generalized P Invariants (flows): 0/14 constraints, State Equation: 0/889 constraints, ReadFeed: 0/132 constraints, PredecessorRefiner: 0/126 constraints, Known Traps: 0/0 constraints]
After SMT, in 10810ms problems are : Problem set: 0 solved, 126 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 126 out of 889 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 889/889 places, 4152/4152 transitions.
Performed 22 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 22 Pre rules applied. Total rules applied 0 place count 889 transition count 4130
Deduced a syphon composed of 22 places in 12 ms
Reduce places removed 22 places and 0 transitions.
Iterating global reduction 0 with 44 rules applied. Total rules applied 44 place count 867 transition count 4130
Discarding 152 places :
Symmetric choice reduction at 0 with 152 rule applications. Total rules 196 place count 715 transition count 1118
Iterating global reduction 0 with 152 rules applied. Total rules applied 348 place count 715 transition count 1118
Performed 109 Post agglomeration using F-continuation condition.Transition count delta: 109
Deduced a syphon composed of 109 places in 3 ms
Reduce places removed 109 places and 0 transitions.
Iterating global reduction 0 with 218 rules applied. Total rules applied 566 place count 606 transition count 1009
Applied a total of 566 rules in 546 ms. Remains 606 /889 variables (removed 283) and now considering 1009/4152 (removed 3143) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 569 ms. Remains : 606/889 places, 1009/4152 transitions.
RANDOM walk for 4000000 steps (8 resets) in 52683 ms. (75 steps per ms) remains 82/126 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3162 ms. (126 steps per ms) remains 82/82 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2113 ms. (189 steps per ms) remains 82/82 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2122 ms. (188 steps per ms) remains 82/82 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2125 ms. (188 steps per ms) remains 82/82 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2139 ms. (186 steps per ms) remains 82/82 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2122 ms. (188 steps per ms) remains 82/82 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2110 ms. (189 steps per ms) remains 82/82 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2112 ms. (189 steps per ms) remains 82/82 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2119 ms. (188 steps per ms) remains 81/82 properties
BEST_FIRST walk for 400000 steps (8 resets) in 2074 ms. (192 steps per ms) remains 80/81 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2087 ms. (191 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400000 steps (8 resets) in 2097 ms. (190 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2090 ms. (191 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2077 ms. (192 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2093 ms. (191 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2554 ms. (156 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2357 ms. (169 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400000 steps (8 resets) in 2298 ms. (173 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2094 ms. (190 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2085 ms. (191 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400000 steps (8 resets) in 2089 ms. (191 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2079 ms. (192 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2090 ms. (191 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2088 ms. (191 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2082 ms. (192 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2097 ms. (190 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2081 ms. (192 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2089 ms. (191 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2098 ms. (190 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2096 ms. (190 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400000 steps (8 resets) in 2083 ms. (191 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2085 ms. (191 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2077 ms. (192 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2069 ms. (193 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2091 ms. (191 steps per ms) remains 80/80 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2086 ms. (191 steps per ms) remains 79/80 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2065 ms. (193 steps per ms) remains 79/79 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2071 ms. (193 steps per ms) remains 78/79 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2072 ms. (192 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2050 ms. (195 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2074 ms. (192 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2046 ms. (195 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2078 ms. (192 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2053 ms. (194 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2072 ms. (192 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2053 ms. (194 steps per ms) remains 78/78 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2048 ms. (195 steps per ms) remains 77/78 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2035 ms. (196 steps per ms) remains 77/77 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2053 ms. (194 steps per ms) remains 77/77 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2031 ms. (196 steps per ms) remains 77/77 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2062 ms. (193 steps per ms) remains 77/77 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2060 ms. (194 steps per ms) remains 77/77 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2035 ms. (196 steps per ms) remains 77/77 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2067 ms. (193 steps per ms) remains 77/77 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2054 ms. (194 steps per ms) remains 77/77 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2048 ms. (195 steps per ms) remains 77/77 properties
BEST_FIRST walk for 400000 steps (8 resets) in 2054 ms. (194 steps per ms) remains 77/77 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2052 ms. (194 steps per ms) remains 77/77 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2051 ms. (194 steps per ms) remains 77/77 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2067 ms. (193 steps per ms) remains 77/77 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2056 ms. (194 steps per ms) remains 77/77 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2179 ms. (183 steps per ms) remains 77/77 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2049 ms. (195 steps per ms) remains 77/77 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2040 ms. (195 steps per ms) remains 77/77 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2085 ms. (191 steps per ms) remains 76/77 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2044 ms. (195 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2030 ms. (196 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2033 ms. (196 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2056 ms. (194 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2044 ms. (195 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2048 ms. (195 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2031 ms. (196 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2041 ms. (195 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2036 ms. (196 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2054 ms. (194 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400000 steps (8 resets) in 2039 ms. (196 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2018 ms. (198 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2022 ms. (197 steps per ms) remains 76/76 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2020 ms. (197 steps per ms) remains 76/76 properties
// Phase 1: matrix 1009 rows 606 cols
[2024-06-01 01:40:11] [INFO ] Computed 27 invariants in 48 ms
[2024-06-01 01:40:11] [INFO ] State equation strengthened by 132 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/76 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 76 unsolved
At refinement iteration 1 (OVERLAPS) 505/581 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 76 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/581 variables, 0/13 constraints. Problems are: Problem set: 0 solved, 76 unsolved
At refinement iteration 3 (OVERLAPS) 12/593 variables, 1/14 constraints. Problems are: Problem set: 0 solved, 76 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/593 variables, 0/14 constraints. Problems are: Problem set: 0 solved, 76 unsolved
At refinement iteration 5 (OVERLAPS) 13/606 variables, 13/27 constraints. Problems are: Problem set: 0 solved, 76 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/606 variables, 0/27 constraints. Problems are: Problem set: 0 solved, 76 unsolved
At refinement iteration 7 (OVERLAPS) 1009/1615 variables, 606/633 constraints. Problems are: Problem set: 0 solved, 76 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/1615 variables, 132/765 constraints. Problems are: Problem set: 0 solved, 76 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1615 variables, 0/765 constraints. Problems are: Problem set: 0 solved, 76 unsolved
At refinement iteration 10 (OVERLAPS) 0/1615 variables, 0/765 constraints. Problems are: Problem set: 0 solved, 76 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1615/1615 variables, and 765 constraints, problems are : Problem set: 0 solved, 76 unsolved in 15785 ms.
Refiners :[Positive P Invariants (semi-flows): 14/14 constraints, Generalized P Invariants (flows): 13/13 constraints, State Equation: 606/606 constraints, ReadFeed: 132/132 constraints, PredecessorRefiner: 76/76 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 76 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/76 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 76 unsolved
At refinement iteration 1 (OVERLAPS) 505/581 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 76 unsolved
[2024-06-01 01:40:28] [INFO ] Deduced a trap composed of 508 places in 715 ms of which 100 ms to minimize.
[2024-06-01 01:40:29] [INFO ] Deduced a trap composed of 514 places in 675 ms of which 11 ms to minimize.
[2024-06-01 01:40:29] [INFO ] Deduced a trap composed of 506 places in 432 ms of which 7 ms to minimize.
[2024-06-01 01:40:30] [INFO ] Deduced a trap composed of 552 places in 701 ms of which 9 ms to minimize.
[2024-06-01 01:40:31] [INFO ] Deduced a trap composed of 544 places in 604 ms of which 9 ms to minimize.
[2024-06-01 01:40:31] [INFO ] Deduced a trap composed of 525 places in 637 ms of which 8 ms to minimize.
[2024-06-01 01:40:32] [INFO ] Deduced a trap composed of 533 places in 824 ms of which 7 ms to minimize.
[2024-06-01 01:40:34] [INFO ] Deduced a trap composed of 478 places in 479 ms of which 6 ms to minimize.
[2024-06-01 01:40:34] [INFO ] Deduced a trap composed of 483 places in 667 ms of which 8 ms to minimize.
[2024-06-01 01:40:35] [INFO ] Deduced a trap composed of 482 places in 691 ms of which 10 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/581 variables, 10/23 constraints. Problems are: Problem set: 0 solved, 76 unsolved
[2024-06-01 01:40:36] [INFO ] Deduced a trap composed of 506 places in 694 ms of which 9 ms to minimize.
[2024-06-01 01:40:37] [INFO ] Deduced a trap composed of 529 places in 649 ms of which 9 ms to minimize.
[2024-06-01 01:40:37] [INFO ] Deduced a trap composed of 527 places in 632 ms of which 9 ms to minimize.
[2024-06-01 01:40:38] [INFO ] Deduced a trap composed of 526 places in 547 ms of which 8 ms to minimize.
[2024-06-01 01:40:38] [INFO ] Deduced a trap composed of 521 places in 542 ms of which 6 ms to minimize.
[2024-06-01 01:40:39] [INFO ] Deduced a trap composed of 498 places in 426 ms of which 6 ms to minimize.
[2024-06-01 01:40:39] [INFO ] Deduced a trap composed of 519 places in 436 ms of which 5 ms to minimize.
[2024-06-01 01:40:40] [INFO ] Deduced a trap composed of 498 places in 613 ms of which 8 ms to minimize.
[2024-06-01 01:40:40] [INFO ] Deduced a trap composed of 520 places in 537 ms of which 6 ms to minimize.
[2024-06-01 01:40:41] [INFO ] Deduced a trap composed of 496 places in 644 ms of which 9 ms to minimize.
[2024-06-01 01:40:42] [INFO ] Deduced a trap composed of 502 places in 647 ms of which 9 ms to minimize.
[2024-06-01 01:40:42] [INFO ] Deduced a trap composed of 521 places in 632 ms of which 8 ms to minimize.
[2024-06-01 01:40:43] [INFO ] Deduced a trap composed of 524 places in 607 ms of which 8 ms to minimize.
[2024-06-01 01:40:44] [INFO ] Deduced a trap composed of 499 places in 532 ms of which 5 ms to minimize.
[2024-06-01 01:40:44] [INFO ] Deduced a trap composed of 532 places in 627 ms of which 9 ms to minimize.
[2024-06-01 01:40:45] [INFO ] Deduced a trap composed of 530 places in 634 ms of which 8 ms to minimize.
[2024-06-01 01:40:46] [INFO ] Deduced a trap composed of 526 places in 632 ms of which 8 ms to minimize.
[2024-06-01 01:40:46] [INFO ] Deduced a trap composed of 519 places in 618 ms of which 8 ms to minimize.
[2024-06-01 01:40:47] [INFO ] Deduced a trap composed of 516 places in 615 ms of which 8 ms to minimize.
[2024-06-01 01:40:47] [INFO ] Deduced a trap composed of 510 places in 522 ms of which 8 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/581 variables, 20/43 constraints. Problems are: Problem set: 0 solved, 76 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/581 variables, 0/43 constraints. Problems are: Problem set: 0 solved, 76 unsolved
At refinement iteration 5 (OVERLAPS) 12/593 variables, 1/44 constraints. Problems are: Problem set: 0 solved, 76 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/593 variables, 0/44 constraints. Problems are: Problem set: 0 solved, 76 unsolved
At refinement iteration 7 (OVERLAPS) 13/606 variables, 13/57 constraints. Problems are: Problem set: 0 solved, 76 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/606 variables, 0/57 constraints. Problems are: Problem set: 0 solved, 76 unsolved
At refinement iteration 9 (OVERLAPS) 1009/1615 variables, 606/663 constraints. Problems are: Problem set: 0 solved, 76 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/1615 variables, 132/795 constraints. Problems are: Problem set: 0 solved, 76 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/1615 variables, 76/871 constraints. Problems are: Problem set: 0 solved, 76 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/1615 variables, 0/871 constraints. Problems are: Problem set: 0 solved, 76 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1615/1615 variables, and 871 constraints, problems are : Problem set: 0 solved, 76 unsolved in 45015 ms.
Refiners :[Positive P Invariants (semi-flows): 14/14 constraints, Generalized P Invariants (flows): 13/13 constraints, State Equation: 606/606 constraints, ReadFeed: 132/132 constraints, PredecessorRefiner: 76/76 constraints, Known Traps: 30/30 constraints]
After SMT, in 60899ms problems are : Problem set: 0 solved, 76 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 76 out of 606 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 606/606 places, 1009/1009 transitions.
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 1 Pre rules applied. Total rules applied 0 place count 606 transition count 1008
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 605 transition count 1008
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 5 place count 602 transition count 961
Iterating global reduction 0 with 3 rules applied. Total rules applied 8 place count 602 transition count 961
Performed 38 Post agglomeration using F-continuation condition.Transition count delta: 38
Deduced a syphon composed of 38 places in 1 ms
Reduce places removed 38 places and 0 transitions.
Iterating global reduction 0 with 76 rules applied. Total rules applied 84 place count 564 transition count 923
Applied a total of 84 rules in 151 ms. Remains 564 /606 variables (removed 42) and now considering 923/1009 (removed 86) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 152 ms. Remains : 564/606 places, 923/1009 transitions.
RANDOM walk for 4000000 steps (8 resets) in 43798 ms. (91 steps per ms) remains 75/76 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2561 ms. (156 steps per ms) remains 75/75 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2036 ms. (196 steps per ms) remains 75/75 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2025 ms. (197 steps per ms) remains 75/75 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2023 ms. (197 steps per ms) remains 75/75 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2028 ms. (197 steps per ms) remains 75/75 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2029 ms. (197 steps per ms) remains 75/75 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2020 ms. (197 steps per ms) remains 75/75 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2031 ms. (196 steps per ms) remains 75/75 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2038 ms. (196 steps per ms) remains 75/75 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2055 ms. (194 steps per ms) remains 75/75 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2034 ms. (196 steps per ms) remains 75/75 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2071 ms. (193 steps per ms) remains 75/75 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3328 ms. (120 steps per ms) remains 75/75 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3052 ms. (131 steps per ms) remains 75/75 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3003 ms. (133 steps per ms) remains 75/75 properties
BEST_FIRST walk for 400004 steps (8 resets) in 4128 ms. (96 steps per ms) remains 75/75 properties
BEST_FIRST walk for 400002 steps (8 resets) in 4489 ms. (89 steps per ms) remains 75/75 properties
BEST_FIRST walk for 400003 steps (8 resets) in 4325 ms. (92 steps per ms) remains 75/75 properties
BEST_FIRST walk for 400004 steps (8 resets) in 4384 ms. (91 steps per ms) remains 75/75 properties
BEST_FIRST walk for 400002 steps (8 resets) in 4076 ms. (98 steps per ms) remains 75/75 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3748 ms. (106 steps per ms) remains 74/75 properties
BEST_FIRST walk for 400000 steps (8 resets) in 4479 ms. (89 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3409 ms. (117 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3552 ms. (112 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3743 ms. (106 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400002 steps (8 resets) in 4225 ms. (94 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400001 steps (8 resets) in 3868 ms. (103 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3864 ms. (103 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400001 steps (8 resets) in 3907 ms. (102 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3456 ms. (115 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400002 steps (8 resets) in 4171 ms. (95 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3482 ms. (114 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400001 steps (8 resets) in 3993 ms. (100 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3673 ms. (108 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3789 ms. (105 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3787 ms. (105 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3860 ms. (103 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400001 steps (8 resets) in 3335 ms. (119 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400001 steps (8 resets) in 3900 ms. (102 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3820 ms. (104 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400003 steps (8 resets) in 4120 ms. (97 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3742 ms. (106 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400001 steps (8 resets) in 4189 ms. (95 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3982 ms. (100 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400002 steps (8 resets) in 4226 ms. (94 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400004 steps (8 resets) in 3658 ms. (109 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400003 steps (8 resets) in 4226 ms. (94 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400003 steps (8 resets) in 4347 ms. (91 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400003 steps (8 resets) in 4492 ms. (89 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400000 steps (8 resets) in 3693 ms. (108 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400001 steps (8 resets) in 3924 ms. (101 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400001 steps (8 resets) in 4502 ms. (88 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3753 ms. (106 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400003 steps (8 resets) in 4560 ms. (87 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400002 steps (8 resets) in 4894 ms. (81 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400001 steps (8 resets) in 3618 ms. (110 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400001 steps (8 resets) in 4754 ms. (84 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400002 steps (8 resets) in 4561 ms. (87 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400004 steps (8 resets) in 4215 ms. (94 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400002 steps (8 resets) in 4305 ms. (92 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3958 ms. (101 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400001 steps (8 resets) in 4059 ms. (98 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3787 ms. (105 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400000 steps (8 resets) in 4132 ms. (96 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400001 steps (8 resets) in 4076 ms. (98 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400001 steps (8 resets) in 3728 ms. (107 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400001 steps (8 resets) in 3694 ms. (108 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3963 ms. (100 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400002 steps (8 resets) in 4433 ms. (90 steps per ms) remains 74/74 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3473 ms. (115 steps per ms) remains 74/74 properties
Interrupted probabilistic random walk after 9853105 steps, run timeout after 303001 ms. (steps per millisecond=32 ) properties seen :57 out of 74
Probabilistic random walk after 9853105 steps, saw 6204454 distinct states, run finished after 303014 ms. (steps per millisecond=32 ) properties seen :57
// Phase 1: matrix 923 rows 564 cols
[2024-06-01 01:47:56] [INFO ] Computed 27 invariants in 19 ms
[2024-06-01 01:47:56] [INFO ] State equation strengthened by 132 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/17 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 1 (OVERLAPS) 517/534 variables, 8/8 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/534 variables, 0/8 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 3 (OVERLAPS) 17/551 variables, 6/14 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/551 variables, 0/14 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 5 (OVERLAPS) 13/564 variables, 13/27 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/564 variables, 0/27 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 7 (OVERLAPS) 923/1487 variables, 564/591 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/1487 variables, 132/723 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1487 variables, 0/723 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 10 (OVERLAPS) 0/1487 variables, 0/723 constraints. Problems are: Problem set: 0 solved, 17 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1487/1487 variables, and 723 constraints, problems are : Problem set: 0 solved, 17 unsolved in 2776 ms.
Refiners :[Positive P Invariants (semi-flows): 14/14 constraints, Generalized P Invariants (flows): 13/13 constraints, State Equation: 564/564 constraints, ReadFeed: 132/132 constraints, PredecessorRefiner: 17/17 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 17 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/17 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 1 (OVERLAPS) 517/534 variables, 8/8 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/534 variables, 0/8 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 3 (OVERLAPS) 17/551 variables, 6/14 constraints. Problems are: Problem set: 0 solved, 17 unsolved
[2024-06-01 01:48:00] [INFO ] Deduced a trap composed of 452 places in 618 ms of which 9 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/551 variables, 1/15 constraints. Problems are: Problem set: 0 solved, 17 unsolved
[2024-06-01 01:48:02] [INFO ] Deduced a trap composed of 447 places in 678 ms of which 6 ms to minimize.
[2024-06-01 01:48:02] [INFO ] Deduced a trap composed of 477 places in 700 ms of which 8 ms to minimize.
[2024-06-01 01:48:03] [INFO ] Deduced a trap composed of 479 places in 736 ms of which 10 ms to minimize.
[2024-06-01 01:48:04] [INFO ] Deduced a trap composed of 457 places in 697 ms of which 12 ms to minimize.
[2024-06-01 01:48:04] [INFO ] Deduced a trap composed of 450 places in 731 ms of which 9 ms to minimize.
[2024-06-01 01:48:05] [INFO ] Deduced a trap composed of 425 places in 747 ms of which 9 ms to minimize.
[2024-06-01 01:48:06] [INFO ] Deduced a trap composed of 479 places in 716 ms of which 8 ms to minimize.
[2024-06-01 01:48:07] [INFO ] Deduced a trap composed of 478 places in 697 ms of which 8 ms to minimize.
[2024-06-01 01:48:08] [INFO ] Deduced a trap composed of 488 places in 742 ms of which 9 ms to minimize.
[2024-06-01 01:48:08] [INFO ] Deduced a trap composed of 480 places in 741 ms of which 9 ms to minimize.
[2024-06-01 01:48:09] [INFO ] Deduced a trap composed of 471 places in 702 ms of which 8 ms to minimize.
[2024-06-01 01:48:10] [INFO ] Deduced a trap composed of 399 places in 749 ms of which 8 ms to minimize.
[2024-06-01 01:48:11] [INFO ] Deduced a trap composed of 472 places in 712 ms of which 8 ms to minimize.
[2024-06-01 01:48:11] [INFO ] Deduced a trap composed of 443 places in 690 ms of which 8 ms to minimize.
[2024-06-01 01:48:12] [INFO ] Deduced a trap composed of 439 places in 678 ms of which 9 ms to minimize.
[2024-06-01 01:48:13] [INFO ] Deduced a trap composed of 494 places in 673 ms of which 8 ms to minimize.
[2024-06-01 01:48:13] [INFO ] Deduced a trap composed of 410 places in 692 ms of which 8 ms to minimize.
[2024-06-01 01:48:14] [INFO ] Deduced a trap composed of 415 places in 681 ms of which 9 ms to minimize.
[2024-06-01 01:48:15] [INFO ] Deduced a trap composed of 484 places in 697 ms of which 8 ms to minimize.
[2024-06-01 01:48:16] [INFO ] Deduced a trap composed of 458 places in 747 ms of which 9 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/551 variables, 20/35 constraints. Problems are: Problem set: 0 solved, 17 unsolved
[2024-06-01 01:48:16] [INFO ] Deduced a trap composed of 469 places in 745 ms of which 8 ms to minimize.
[2024-06-01 01:48:17] [INFO ] Deduced a trap composed of 475 places in 628 ms of which 8 ms to minimize.
[2024-06-01 01:48:18] [INFO ] Deduced a trap composed of 466 places in 682 ms of which 8 ms to minimize.
[2024-06-01 01:48:18] [INFO ] Deduced a trap composed of 453 places in 645 ms of which 8 ms to minimize.
[2024-06-01 01:48:19] [INFO ] Deduced a trap composed of 479 places in 696 ms of which 8 ms to minimize.
[2024-06-01 01:48:20] [INFO ] Deduced a trap composed of 452 places in 686 ms of which 9 ms to minimize.
[2024-06-01 01:48:20] [INFO ] Deduced a trap composed of 476 places in 696 ms of which 9 ms to minimize.
[2024-06-01 01:48:21] [INFO ] Deduced a trap composed of 468 places in 716 ms of which 8 ms to minimize.
[2024-06-01 01:48:22] [INFO ] Deduced a trap composed of 452 places in 725 ms of which 8 ms to minimize.
[2024-06-01 01:48:23] [INFO ] Deduced a trap composed of 469 places in 646 ms of which 8 ms to minimize.
[2024-06-01 01:48:23] [INFO ] Deduced a trap composed of 468 places in 727 ms of which 8 ms to minimize.
[2024-06-01 01:48:24] [INFO ] Deduced a trap composed of 456 places in 659 ms of which 8 ms to minimize.
[2024-06-01 01:48:25] [INFO ] Deduced a trap composed of 449 places in 703 ms of which 9 ms to minimize.
[2024-06-01 01:48:26] [INFO ] Deduced a trap composed of 437 places in 709 ms of which 8 ms to minimize.
[2024-06-01 01:48:26] [INFO ] Deduced a trap composed of 473 places in 727 ms of which 8 ms to minimize.
[2024-06-01 01:48:27] [INFO ] Deduced a trap composed of 488 places in 791 ms of which 9 ms to minimize.
[2024-06-01 01:48:28] [INFO ] Deduced a trap composed of 484 places in 715 ms of which 9 ms to minimize.
[2024-06-01 01:48:29] [INFO ] Deduced a trap composed of 474 places in 727 ms of which 9 ms to minimize.
[2024-06-01 01:48:29] [INFO ] Deduced a trap composed of 493 places in 783 ms of which 8 ms to minimize.
[2024-06-01 01:48:30] [INFO ] Deduced a trap composed of 464 places in 580 ms of which 8 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/551 variables, 20/55 constraints. Problems are: Problem set: 0 solved, 17 unsolved
[2024-06-01 01:48:31] [INFO ] Deduced a trap composed of 438 places in 745 ms of which 9 ms to minimize.
[2024-06-01 01:48:32] [INFO ] Deduced a trap composed of 462 places in 771 ms of which 9 ms to minimize.
[2024-06-01 01:48:32] [INFO ] Deduced a trap composed of 464 places in 733 ms of which 8 ms to minimize.
[2024-06-01 01:48:33] [INFO ] Deduced a trap composed of 467 places in 727 ms of which 8 ms to minimize.
[2024-06-01 01:48:34] [INFO ] Deduced a trap composed of 443 places in 759 ms of which 8 ms to minimize.
[2024-06-01 01:48:35] [INFO ] Deduced a trap composed of 440 places in 759 ms of which 9 ms to minimize.
[2024-06-01 01:48:35] [INFO ] Deduced a trap composed of 447 places in 756 ms of which 9 ms to minimize.
[2024-06-01 01:48:36] [INFO ] Deduced a trap composed of 446 places in 755 ms of which 8 ms to minimize.
[2024-06-01 01:48:37] [INFO ] Deduced a trap composed of 447 places in 783 ms of which 10 ms to minimize.
[2024-06-01 01:48:38] [INFO ] Deduced a trap composed of 439 places in 750 ms of which 9 ms to minimize.
[2024-06-01 01:48:39] [INFO ] Deduced a trap composed of 432 places in 749 ms of which 9 ms to minimize.
[2024-06-01 01:48:39] [INFO ] Deduced a trap composed of 451 places in 783 ms of which 9 ms to minimize.
[2024-06-01 01:48:40] [INFO ] Deduced a trap composed of 458 places in 643 ms of which 8 ms to minimize.
[2024-06-01 01:48:41] [INFO ] Deduced a trap composed of 436 places in 744 ms of which 9 ms to minimize.
[2024-06-01 01:48:41] [INFO ] Deduced a trap composed of 400 places in 696 ms of which 9 ms to minimize.
[2024-06-01 01:48:42] [INFO ] Deduced a trap composed of 464 places in 750 ms of which 8 ms to minimize.
[2024-06-01 01:48:43] [INFO ] Deduced a trap composed of 475 places in 641 ms of which 8 ms to minimize.
[2024-06-01 01:48:44] [INFO ] Deduced a trap composed of 450 places in 659 ms of which 8 ms to minimize.
[2024-06-01 01:48:44] [INFO ] Deduced a trap composed of 392 places in 640 ms of which 8 ms to minimize.
[2024-06-01 01:48:45] [INFO ] Deduced a trap composed of 439 places in 701 ms of which 8 ms to minimize.
At refinement iteration 7 (INCLUDED_ONLY) 0/551 variables, 20/75 constraints. Problems are: Problem set: 0 solved, 17 unsolved
[2024-06-01 01:48:46] [INFO ] Deduced a trap composed of 469 places in 682 ms of which 9 ms to minimize.
[2024-06-01 01:48:46] [INFO ] Deduced a trap composed of 447 places in 685 ms of which 9 ms to minimize.
[2024-06-01 01:48:47] [INFO ] Deduced a trap composed of 442 places in 696 ms of which 8 ms to minimize.
[2024-06-01 01:48:48] [INFO ] Deduced a trap composed of 431 places in 625 ms of which 9 ms to minimize.
[2024-06-01 01:48:49] [INFO ] Deduced a trap composed of 431 places in 674 ms of which 9 ms to minimize.
[2024-06-01 01:48:49] [INFO ] Deduced a trap composed of 437 places in 691 ms of which 9 ms to minimize.
[2024-06-01 01:48:50] [INFO ] Deduced a trap composed of 460 places in 698 ms of which 8 ms to minimize.
[2024-06-01 01:48:51] [INFO ] Deduced a trap composed of 451 places in 669 ms of which 9 ms to minimize.
[2024-06-01 01:48:51] [INFO ] Deduced a trap composed of 442 places in 715 ms of which 10 ms to minimize.
[2024-06-01 01:48:52] [INFO ] Deduced a trap composed of 439 places in 710 ms of which 8 ms to minimize.
[2024-06-01 01:48:53] [INFO ] Deduced a trap composed of 430 places in 650 ms of which 8 ms to minimize.
[2024-06-01 01:48:54] [INFO ] Deduced a trap composed of 427 places in 737 ms of which 8 ms to minimize.
[2024-06-01 01:48:54] [INFO ] Deduced a trap composed of 440 places in 688 ms of which 8 ms to minimize.
[2024-06-01 01:48:55] [INFO ] Deduced a trap composed of 461 places in 675 ms of which 8 ms to minimize.
[2024-06-01 01:48:56] [INFO ] Deduced a trap composed of 445 places in 691 ms of which 8 ms to minimize.
[2024-06-01 01:48:56] [INFO ] Deduced a trap composed of 459 places in 737 ms of which 8 ms to minimize.
[2024-06-01 01:48:57] [INFO ] Deduced a trap composed of 462 places in 649 ms of which 8 ms to minimize.
[2024-06-01 01:48:58] [INFO ] Deduced a trap composed of 439 places in 654 ms of which 8 ms to minimize.
[2024-06-01 01:48:59] [INFO ] Deduced a trap composed of 456 places in 726 ms of which 8 ms to minimize.
[2024-06-01 01:48:59] [INFO ] Deduced a trap composed of 442 places in 752 ms of which 8 ms to minimize.
At refinement iteration 8 (INCLUDED_ONLY) 0/551 variables, 20/95 constraints. Problems are: Problem set: 0 solved, 17 unsolved
[2024-06-01 01:49:00] [INFO ] Deduced a trap composed of 464 places in 672 ms of which 8 ms to minimize.
[2024-06-01 01:49:01] [INFO ] Deduced a trap composed of 463 places in 678 ms of which 8 ms to minimize.
[2024-06-01 01:49:02] [INFO ] Deduced a trap composed of 442 places in 767 ms of which 9 ms to minimize.
[2024-06-01 01:49:02] [INFO ] Deduced a trap composed of 452 places in 682 ms of which 8 ms to minimize.
[2024-06-01 01:49:03] [INFO ] Deduced a trap composed of 438 places in 666 ms of which 8 ms to minimize.
[2024-06-01 01:49:04] [INFO ] Deduced a trap composed of 423 places in 669 ms of which 8 ms to minimize.
[2024-06-01 01:49:04] [INFO ] Deduced a trap composed of 463 places in 715 ms of which 9 ms to minimize.
[2024-06-01 01:49:05] [INFO ] Deduced a trap composed of 441 places in 637 ms of which 8 ms to minimize.
[2024-06-01 01:49:06] [INFO ] Deduced a trap composed of 456 places in 688 ms of which 10 ms to minimize.
[2024-06-01 01:49:07] [INFO ] Deduced a trap composed of 446 places in 701 ms of which 8 ms to minimize.
[2024-06-01 01:49:07] [INFO ] Deduced a trap composed of 463 places in 648 ms of which 9 ms to minimize.
[2024-06-01 01:49:08] [INFO ] Deduced a trap composed of 441 places in 641 ms of which 8 ms to minimize.
[2024-06-01 01:49:09] [INFO ] Deduced a trap composed of 437 places in 705 ms of which 10 ms to minimize.
[2024-06-01 01:49:09] [INFO ] Deduced a trap composed of 434 places in 713 ms of which 8 ms to minimize.
[2024-06-01 01:49:10] [INFO ] Deduced a trap composed of 437 places in 710 ms of which 8 ms to minimize.
[2024-06-01 01:49:11] [INFO ] Deduced a trap composed of 431 places in 692 ms of which 8 ms to minimize.
At refinement iteration 9 (INCLUDED_ONLY) 0/551 variables, 16/111 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/551 variables, 0/111 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 11 (OVERLAPS) 13/564 variables, 13/124 constraints. Problems are: Problem set: 0 solved, 17 unsolved
[2024-06-01 01:49:14] [INFO ] Deduced a trap composed of 379 places in 789 ms of which 9 ms to minimize.
[2024-06-01 01:49:15] [INFO ] Deduced a trap composed of 247 places in 828 ms of which 8 ms to minimize.
SMT process timed out in 78280ms, After SMT, problems are : Problem set: 0 solved, 17 unsolved
Fused 17 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 17 out of 564 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 564/564 places, 923/923 transitions.
Performed 54 Post agglomeration using F-continuation condition.Transition count delta: 54
Deduced a syphon composed of 54 places in 2 ms
Reduce places removed 54 places and 0 transitions.
Iterating global reduction 0 with 108 rules applied. Total rules applied 108 place count 510 transition count 869
Applied a total of 108 rules in 108 ms. Remains 510 /564 variables (removed 54) and now considering 869/923 (removed 54) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 108 ms. Remains : 510/564 places, 869/923 transitions.
RANDOM walk for 4000000 steps (8 resets) in 47908 ms. (83 steps per ms) remains 17/17 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2992 ms. (133 steps per ms) remains 17/17 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3417 ms. (117 steps per ms) remains 17/17 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3194 ms. (125 steps per ms) remains 17/17 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2572 ms. (155 steps per ms) remains 17/17 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2630 ms. (152 steps per ms) remains 17/17 properties
BEST_FIRST walk for 400001 steps (8 resets) in 3393 ms. (117 steps per ms) remains 17/17 properties
BEST_FIRST walk for 400001 steps (8 resets) in 3393 ms. (117 steps per ms) remains 17/17 properties
BEST_FIRST walk for 400000 steps (8 resets) in 2844 ms. (140 steps per ms) remains 17/17 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2957 ms. (135 steps per ms) remains 17/17 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3313 ms. (120 steps per ms) remains 17/17 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2872 ms. (139 steps per ms) remains 17/17 properties
BEST_FIRST walk for 400001 steps (8 resets) in 3185 ms. (125 steps per ms) remains 17/17 properties
BEST_FIRST walk for 400003 steps (8 resets) in 3357 ms. (119 steps per ms) remains 17/17 properties
BEST_FIRST walk for 400001 steps (8 resets) in 3192 ms. (125 steps per ms) remains 17/17 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2784 ms. (143 steps per ms) remains 17/17 properties
BEST_FIRST walk for 400002 steps (8 resets) in 3020 ms. (132 steps per ms) remains 17/17 properties
BEST_FIRST walk for 400001 steps (8 resets) in 3182 ms. (125 steps per ms) remains 17/17 properties
Finished probabilistic random walk after 2761883 steps, run visited all 17 properties in 49755 ms. (steps per millisecond=55 )
Probabilistic random walk after 2761883 steps, saw 1790386 distinct states, run finished after 49772 ms. (steps per millisecond=55 ) properties seen :17
Able to resolve query StableMarking after proving 889 properties.
FORMULA StableMarking FALSE TECHNIQUES RANDOM_WALK PROBABILISTIC_WALK BESTFIRST_WALK TOPOLOGICAL
Total runtime 700703 ms.
ITS solved all properties within timeout
BK_STOP 1717206640401
--------------------
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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
++ perl -pe 's/.*\.//g'
+ 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="Anderson-PT-12"
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 Anderson-PT-12, 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 r466-smll-171620124700238"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Anderson-PT-12.tgz
mv Anderson-PT-12 execution
cd execution
if [ "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 ;