About the Execution of ITS-Tools for Anderson-PT-10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3846.531 | 227197.00 | 708865.00 | 196.10 | 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.r013-smll-171620124700228.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool itstools
Input is Anderson-PT-10, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r013-smll-171620124700228
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.7M
-rw-r--r-- 1 mcc users 8.4K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.5K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K 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.6K May 19 07:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 19 17:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.9K Apr 12 15:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 84K Apr 12 15:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Apr 12 15:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 67K Apr 12 15:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K May 19 07:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 19 15:23 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 1.3M 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 1716230107702
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=Anderson-PT-10
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
StableMarking PT
Running Version 202405141337
[2024-05-20 18:35:09] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2024-05-20 18:35:09] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-20 18:35:10] [INFO ] Load time of PNML (sax parser for PT used): 407 ms
[2024-05-20 18:35:10] [INFO ] Transformed 621 places.
[2024-05-20 18:35:10] [INFO ] Transformed 2480 transitions.
[2024-05-20 18:35:10] [INFO ] Found NUPN structural information;
[2024-05-20 18:35:10] [INFO ] Parsed PT model containing 621 places and 2480 transitions and 9560 arcs in 626 ms.
[2024-05-20 18:35:12] [INFO ] Flatten gal took : 1079 ms
RANDOM walk for 40000 steps (8 resets) in 7121 ms. (5 steps per ms) remains 75/621 properties
BEST_FIRST walk for 4002 steps (8 resets) in 147 ms. (27 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (8 resets) in 96 ms. (41 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4003 steps (8 resets) in 73 ms. (54 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4003 steps (8 resets) in 44 ms. (88 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4003 steps (8 resets) in 53 ms. (74 steps per ms) remains 75/75 properties
[2024-05-20 18:35:12] [INFO ] Flatten gal took : 339 ms
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4000 steps (8 resets) in 46 ms. (85 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4003 steps (8 resets) in 34 ms. (114 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4003 steps (8 resets) in 44 ms. (88 steps per ms) remains 75/75 properties
[2024-05-20 18:35:12] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality16401856963737416075.gal : 110 ms
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 75/75 properties
[2024-05-20 18:35:12] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality11280673189588634875.prop : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality16401856963737416075.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality11280673189588634875.prop' '--nowitness' '--gen-order' 'FOLLOW'
BEST_FIRST walk for 4003 steps (8 resets) in 54 ms. (72 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4003 steps (8 resets) in 34 ms. (114 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4001 steps (8 resets) in 99 ms. (40 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4003 steps (8 resets) in 48 ms. (81 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4003 steps (8 resets) in 19 ms. (200 steps per ms) remains 75/75 properties
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...330
BEST_FIRST walk for 4003 steps (8 resets) in 41 ms. (95 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4002 steps (8 resets) in 31 ms. (125 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4003 steps (8 resets) in 22 ms. (174 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4003 steps (8 resets) in 21 ms. (181 steps per ms) remains 74/75 properties
BEST_FIRST walk for 4002 steps (8 resets) in 31 ms. (125 steps per ms) remains 73/74 properties
BEST_FIRST walk for 4003 steps (8 resets) in 19 ms. (200 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4001 steps (8 resets) in 40 ms. (97 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4003 steps (8 resets) in 20 ms. (190 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4003 steps (8 resets) in 17 ms. (222 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4001 steps (8 resets) in 33 ms. (117 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4002 steps (8 resets) in 34 ms. (114 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4003 steps (8 resets) in 28 ms. (138 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4001 steps (8 resets) in 20 ms. (190 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4003 steps (8 resets) in 16 ms. (235 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4002 steps (8 resets) in 39 ms. (100 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4002 steps (8 resets) in 39 ms. (100 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4003 steps (8 resets) in 29 ms. (133 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4002 steps (8 resets) in 28 ms. (138 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4003 steps (8 resets) in 39 ms. (100 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4001 steps (8 resets) in 29 ms. (133 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4003 steps (8 resets) in 29 ms. (133 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4001 steps (8 resets) in 33 ms. (117 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4003 steps (8 resets) in 23 ms. (166 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4003 steps (8 resets) in 36 ms. (108 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4003 steps (8 resets) in 29 ms. (133 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4003 steps (8 resets) in 37 ms. (105 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4002 steps (8 resets) in 18 ms. (210 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4001 steps (8 resets) in 29 ms. (133 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4002 steps (8 resets) in 38 ms. (102 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4002 steps (8 resets) in 32 ms. (121 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4003 steps (8 resets) in 34 ms. (114 steps per ms) remains 73/73 properties
Loading property file /tmp/ReachabilityCardinality11280673189588634875.prop.
BEST_FIRST walk for 4001 steps (8 resets) in 25 ms. (153 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4001 steps (8 resets) in 18 ms. (210 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4000 steps (8 resets) in 17 ms. (222 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4002 steps (8 resets) in 17 ms. (222 steps per ms) remains 72/73 properties
BEST_FIRST walk for 4003 steps (8 resets) in 19 ms. (200 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4002 steps (8 resets) in 27 ms. (142 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4002 steps (8 resets) in 22 ms. (174 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4002 steps (8 resets) in 23 ms. (166 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4003 steps (8 resets) in 29 ms. (133 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4001 steps (8 resets) in 34 ms. (114 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4003 steps (8 resets) in 18 ms. (210 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4004 steps (8 resets) in 28 ms. (138 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4001 steps (8 resets) in 29 ms. (133 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4003 steps (8 resets) in 30 ms. (129 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4002 steps (8 resets) in 42 ms. (93 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4003 steps (8 resets) in 29 ms. (133 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4002 steps (8 resets) in 43 ms. (90 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4003 steps (8 resets) in 32 ms. (121 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4002 steps (8 resets) in 20 ms. (190 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4003 steps (8 resets) in 25 ms. (153 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4001 steps (8 resets) in 18 ms. (210 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4003 steps (8 resets) in 22 ms. (174 steps per ms) remains 72/72 properties
// Phase 1: matrix 2480 rows 621 cols
[2024-05-20 18:35:14] [INFO ] Computed 23 invariants in 86 ms
[2024-05-20 18:35:14] [INFO ] State equation strengthened by 90 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/72 variables, 72/72 constraints. Problems are: Problem set: 0 solved, 72 unsolved
SDD proceeding with computation,75 properties remain. new max is 4
SDD size :1 after 3
SDD proceeding with computation,75 properties remain. new max is 8
SDD size :3 after 9
SDD proceeding with computation,75 properties remain. new max is 16
SDD size :9 after 11
SDD proceeding with computation,75 properties remain. new max is 32
SDD size :11 after 12
SDD proceeding with computation,75 properties remain. new max is 64
SDD size :12 after 19
SDD proceeding with computation,75 properties remain. new max is 128
SDD size :19 after 50
SDD proceeding with computation,75 properties remain. new max is 256
SDD size :50 after 67
SDD proceeding with computation,75 properties remain. new max is 512
SDD size :67 after 105
At refinement iteration 1 (INCLUDED_ONLY) 0/72 variables, 0/72 constraints. Problems are: Problem set: 0 solved, 72 unsolved
SDD proceeding with computation,75 properties remain. new max is 1024
SDD size :105 after 403
At refinement iteration 2 (OVERLAPS) 524/596 variables, 10/82 constraints. Problems are: Problem set: 0 solved, 72 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/596 variables, 524/606 constraints. Problems are: Problem set: 0 solved, 72 unsolved
SDD proceeding with computation,75 properties remain. new max is 2048
SDD size :403 after 911
At refinement iteration 4 (INCLUDED_ONLY) 0/596 variables, 0/606 constraints. Problems are: Problem set: 0 solved, 72 unsolved
At refinement iteration 5 (OVERLAPS) 10/606 variables, 1/607 constraints. Problems are: Problem set: 0 solved, 72 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/606 variables, 10/617 constraints. Problems are: Problem set: 0 solved, 72 unsolved
SDD proceeding with computation,75 properties remain. new max is 4096
SDD size :911 after 5513
At refinement iteration 7 (INCLUDED_ONLY) 0/606 variables, 0/617 constraints. Problems are: Problem set: 0 solved, 72 unsolved
At refinement iteration 8 (OVERLAPS) 15/621 variables, 12/629 constraints. Problems are: Problem set: 0 solved, 72 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/621 variables, 15/644 constraints. Problems are: Problem set: 0 solved, 72 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/621 variables, 0/644 constraints. Problems are: Problem set: 0 solved, 72 unsolved
SMT process timed out in 5403ms, After SMT, problems are : Problem set: 0 solved, 72 unsolved
Fused 72 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 72 out of 621 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 621/621 places, 2480/2480 transitions.
Performed 24 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 24 Pre rules applied. Total rules applied 0 place count 621 transition count 2456
Deduced a syphon composed of 24 places in 2 ms
Reduce places removed 24 places and 0 transitions.
Iterating global reduction 0 with 48 rules applied. Total rules applied 48 place count 597 transition count 2456
Discarding 114 places :
Symmetric choice reduction at 0 with 114 rule applications. Total rules 162 place count 483 transition count 722
Iterating global reduction 0 with 114 rules applied. Total rules applied 276 place count 483 transition count 722
Performed 66 Post agglomeration using F-continuation condition.Transition count delta: 66
Deduced a syphon composed of 66 places in 4 ms
Reduce places removed 66 places and 0 transitions.
Iterating global reduction 0 with 132 rules applied. Total rules applied 408 place count 417 transition count 656
Applied a total of 408 rules in 374 ms. Remains 417 /621 variables (removed 204) and now considering 656/2480 (removed 1824) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 405 ms. Remains : 417/621 places, 656/2480 transitions.
SDD proceeding with computation,75 properties remain. new max is 8192
SDD size :5513 after 44447
RANDOM walk for 4000000 steps (8 resets) in 46889 ms. (85 steps per ms) remains 51/72 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2522 ms. (158 steps per ms) remains 50/51 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2147 ms. (186 steps per ms) remains 50/50 properties
BEST_FIRST walk for 400000 steps (8 resets) in 2106 ms. (189 steps per ms) remains 50/50 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2172 ms. (184 steps per ms) remains 50/50 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2545 ms. (157 steps per ms) remains 50/50 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2039 ms. (196 steps per ms) remains 50/50 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2223 ms. (179 steps per ms) remains 50/50 properties
BEST_FIRST walk for 400002 steps (8 resets) in 1970 ms. (202 steps per ms) remains 50/50 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2472 ms. (161 steps per ms) remains 50/50 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2191 ms. (182 steps per ms) remains 50/50 properties
SDD proceeding with computation,75 properties remain. new max is 16384
BEST_FIRST walk for 400002 steps (8 resets) in 2308 ms. (173 steps per ms) remains 50/50 properties
SDD size :44447 after 353554
BEST_FIRST walk for 400002 steps (8 resets) in 2018 ms. (198 steps per ms) remains 50/50 properties
BEST_FIRST walk for 400002 steps (8 resets) in 1918 ms. (208 steps per ms) remains 50/50 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2523 ms. (158 steps per ms) remains 50/50 properties
BEST_FIRST walk for 400004 steps (8 resets) in 1966 ms. (203 steps per ms) remains 50/50 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2237 ms. (178 steps per ms) remains 50/50 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2181 ms. (183 steps per ms) remains 50/50 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2492 ms. (160 steps per ms) remains 50/50 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2233 ms. (179 steps per ms) remains 50/50 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2202 ms. (181 steps per ms) remains 50/50 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2466 ms. (162 steps per ms) remains 50/50 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2172 ms. (184 steps per ms) remains 49/50 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2070 ms. (193 steps per ms) remains 49/49 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2097 ms. (190 steps per ms) remains 49/49 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2500 ms. (159 steps per ms) remains 49/49 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2144 ms. (186 steps per ms) remains 49/49 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2091 ms. (191 steps per ms) remains 49/49 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2642 ms. (151 steps per ms) remains 48/49 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2085 ms. (191 steps per ms) remains 48/48 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2053 ms. (194 steps per ms) remains 48/48 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2003 ms. (199 steps per ms) remains 48/48 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2026 ms. (197 steps per ms) remains 48/48 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2004 ms. (199 steps per ms) remains 48/48 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2192 ms. (182 steps per ms) remains 48/48 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2309 ms. (173 steps per ms) remains 48/48 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2206 ms. (181 steps per ms) remains 48/48 properties
BEST_FIRST walk for 400002 steps (8 resets) in 1964 ms. (203 steps per ms) remains 48/48 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2264 ms. (176 steps per ms) remains 48/48 properties
BEST_FIRST walk for 400002 steps (8 resets) in 1887 ms. (211 steps per ms) remains 48/48 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2098 ms. (190 steps per ms) remains 48/48 properties
BEST_FIRST walk for 400002 steps (8 resets) in 1957 ms. (204 steps per ms) remains 48/48 properties
BEST_FIRST walk for 400004 steps (8 resets) in 1961 ms. (203 steps per ms) remains 48/48 properties
BEST_FIRST walk for 400003 steps (8 resets) in 1870 ms. (213 steps per ms) remains 48/48 properties
BEST_FIRST walk for 400000 steps (8 resets) in 2311 ms. (173 steps per ms) remains 48/48 properties
BEST_FIRST walk for 400004 steps (8 resets) in 1892 ms. (211 steps per ms) remains 48/48 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2569 ms. (155 steps per ms) remains 47/48 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2177 ms. (183 steps per ms) remains 46/47 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2108 ms. (189 steps per ms) remains 46/46 properties
BEST_FIRST walk for 400000 steps (8 resets) in 2669 ms. (149 steps per ms) remains 46/46 properties
// Phase 1: matrix 656 rows 417 cols
[2024-05-20 18:36:12] [INFO ] Computed 23 invariants in 11 ms
[2024-05-20 18:36:12] [INFO ] State equation strengthened by 90 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/46 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 46 unsolved
At refinement iteration 1 (OVERLAPS) 350/396 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 46 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/396 variables, 0/11 constraints. Problems are: Problem set: 0 solved, 46 unsolved
At refinement iteration 3 (OVERLAPS) 10/406 variables, 1/12 constraints. Problems are: Problem set: 0 solved, 46 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/406 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 46 unsolved
At refinement iteration 5 (OVERLAPS) 11/417 variables, 11/23 constraints. Problems are: Problem set: 0 solved, 46 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/417 variables, 0/23 constraints. Problems are: Problem set: 0 solved, 46 unsolved
At refinement iteration 7 (OVERLAPS) 656/1073 variables, 417/440 constraints. Problems are: Problem set: 0 solved, 46 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/1073 variables, 90/530 constraints. Problems are: Problem set: 0 solved, 46 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1073 variables, 0/530 constraints. Problems are: Problem set: 0 solved, 46 unsolved
At refinement iteration 10 (OVERLAPS) 0/1073 variables, 0/530 constraints. Problems are: Problem set: 0 solved, 46 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1073/1073 variables, and 530 constraints, problems are : Problem set: 0 solved, 46 unsolved in 3972 ms.
Refiners :[Positive P Invariants (semi-flows): 12/12 constraints, Generalized P Invariants (flows): 11/11 constraints, State Equation: 417/417 constraints, ReadFeed: 90/90 constraints, PredecessorRefiner: 46/46 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 46 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/46 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 46 unsolved
At refinement iteration 1 (OVERLAPS) 350/396 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 46 unsolved
[2024-05-20 18:36:16] [INFO ] Deduced a trap composed of 356 places in 301 ms of which 53 ms to minimize.
[2024-05-20 18:36:17] [INFO ] Deduced a trap composed of 362 places in 334 ms of which 6 ms to minimize.
[2024-05-20 18:36:17] [INFO ] Deduced a trap composed of 372 places in 273 ms of which 4 ms to minimize.
[2024-05-20 18:36:17] [INFO ] Deduced a trap composed of 341 places in 362 ms of which 16 ms to minimize.
[2024-05-20 18:36:18] [INFO ] Deduced a trap composed of 357 places in 313 ms of which 6 ms to minimize.
[2024-05-20 18:36:18] [INFO ] Deduced a trap composed of 356 places in 311 ms of which 5 ms to minimize.
[2024-05-20 18:36:18] [INFO ] Deduced a trap composed of 354 places in 228 ms of which 4 ms to minimize.
[2024-05-20 18:36:19] [INFO ] Deduced a trap composed of 354 places in 299 ms of which 5 ms to minimize.
[2024-05-20 18:36:19] [INFO ] Deduced a trap composed of 358 places in 217 ms of which 4 ms to minimize.
[2024-05-20 18:36:19] [INFO ] Deduced a trap composed of 356 places in 311 ms of which 4 ms to minimize.
[2024-05-20 18:36:19] [INFO ] Deduced a trap composed of 348 places in 222 ms of which 4 ms to minimize.
[2024-05-20 18:36:20] [INFO ] Deduced a trap composed of 344 places in 218 ms of which 4 ms to minimize.
[2024-05-20 18:36:20] [INFO ] Deduced a trap composed of 352 places in 221 ms of which 4 ms to minimize.
[2024-05-20 18:36:20] [INFO ] Deduced a trap composed of 344 places in 222 ms of which 5 ms to minimize.
[2024-05-20 18:36:20] [INFO ] Deduced a trap composed of 350 places in 237 ms of which 4 ms to minimize.
[2024-05-20 18:36:21] [INFO ] Deduced a trap composed of 343 places in 218 ms of which 4 ms to minimize.
[2024-05-20 18:36:21] [INFO ] Deduced a trap composed of 354 places in 217 ms of which 5 ms to minimize.
[2024-05-20 18:36:21] [INFO ] Deduced a trap composed of 340 places in 220 ms of which 5 ms to minimize.
[2024-05-20 18:36:21] [INFO ] Deduced a trap composed of 351 places in 218 ms of which 5 ms to minimize.
[2024-05-20 18:36:21] [INFO ] Deduced a trap composed of 343 places in 219 ms of which 4 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/396 variables, 20/31 constraints. Problems are: Problem set: 0 solved, 46 unsolved
[2024-05-20 18:36:22] [INFO ] Deduced a trap composed of 345 places in 288 ms of which 4 ms to minimize.
[2024-05-20 18:36:22] [INFO ] Deduced a trap composed of 336 places in 219 ms of which 5 ms to minimize.
[2024-05-20 18:36:22] [INFO ] Deduced a trap composed of 340 places in 223 ms of which 4 ms to minimize.
[2024-05-20 18:36:23] [INFO ] Deduced a trap composed of 344 places in 229 ms of which 5 ms to minimize.
[2024-05-20 18:36:23] [INFO ] Deduced a trap composed of 345 places in 251 ms of which 4 ms to minimize.
SDD proceeding with computation,75 properties remain. new max is 32768
SDD size :353554 after 2.91972e+06
[2024-05-20 18:36:23] [INFO ] Deduced a trap composed of 340 places in 229 ms of which 4 ms to minimize.
[2024-05-20 18:36:23] [INFO ] Deduced a trap composed of 346 places in 217 ms of which 4 ms to minimize.
[2024-05-20 18:36:24] [INFO ] Deduced a trap composed of 339 places in 235 ms of which 4 ms to minimize.
[2024-05-20 18:36:24] [INFO ] Deduced a trap composed of 346 places in 253 ms of which 5 ms to minimize.
[2024-05-20 18:36:24] [INFO ] Deduced a trap composed of 354 places in 228 ms of which 4 ms to minimize.
[2024-05-20 18:36:24] [INFO ] Deduced a trap composed of 337 places in 225 ms of which 4 ms to minimize.
[2024-05-20 18:36:25] [INFO ] Deduced a trap composed of 344 places in 249 ms of which 4 ms to minimize.
[2024-05-20 18:36:25] [INFO ] Deduced a trap composed of 338 places in 249 ms of which 4 ms to minimize.
[2024-05-20 18:36:25] [INFO ] Deduced a trap composed of 346 places in 279 ms of which 5 ms to minimize.
[2024-05-20 18:36:25] [INFO ] Deduced a trap composed of 337 places in 238 ms of which 10 ms to minimize.
[2024-05-20 18:36:26] [INFO ] Deduced a trap composed of 345 places in 242 ms of which 4 ms to minimize.
[2024-05-20 18:36:26] [INFO ] Deduced a trap composed of 343 places in 251 ms of which 4 ms to minimize.
[2024-05-20 18:36:26] [INFO ] Deduced a trap composed of 326 places in 259 ms of which 4 ms to minimize.
[2024-05-20 18:36:27] [INFO ] Deduced a trap composed of 345 places in 236 ms of which 4 ms to minimize.
[2024-05-20 18:36:27] [INFO ] Deduced a trap composed of 344 places in 236 ms of which 5 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/396 variables, 20/51 constraints. Problems are: Problem set: 0 solved, 46 unsolved
[2024-05-20 18:36:28] [INFO ] Deduced a trap composed of 357 places in 299 ms of which 5 ms to minimize.
[2024-05-20 18:36:28] [INFO ] Deduced a trap composed of 357 places in 290 ms of which 5 ms to minimize.
[2024-05-20 18:36:28] [INFO ] Deduced a trap composed of 358 places in 306 ms of which 5 ms to minimize.
[2024-05-20 18:36:28] [INFO ] Deduced a trap composed of 371 places in 269 ms of which 5 ms to minimize.
[2024-05-20 18:36:29] [INFO ] Deduced a trap composed of 362 places in 286 ms of which 4 ms to minimize.
[2024-05-20 18:36:29] [INFO ] Deduced a trap composed of 361 places in 303 ms of which 4 ms to minimize.
[2024-05-20 18:36:29] [INFO ] Deduced a trap composed of 361 places in 292 ms of which 5 ms to minimize.
[2024-05-20 18:36:30] [INFO ] Deduced a trap composed of 358 places in 305 ms of which 4 ms to minimize.
[2024-05-20 18:36:30] [INFO ] Deduced a trap composed of 356 places in 274 ms of which 4 ms to minimize.
[2024-05-20 18:36:30] [INFO ] Deduced a trap composed of 358 places in 280 ms of which 4 ms to minimize.
[2024-05-20 18:36:31] [INFO ] Deduced a trap composed of 354 places in 270 ms of which 5 ms to minimize.
[2024-05-20 18:36:31] [INFO ] Deduced a trap composed of 348 places in 291 ms of which 5 ms to minimize.
[2024-05-20 18:36:31] [INFO ] Deduced a trap composed of 357 places in 303 ms of which 4 ms to minimize.
[2024-05-20 18:36:31] [INFO ] Deduced a trap composed of 350 places in 299 ms of which 4 ms to minimize.
[2024-05-20 18:36:32] [INFO ] Deduced a trap composed of 357 places in 272 ms of which 4 ms to minimize.
[2024-05-20 18:36:32] [INFO ] Deduced a trap composed of 354 places in 305 ms of which 15 ms to minimize.
[2024-05-20 18:36:32] [INFO ] Deduced a trap composed of 358 places in 279 ms of which 4 ms to minimize.
[2024-05-20 18:36:33] [INFO ] Deduced a trap composed of 354 places in 281 ms of which 4 ms to minimize.
[2024-05-20 18:36:33] [INFO ] Deduced a trap composed of 356 places in 273 ms of which 4 ms to minimize.
[2024-05-20 18:36:33] [INFO ] Deduced a trap composed of 349 places in 277 ms of which 4 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/396 variables, 20/71 constraints. Problems are: Problem set: 0 solved, 46 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/396 variables, 0/71 constraints. Problems are: Problem set: 0 solved, 46 unsolved
At refinement iteration 6 (OVERLAPS) 10/406 variables, 1/72 constraints. Problems are: Problem set: 0 solved, 46 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/406 variables, 0/72 constraints. Problems are: Problem set: 0 solved, 46 unsolved
At refinement iteration 8 (OVERLAPS) 11/417 variables, 11/83 constraints. Problems are: Problem set: 0 solved, 46 unsolved
[2024-05-20 18:36:35] [INFO ] Deduced a trap composed of 146 places in 351 ms of which 4 ms to minimize.
[2024-05-20 18:36:35] [INFO ] Deduced a trap composed of 118 places in 242 ms of which 4 ms to minimize.
At refinement iteration 9 (INCLUDED_ONLY) 0/417 variables, 2/85 constraints. Problems are: Problem set: 0 solved, 46 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/417 variables, 0/85 constraints. Problems are: Problem set: 0 solved, 46 unsolved
At refinement iteration 11 (OVERLAPS) 656/1073 variables, 417/502 constraints. Problems are: Problem set: 0 solved, 46 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/1073 variables, 90/592 constraints. Problems are: Problem set: 0 solved, 46 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/1073 variables, 46/638 constraints. Problems are: Problem set: 0 solved, 46 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/1073 variables, 0/638 constraints. Problems are: Problem set: 0 solved, 46 unsolved
At refinement iteration 15 (OVERLAPS) 0/1073 variables, 0/638 constraints. Problems are: Problem set: 0 solved, 46 unsolved
No progress, stopping.
After SMT solving in domain Int declared 1073/1073 variables, and 638 constraints, problems are : Problem set: 0 solved, 46 unsolved in 36296 ms.
Refiners :[Positive P Invariants (semi-flows): 12/12 constraints, Generalized P Invariants (flows): 11/11 constraints, State Equation: 417/417 constraints, ReadFeed: 90/90 constraints, PredecessorRefiner: 46/46 constraints, Known Traps: 62/62 constraints]
After SMT, in 40330ms problems are : Problem set: 0 solved, 46 unsolved
Parikh walk visited 0 properties in 4160 ms.
Support contains 46 out of 417 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 417/417 places, 656/656 transitions.
Performed 24 Post agglomeration using F-continuation condition.Transition count delta: 24
Deduced a syphon composed of 24 places in 1 ms
Reduce places removed 24 places and 0 transitions.
Iterating global reduction 0 with 48 rules applied. Total rules applied 48 place count 393 transition count 632
Applied a total of 48 rules in 58 ms. Remains 393 /417 variables (removed 24) and now considering 632/656 (removed 24) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 58 ms. Remains : 393/417 places, 632/656 transitions.
RANDOM walk for 4000000 steps (8 resets) in 39221 ms. (101 steps per ms) remains 44/46 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2233 ms. (179 steps per ms) remains 44/44 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2331 ms. (171 steps per ms) remains 44/44 properties
BEST_FIRST walk for 400003 steps (8 resets) in 1728 ms. (231 steps per ms) remains 44/44 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2672 ms. (149 steps per ms) remains 44/44 properties
BEST_FIRST walk for 400002 steps (8 resets) in 1898 ms. (210 steps per ms) remains 44/44 properties
BEST_FIRST walk for 400004 steps (8 resets) in 1886 ms. (211 steps per ms) remains 44/44 properties
BEST_FIRST walk for 400001 steps (8 resets) in 1923 ms. (207 steps per ms) remains 44/44 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2076 ms. (192 steps per ms) remains 44/44 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2348 ms. (170 steps per ms) remains 44/44 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2220 ms. (180 steps per ms) remains 44/44 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2306 ms. (173 steps per ms) remains 44/44 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2163 ms. (184 steps per ms) remains 44/44 properties
BEST_FIRST walk for 400003 steps (8 resets) in 1897 ms. (210 steps per ms) remains 44/44 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2337 ms. (171 steps per ms) remains 44/44 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2155 ms. (185 steps per ms) remains 44/44 properties
BEST_FIRST walk for 400002 steps (8 resets) in 1870 ms. (213 steps per ms) remains 44/44 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2395 ms. (166 steps per ms) remains 44/44 properties
BEST_FIRST walk for 400000 steps (8 resets) in 1903 ms. (210 steps per ms) remains 44/44 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2088 ms. (191 steps per ms) remains 44/44 properties
BEST_FIRST walk for 400000 steps (8 resets) in 2125 ms. (188 steps per ms) remains 43/44 properties
BEST_FIRST walk for 400001 steps (8 resets) in 1909 ms. (209 steps per ms) remains 43/43 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2191 ms. (182 steps per ms) remains 43/43 properties
BEST_FIRST walk for 400001 steps (8 resets) in 1995 ms. (200 steps per ms) remains 43/43 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2156 ms. (185 steps per ms) remains 43/43 properties
BEST_FIRST walk for 400003 steps (8 resets) in 1857 ms. (215 steps per ms) remains 43/43 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2324 ms. (172 steps per ms) remains 43/43 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2326 ms. (171 steps per ms) remains 43/43 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2137 ms. (187 steps per ms) remains 43/43 properties
BEST_FIRST walk for 400002 steps (8 resets) in 1857 ms. (215 steps per ms) remains 43/43 properties
BEST_FIRST walk for 400002 steps (8 resets) in 1803 ms. (221 steps per ms) remains 43/43 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2136 ms. (187 steps per ms) remains 42/43 properties
BEST_FIRST walk for 400002 steps (8 resets) in 1902 ms. (210 steps per ms) remains 42/42 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2100 ms. (190 steps per ms) remains 42/42 properties
BEST_FIRST walk for 400002 steps (8 resets) in 1948 ms. (205 steps per ms) remains 42/42 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2313 ms. (172 steps per ms) remains 42/42 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2247 ms. (177 steps per ms) remains 41/42 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2054 ms. (194 steps per ms) remains 41/41 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2241 ms. (178 steps per ms) remains 41/41 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2162 ms. (184 steps per ms) remains 41/41 properties
BEST_FIRST walk for 400002 steps (8 resets) in 1820 ms. (219 steps per ms) remains 41/41 properties
BEST_FIRST walk for 400001 steps (8 resets) in 1890 ms. (211 steps per ms) remains 41/41 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2570 ms. (155 steps per ms) remains 41/41 properties
// Phase 1: matrix 632 rows 393 cols
[2024-05-20 18:37:38] [INFO ] Computed 23 invariants in 6 ms
[2024-05-20 18:37:38] [INFO ] State equation strengthened by 90 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/41 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 1 (OVERLAPS) 331/372 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/372 variables, 0/11 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 3 (OVERLAPS) 10/382 variables, 1/12 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/382 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 5 (OVERLAPS) 11/393 variables, 11/23 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/393 variables, 0/23 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 7 (OVERLAPS) 632/1025 variables, 393/416 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/1025 variables, 90/506 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1025 variables, 0/506 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 10 (OVERLAPS) 0/1025 variables, 0/506 constraints. Problems are: Problem set: 0 solved, 41 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1025/1025 variables, and 506 constraints, problems are : Problem set: 0 solved, 41 unsolved in 4001 ms.
Refiners :[Positive P Invariants (semi-flows): 12/12 constraints, Generalized P Invariants (flows): 11/11 constraints, State Equation: 393/393 constraints, ReadFeed: 90/90 constraints, PredecessorRefiner: 41/41 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 41 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/41 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 1 (OVERLAPS) 331/372 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 41 unsolved
[2024-05-20 18:37:42] [INFO ] Deduced a trap composed of 340 places in 282 ms of which 5 ms to minimize.
[2024-05-20 18:37:43] [INFO ] Deduced a trap composed of 346 places in 239 ms of which 4 ms to minimize.
[2024-05-20 18:37:43] [INFO ] Deduced a trap composed of 333 places in 242 ms of which 4 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/372 variables, 3/14 constraints. Problems are: Problem set: 0 solved, 41 unsolved
[2024-05-20 18:37:44] [INFO ] Deduced a trap composed of 345 places in 222 ms of which 4 ms to minimize.
[2024-05-20 18:37:44] [INFO ] Deduced a trap composed of 336 places in 204 ms of which 4 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/372 variables, 2/16 constraints. Problems are: Problem set: 0 solved, 41 unsolved
[2024-05-20 18:37:44] [INFO ] Deduced a trap composed of 340 places in 213 ms of which 4 ms to minimize.
[2024-05-20 18:37:45] [INFO ] Deduced a trap composed of 333 places in 413 ms of which 6 ms to minimize.
[2024-05-20 18:37:45] [INFO ] Deduced a trap composed of 349 places in 378 ms of which 6 ms to minimize.
[2024-05-20 18:37:46] [INFO ] Deduced a trap composed of 341 places in 384 ms of which 6 ms to minimize.
[2024-05-20 18:37:46] [INFO ] Deduced a trap composed of 344 places in 369 ms of which 6 ms to minimize.
[2024-05-20 18:37:47] [INFO ] Deduced a trap composed of 329 places in 387 ms of which 6 ms to minimize.
[2024-05-20 18:37:47] [INFO ] Deduced a trap composed of 334 places in 342 ms of which 5 ms to minimize.
[2024-05-20 18:37:47] [INFO ] Deduced a trap composed of 352 places in 379 ms of which 5 ms to minimize.
[2024-05-20 18:37:48] [INFO ] Deduced a trap composed of 352 places in 380 ms of which 6 ms to minimize.
[2024-05-20 18:37:48] [INFO ] Deduced a trap composed of 350 places in 357 ms of which 6 ms to minimize.
[2024-05-20 18:37:48] [INFO ] Deduced a trap composed of 347 places in 343 ms of which 6 ms to minimize.
[2024-05-20 18:37:49] [INFO ] Deduced a trap composed of 348 places in 326 ms of which 5 ms to minimize.
[2024-05-20 18:37:49] [INFO ] Deduced a trap composed of 349 places in 342 ms of which 5 ms to minimize.
[2024-05-20 18:37:50] [INFO ] Deduced a trap composed of 346 places in 339 ms of which 5 ms to minimize.
[2024-05-20 18:37:50] [INFO ] Deduced a trap composed of 342 places in 329 ms of which 5 ms to minimize.
[2024-05-20 18:37:50] [INFO ] Deduced a trap composed of 322 places in 356 ms of which 5 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/372 variables, 16/32 constraints. Problems are: Problem set: 0 solved, 41 unsolved
[2024-05-20 18:37:51] [INFO ] Deduced a trap composed of 336 places in 368 ms of which 6 ms to minimize.
[2024-05-20 18:37:51] [INFO ] Deduced a trap composed of 338 places in 376 ms of which 6 ms to minimize.
[2024-05-20 18:37:52] [INFO ] Deduced a trap composed of 344 places in 373 ms of which 6 ms to minimize.
[2024-05-20 18:37:52] [INFO ] Deduced a trap composed of 328 places in 369 ms of which 5 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/372 variables, 4/36 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/372 variables, 0/36 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 7 (OVERLAPS) 10/382 variables, 1/37 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/382 variables, 0/37 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 9 (OVERLAPS) 11/393 variables, 11/48 constraints. Problems are: Problem set: 0 solved, 41 unsolved
[2024-05-20 18:37:54] [INFO ] Deduced a trap composed of 122 places in 438 ms of which 7 ms to minimize.
At refinement iteration 10 (INCLUDED_ONLY) 0/393 variables, 1/49 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/393 variables, 0/49 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 12 (OVERLAPS) 632/1025 variables, 393/442 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/1025 variables, 90/532 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/1025 variables, 41/573 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/1025 variables, 0/573 constraints. Problems are: Problem set: 0 solved, 41 unsolved
SDD proceeding with computation,75 properties remain. new max is 65536
SDD size :2.91972e+06 after 1.87347e+07
At refinement iteration 16 (OVERLAPS) 0/1025 variables, 0/573 constraints. Problems are: Problem set: 0 solved, 41 unsolved
No progress, stopping.
After SMT solving in domain Int declared 1025/1025 variables, and 573 constraints, problems are : Problem set: 0 solved, 41 unsolved in 25202 ms.
Refiners :[Positive P Invariants (semi-flows): 12/12 constraints, Generalized P Invariants (flows): 11/11 constraints, State Equation: 393/393 constraints, ReadFeed: 90/90 constraints, PredecessorRefiner: 41/41 constraints, Known Traps: 26/26 constraints]
After SMT, in 29242ms problems are : Problem set: 0 solved, 41 unsolved
Parikh walk visited 10 properties in 5683 ms.
Support contains 31 out of 393 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 393/393 places, 632/632 transitions.
Performed 11 Post agglomeration using F-continuation condition.Transition count delta: 11
Deduced a syphon composed of 11 places in 1 ms
Reduce places removed 11 places and 0 transitions.
Iterating global reduction 0 with 22 rules applied. Total rules applied 22 place count 382 transition count 621
Applied a total of 22 rules in 48 ms. Remains 382 /393 variables (removed 11) and now considering 621/632 (removed 11) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 48 ms. Remains : 382/393 places, 621/632 transitions.
RANDOM walk for 4000000 steps (8 resets) in 34813 ms. (114 steps per ms) remains 30/31 properties
BEST_FIRST walk for 400004 steps (8 resets) in 1682 ms. (237 steps per ms) remains 30/30 properties
BEST_FIRST walk for 400001 steps (8 resets) in 1993 ms. (200 steps per ms) remains 30/30 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2191 ms. (182 steps per ms) remains 30/30 properties
BEST_FIRST walk for 400002 steps (8 resets) in 1782 ms. (224 steps per ms) remains 30/30 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2964 ms. (134 steps per ms) remains 30/30 properties
BEST_FIRST walk for 400003 steps (8 resets) in 1733 ms. (230 steps per ms) remains 30/30 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2072 ms. (192 steps per ms) remains 30/30 properties
BEST_FIRST walk for 400001 steps (8 resets) in 1642 ms. (243 steps per ms) remains 30/30 properties
BEST_FIRST walk for 400003 steps (8 resets) in 1892 ms. (211 steps per ms) remains 30/30 properties
BEST_FIRST walk for 400002 steps (8 resets) in 1663 ms. (240 steps per ms) remains 30/30 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2030 ms. (196 steps per ms) remains 30/30 properties
BEST_FIRST walk for 400003 steps (8 resets) in 2028 ms. (197 steps per ms) remains 30/30 properties
BEST_FIRST walk for 400001 steps (8 resets) in 1915 ms. (208 steps per ms) remains 30/30 properties
BEST_FIRST walk for 400003 steps (8 resets) in 1559 ms. (256 steps per ms) remains 30/30 properties
BEST_FIRST walk for 400003 steps (8 resets) in 1793 ms. (222 steps per ms) remains 30/30 properties
BEST_FIRST walk for 400002 steps (8 resets) in 1695 ms. (235 steps per ms) remains 30/30 properties
BEST_FIRST walk for 400002 steps (8 resets) in 1739 ms. (229 steps per ms) remains 30/30 properties
BEST_FIRST walk for 400002 steps (8 resets) in 1685 ms. (237 steps per ms) remains 30/30 properties
BEST_FIRST walk for 400004 steps (8 resets) in 2181 ms. (183 steps per ms) remains 30/30 properties
BEST_FIRST walk for 400001 steps (8 resets) in 1718 ms. (232 steps per ms) remains 30/30 properties
BEST_FIRST walk for 400002 steps (8 resets) in 2015 ms. (198 steps per ms) remains 30/30 properties
BEST_FIRST walk for 400001 steps (8 resets) in 1747 ms. (228 steps per ms) remains 30/30 properties
BEST_FIRST walk for 400001 steps (8 resets) in 1724 ms. (231 steps per ms) remains 30/30 properties
BEST_FIRST walk for 400003 steps (8 resets) in 1680 ms. (237 steps per ms) remains 30/30 properties
BEST_FIRST walk for 400001 steps (8 resets) in 1639 ms. (243 steps per ms) remains 30/30 properties
BEST_FIRST walk for 400001 steps (8 resets) in 1742 ms. (229 steps per ms) remains 30/30 properties
BEST_FIRST walk for 400002 steps (8 resets) in 1974 ms. (202 steps per ms) remains 30/30 properties
BEST_FIRST walk for 400002 steps (8 resets) in 1931 ms. (207 steps per ms) remains 30/30 properties
BEST_FIRST walk for 400001 steps (8 resets) in 1777 ms. (224 steps per ms) remains 30/30 properties
BEST_FIRST walk for 400001 steps (8 resets) in 2015 ms. (198 steps per ms) remains 30/30 properties
Finished probabilistic random walk after 872821 steps, run visited all 30 properties in 10899 ms. (steps per millisecond=80 )
Probabilistic random walk after 872821 steps, saw 542186 distinct states, run finished after 10906 ms. (steps per millisecond=80 ) properties seen :30
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
Able to resolve query StableMarking after proving 621 properties.
FORMULA StableMarking FALSE TECHNIQUES RANDOM_WALK PARIKH_WALK PROBABILISTIC_WALK BESTFIRST_WALK TOPOLOGICAL
Total runtime 225288 ms.
BK_STOP 1716230334899
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ StableMarking = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution StableMarking -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination StableMarking -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Anderson-PT-10"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool itstools"
echo " Input is Anderson-PT-10, 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 r013-smll-171620124700228"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Anderson-PT-10.tgz
mv Anderson-PT-10 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 ;