About the Execution of 2023-gold for FamilyReunion-PT-L00200M0020C010P010G005
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5573.987 | 3600000.00 | 4028038.00 | 8954.20 | ? ? ? ? ? ? ? ? 1 ? ? ? ? ? ? ? | 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.r175-smll-171636280400321.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 gold2023
Input is FamilyReunion-PT-L00200M0020C010P010G005, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r175-smll-171636280400321
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 130M
-rw-r--r-- 1 mcc users 1.2M Apr 12 04:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 6.7M Apr 12 04:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0M Apr 12 01:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 6.3M Apr 12 01:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:42 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 770K Apr 22 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 2.8M Apr 22 14:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.2M Apr 22 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 3.1M Apr 22 14:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 1.8M Apr 12 11:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 9.7M Apr 12 11:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3M Apr 12 09:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 26M Apr 12 09:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 180K Apr 22 14:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 507K Apr 22 14:44 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 24 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 62M 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 positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-00
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-01
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-02
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-03
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-04
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-05
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-06
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-07
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-08
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-09
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-10
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-11
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-12
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-13
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-14
FORMULA_NAME FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1716666610254
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=gold2023
BK_EXAMINATION=UpperBounds
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=FamilyReunion-PT-L00200M0020C010P010G005
Not applying reductions.
Model is PT
UpperBounds PT
Running Version 202304061127
[2024-05-25 19:50:13] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2024-05-25 19:50:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-25 19:50:16] [INFO ] Load time of PNML (sax parser for PT used): 3015 ms
[2024-05-25 19:50:17] [INFO ] Transformed 143908 places.
[2024-05-25 19:50:17] [INFO ] Transformed 134279 transitions.
[2024-05-25 19:50:17] [INFO ] Parsed PT model containing 143908 places and 134279 transitions and 411469 arcs in 3699 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 44523 ms.
Reduce places removed 56 places and 0 transitions.
FORMULA FamilyReunion-PT-L00200M0020C010P010G005-UpperBounds-08 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
// Phase 1: matrix 134279 rows 143852 cols
[2024-05-25 19:53:04] [WARNING] Invariant computation timed out after 120 seconds.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 5393 ms. (steps per millisecond=1 ) properties (out of 15) seen :59
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=68 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 593 ms. (steps per millisecond=16 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 597 ms. (steps per millisecond=16 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 593 ms. (steps per millisecond=16 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=59 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1061 ms. (steps per millisecond=9 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=88 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1061 ms. (steps per millisecond=9 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=95 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=82 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=86 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=105 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=101 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=108 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=106 ) properties (out of 15) seen :0
// Phase 1: matrix 134279 rows 143852 cols
[2024-05-25 19:54:16] [INFO ] Computed 30578 invariants in 192686 ms
[2024-05-25 19:55:14] [WARNING] Invariant computation timed out after 120 seconds.
[2024-05-25 19:55:19] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 0
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:877)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2621)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:754)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-25 19:55:24] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed... while checking expression at index 1
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:877)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2621)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:754)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-25 19:55:29] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed... while checking expression at index 2
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:877)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2621)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:754)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-25 19:55:35] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 3
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:877)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2621)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:754)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-25 19:55:40] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 4
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:877)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2621)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:754)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-25 19:55:45] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 5
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:877)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2621)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:754)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-25 19:55:50] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed... while checking expression at index 6
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:877)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2621)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:754)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-25 19:55:55] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... while checking expression at index 7
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:877)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2621)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:754)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-25 19:56:00] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... while checking expression at index 8
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:877)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2621)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:754)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-25 19:56:05] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... while checking expression at index 9
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:877)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2621)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:754)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-25 19:56:10] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... while checking expression at index 10
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:877)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2621)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:754)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-25 19:56:15] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed... while checking expression at index 11
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:877)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2621)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:754)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-25 19:56:20] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")... while checking expression at index 12
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:877)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2621)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:754)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-25 19:56:25] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")... while checking expression at index 13
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:877)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2621)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:754)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-25 19:56:30] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... while checking expression at index 14
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:877)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2621)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:754)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
Current structural bounds on expressions (after SMT) : [-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1] Max seen :[0, 0, 1, 1, 0, 24, 0, 32, 1, 0, 0, 0, 0, 0, 0]
Support contains 15886 out of 143852 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 143852/143852 places, 134279/134279 transitions.
Graph (complete) has 236398 edges and 143852 vertex of which 143368 are kept as prefixes of interest. Removing 484 places using SCC suffix rule.253 ms
Discarding 484 places :
Also discarding 11 output transitions
Drop transitions removed 11 transitions
[2024-05-25 19:56:33] [INFO ] Computed 30578 invariants in 198648 ms
Discarding 25326 places :
Implicit places reduction removed 25326 places
Drop transitions removed 56877 transitions
Trivial Post-agglo rules discarded 56877 transitions
Performed 56877 trivial Post agglomeration. Transition count delta: 56877
Iterating post reduction 0 with 82203 rules applied. Total rules applied 82204 place count 118042 transition count 77391
Reduce places removed 56877 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 1 with 56879 rules applied. Total rules applied 139083 place count 61165 transition count 77389
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 139085 place count 61163 transition count 77389
Performed 5227 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 5227 Pre rules applied. Total rules applied 139085 place count 61163 transition count 72162
Deduced a syphon composed of 5227 places in 115 ms
Ensure Unique test removed 402 places
Reduce places removed 5629 places and 0 transitions.
Iterating global reduction 3 with 10856 rules applied. Total rules applied 149941 place count 55534 transition count 72162
Discarding 2412 places :
Implicit places reduction removed 2412 places
Iterating post reduction 3 with 2412 rules applied. Total rules applied 152353 place count 53122 transition count 72162
Discarding 1005 places :
Symmetric choice reduction at 4 with 1005 rule applications. Total rules 153358 place count 52117 transition count 70152
Iterating global reduction 4 with 1005 rules applied. Total rules applied 154363 place count 52117 transition count 70152
Discarding 4 places :
Symmetric choice reduction at 4 with 4 rule applications. Total rules 154367 place count 52113 transition count 69348
Iterating global reduction 4 with 4 rules applied. Total rules applied 154371 place count 52113 transition count 69348
Performed 1808 Post agglomeration using F-continuation condition.Transition count delta: 1808
Deduced a syphon composed of 1808 places in 106 ms
Reduce places removed 1808 places and 0 transitions.
Iterating global reduction 4 with 3616 rules applied. Total rules applied 157987 place count 50305 transition count 67540
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 101 places in 57 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 4 with 202 rules applied. Total rules applied 158189 place count 50204 transition count 67540
Performed 100 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 100 places in 58 ms
Reduce places removed 100 places and 0 transitions.
Iterating global reduction 4 with 200 rules applied. Total rules applied 158389 place count 50104 transition count 67540
Free-agglomeration rule applied 2200 times.
Iterating global reduction 4 with 2200 rules applied. Total rules applied 160589 place count 50104 transition count 65340
Ensure Unique test removed 200 places
Reduce places removed 2400 places and 0 transitions.
Ensure Unique test removed 2000 transitions
Reduce isomorphic transitions removed 2000 transitions.
Iterating post reduction 4 with 4400 rules applied. Total rules applied 164989 place count 47704 transition count 63340
Performed 200 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 200 Pre rules applied. Total rules applied 164989 place count 47704 transition count 63140
Deduced a syphon composed of 200 places in 49 ms
Ensure Unique test removed 200 places
Reduce places removed 400 places and 0 transitions.
Iterating global reduction 5 with 600 rules applied. Total rules applied 165589 place count 47304 transition count 63140
Performed 199 Post agglomeration using F-continuation condition.Transition count delta: 199
Deduced a syphon composed of 199 places in 52 ms
Reduce places removed 199 places and 0 transitions.
Iterating global reduction 5 with 398 rules applied. Total rules applied 165987 place count 47105 transition count 62941
Free-agglomeration rule (complex) applied 13872 times.
Iterating global reduction 5 with 13872 rules applied. Total rules applied 179859 place count 47105 transition count 59319
Ensure Unique test removed 403 places
Reduce places removed 14275 places and 0 transitions.
Iterating post reduction 5 with 14275 rules applied. Total rules applied 194134 place count 32830 transition count 59319
Discarding 40 places :
Symmetric choice reduction at 6 with 40 rule applications. Total rules 194174 place count 32790 transition count 45029
Iterating global reduction 6 with 40 rules applied. Total rules applied 194214 place count 32790 transition count 45029
Partial Free-agglomeration rule applied 402 times.
Drop transitions removed 402 transitions
Iterating global reduction 6 with 402 rules applied. Total rules applied 194616 place count 32790 transition count 45029
Applied a total of 194616 rules in 127644 ms. Remains 32790 /143852 variables (removed 111062) and now considering 45029/134279 (removed 89250) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 127653 ms. Remains : 32790/143852 places, 45029/134279 transitions.
// Phase 1: matrix 45029 rows 32790 cols
[2024-05-25 19:58:42] [INFO ] Computed 1212 invariants in 5019 ms
Interrupted random walk after 61891 steps, including 20 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen 401
Interrupted Best-First random walk after 437963 steps, including 1 resets, run timeout after 5006 ms. (steps per millisecond=87 ) properties seen 1
Interrupted Best-First random walk after 90265 steps, including 0 resets, run timeout after 5002 ms. (steps per millisecond=18 ) properties seen 0
Interrupted Best-First random walk after 92046 steps, including 0 resets, run timeout after 5036 ms. (steps per millisecond=18 ) properties seen 0
Interrupted Best-First random walk after 95047 steps, including 0 resets, run timeout after 5017 ms. (steps per millisecond=18 ) properties seen 0
Interrupted Best-First random walk after 322019 steps, including 0 resets, run timeout after 5029 ms. (steps per millisecond=64 ) properties seen 1
Interrupted Best-First random walk after 50345 steps, including 0 resets, run timeout after 5036 ms. (steps per millisecond=9 ) properties seen 0
Interrupted Best-First random walk after 416792 steps, including 1 resets, run timeout after 5007 ms. (steps per millisecond=83 ) properties seen 2
Interrupted Best-First random walk after 50945 steps, including 0 resets, run timeout after 5030 ms. (steps per millisecond=10 ) properties seen 6
Interrupted Best-First random walk after 734813 steps, including 2 resets, run timeout after 5002 ms. (steps per millisecond=146 ) properties seen 2
Interrupted Best-First random walk after 851377 steps, including 2 resets, run timeout after 5008 ms. (steps per millisecond=170 ) properties seen 4
Interrupted Best-First random walk after 774891 steps, including 2 resets, run timeout after 5002 ms. (steps per millisecond=154 ) properties seen 4
Interrupted Best-First random walk after 881655 steps, including 2 resets, run timeout after 5001 ms. (steps per millisecond=176 ) properties seen 2
Interrupted Best-First random walk after 841893 steps, including 2 resets, run timeout after 5005 ms. (steps per millisecond=168 ) properties seen 2
Interrupted Best-First random walk after 847053 steps, including 2 resets, run timeout after 5003 ms. (steps per millisecond=169 ) properties seen 4
Interrupted Best-First random walk after 854857 steps, including 2 resets, run timeout after 5002 ms. (steps per millisecond=170 ) properties seen 4
[2024-05-25 20:00:28] [INFO ] Invariant cache hit.
[2024-05-25 20:00:40] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5895 ms returned sat
[2024-05-25 20:00:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:00:50] [INFO ] [Real]Absence check using state equation in 9856 ms returned sat
[2024-05-25 20:01:02] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 6334 ms.
[2024-05-25 20:01:14] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 4723 ms returned sat
[2024-05-25 20:01:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:01:24] [INFO ] [Real]Absence check using state equation in 9843 ms returned sat
[2024-05-25 20:01:34] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4927 ms.
[2024-05-25 20:01:45] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 4615 ms returned sat
[2024-05-25 20:01:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:01:55] [INFO ] [Real]Absence check using state equation in 9710 ms returned sat
[2024-05-25 20:02:05] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4721 ms.
[2024-05-25 20:02:16] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 4469 ms returned sat
[2024-05-25 20:02:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:02:26] [INFO ] [Real]Absence check using state equation in 9928 ms returned sat
[2024-05-25 20:02:36] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4356 ms.
[2024-05-25 20:02:47] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 4497 ms returned sat
[2024-05-25 20:02:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:02:57] [INFO ] [Real]Absence check using state equation in 9923 ms returned sat
[2024-05-25 20:03:06] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4342 ms.
[2024-05-25 20:03:18] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5374 ms returned sat
[2024-05-25 20:03:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:03:27] [INFO ] [Real]Absence check using state equation in 9250 ms returned sat
[2024-05-25 20:03:37] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4932 ms.
[2024-05-25 20:03:50] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5466 ms returned sat
[2024-05-25 20:03:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:04:00] [INFO ] [Real]Absence check using state equation in 10408 ms returned sat
[2024-05-25 20:04:11] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4931 ms.
[2024-05-25 20:04:22] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 4840 ms returned sat
[2024-05-25 20:04:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:04:32] [INFO ] [Real]Absence check using state equation in 9687 ms returned sat
[2024-05-25 20:04:42] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4906 ms.
[2024-05-25 20:05:10] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5353 ms returned sat
[2024-05-25 20:05:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:05:19] [INFO ] [Real]Absence check using state equation in 9897 ms returned sat
[2024-05-25 20:05:22] [INFO ] Solution in real domain found non-integer solution.
[2024-05-25 20:05:32] [INFO ] [Nat]Absence check using 0 positive and 1212 generalized place invariants in 4937 ms returned sat
[2024-05-25 20:05:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-25 20:05:42] [INFO ] [Nat]Absence check using state equation in 9871 ms returned sat
[2024-05-25 20:05:52] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 5266 ms.
[2024-05-25 20:06:04] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5161 ms returned sat
[2024-05-25 20:06:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:06:14] [INFO ] [Real]Absence check using state equation in 10255 ms returned sat
[2024-05-25 20:06:23] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4365 ms.
[2024-05-25 20:06:34] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 4570 ms returned sat
[2024-05-25 20:06:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:06:44] [INFO ] [Real]Absence check using state equation in 9573 ms returned sat
[2024-05-25 20:06:55] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4989 ms.
[2024-05-25 20:07:07] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5453 ms returned sat
[2024-05-25 20:07:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:07:17] [INFO ] [Real]Absence check using state equation in 9866 ms returned sat
[2024-05-25 20:07:28] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4942 ms.
[2024-05-25 20:07:39] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 4855 ms returned sat
[2024-05-25 20:07:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:07:49] [INFO ] [Real]Absence check using state equation in 10068 ms returned sat
[2024-05-25 20:08:00] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 5397 ms.
Current structural bounds on expressions (after SMT) : [-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1] Max seen :[43, 44, 53, 52, 6, 68, 39, 90, 1, 1, 0, 1, 1, 1, 1]
Support contains 15886 out of 32790 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 32790/32790 places, 45029/45029 transitions.
Applied a total of 0 rules in 1086 ms. Remains 32790 /32790 variables (removed 0) and now considering 45029/45029 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1086 ms. Remains : 32790/32790 places, 45029/45029 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 32790/32790 places, 45029/45029 transitions.
Applied a total of 0 rules in 966 ms. Remains 32790 /32790 variables (removed 0) and now considering 45029/45029 (removed 0) transitions.
[2024-05-25 20:08:02] [INFO ] Invariant cache hit.
[2024-05-25 20:08:06] [INFO ] SMT solver returned unknown. Retrying;
[2024-05-25 20:08:06] [INFO ] Implicit Places using invariants in 4380 ms returned []
Implicit Place search using SMT only with invariants took 4382 ms to find 0 implicit places.
[2024-05-25 20:08:06] [INFO ] Invariant cache hit.
[2024-05-25 20:08:10] [INFO ] SMT solver returned unknown. Retrying;
[2024-05-25 20:08:10] [INFO ] Dead Transitions using invariants and state equation in 4217 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 9571 ms. Remains : 32790/32790 places, 45029/45029 transitions.
[2024-05-25 20:08:11] [INFO ] Invariant cache hit.
Interrupted random walk after 65664 steps, including 21 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen 412
Interrupted Best-First random walk after 496596 steps, including 1 resets, run timeout after 5005 ms. (steps per millisecond=99 ) properties seen 2
Interrupted Best-First random walk after 88264 steps, including 0 resets, run timeout after 5026 ms. (steps per millisecond=17 ) properties seen 0
Interrupted Best-First random walk after 92046 steps, including 0 resets, run timeout after 5011 ms. (steps per millisecond=18 ) properties seen 0
Interrupted Best-First random walk after 92046 steps, including 0 resets, run timeout after 5033 ms. (steps per millisecond=18 ) properties seen 0
Interrupted Best-First random walk after 318495 steps, including 0 resets, run timeout after 5016 ms. (steps per millisecond=63 ) properties seen 1
Interrupted Best-First random walk after 50345 steps, including 0 resets, run timeout after 5017 ms. (steps per millisecond=10 ) properties seen 0
Interrupted Best-First random walk after 496636 steps, including 1 resets, run timeout after 5010 ms. (steps per millisecond=99 ) properties seen 1
Interrupted Best-First random walk after 50945 steps, including 0 resets, run timeout after 5085 ms. (steps per millisecond=10 ) properties seen 6
Interrupted Best-First random walk after 896507 steps, including 2 resets, run timeout after 5003 ms. (steps per millisecond=179 ) properties seen 4
Interrupted Best-First random walk after 889603 steps, including 2 resets, run timeout after 5002 ms. (steps per millisecond=177 ) properties seen 1
Interrupted Best-First random walk after 891383 steps, including 2 resets, run timeout after 5004 ms. (steps per millisecond=178 ) properties seen 3
Interrupted Best-First random walk after 894827 steps, including 2 resets, run timeout after 5005 ms. (steps per millisecond=178 ) properties seen 1
Interrupted Best-First random walk after 904713 steps, including 2 resets, run timeout after 5005 ms. (steps per millisecond=180 ) properties seen 1
Interrupted Best-First random walk after 907573 steps, including 2 resets, run timeout after 5006 ms. (steps per millisecond=181 ) properties seen 3
Interrupted Best-First random walk after 905449 steps, including 2 resets, run timeout after 5001 ms. (steps per millisecond=181 ) properties seen 3
[2024-05-25 20:09:56] [INFO ] Invariant cache hit.
[2024-05-25 20:10:08] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5238 ms returned sat
[2024-05-25 20:10:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:10:18] [INFO ] [Real]Absence check using state equation in 10211 ms returned sat
[2024-05-25 20:10:29] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4724 ms.
[2024-05-25 20:10:41] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5321 ms returned sat
[2024-05-25 20:10:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:10:51] [INFO ] [Real]Absence check using state equation in 9933 ms returned sat
[2024-05-25 20:11:00] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4523 ms.
[2024-05-25 20:11:12] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 4924 ms returned sat
[2024-05-25 20:11:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:11:22] [INFO ] [Real]Absence check using state equation in 9923 ms returned sat
[2024-05-25 20:11:32] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4885 ms.
[2024-05-25 20:11:44] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5164 ms returned sat
[2024-05-25 20:11:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:11:55] [INFO ] [Real]Absence check using state equation in 10335 ms returned sat
[2024-05-25 20:12:05] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4558 ms.
[2024-05-25 20:12:17] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5234 ms returned sat
[2024-05-25 20:12:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:12:27] [INFO ] [Real]Absence check using state equation in 10092 ms returned sat
[2024-05-25 20:12:38] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4510 ms.
[2024-05-25 20:12:50] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5153 ms returned sat
[2024-05-25 20:12:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:13:00] [INFO ] [Real]Absence check using state equation in 10270 ms returned sat
[2024-05-25 20:13:10] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4322 ms.
[2024-05-25 20:13:21] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 4583 ms returned sat
[2024-05-25 20:13:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:13:31] [INFO ] [Real]Absence check using state equation in 9740 ms returned sat
[2024-05-25 20:13:41] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4531 ms.
[2024-05-25 20:13:53] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5508 ms returned sat
[2024-05-25 20:13:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:14:03] [INFO ] [Real]Absence check using state equation in 9809 ms returned sat
[2024-05-25 20:14:13] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4375 ms.
[2024-05-25 20:14:24] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 4733 ms returned sat
[2024-05-25 20:14:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:14:34] [INFO ] [Real]Absence check using state equation in 9845 ms returned sat
[2024-05-25 20:14:44] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4550 ms.
[2024-05-25 20:14:56] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 4955 ms returned sat
[2024-05-25 20:14:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:15:06] [INFO ] [Real]Absence check using state equation in 9987 ms returned sat
[2024-05-25 20:15:16] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4558 ms.
[2024-05-25 20:15:28] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 4924 ms returned sat
[2024-05-25 20:15:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:15:38] [INFO ] [Real]Absence check using state equation in 10318 ms returned sat
[2024-05-25 20:15:41] [INFO ] Solution in real domain found non-integer solution.
[2024-05-25 20:15:51] [INFO ] [Nat]Absence check using 0 positive and 1212 generalized place invariants in 4647 ms returned sat
[2024-05-25 20:15:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-25 20:16:00] [INFO ] [Nat]Absence check using state equation in 9771 ms returned sat
[2024-05-25 20:16:09] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4326 ms.
[2024-05-25 20:16:20] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 4551 ms returned sat
[2024-05-25 20:16:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:16:29] [INFO ] [Real]Absence check using state equation in 9606 ms returned sat
[2024-05-25 20:16:39] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4335 ms.
[2024-05-25 20:16:51] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 4948 ms returned sat
[2024-05-25 20:16:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:17:01] [INFO ] [Real]Absence check using state equation in 10067 ms returned sat
[2024-05-25 20:17:12] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4870 ms.
[2024-05-25 20:17:24] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5461 ms returned sat
[2024-05-25 20:17:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:17:36] [INFO ] [Real]Absence check using state equation in 11090 ms returned sat
[2024-05-25 20:17:46] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 5005 ms.
[2024-05-25 20:17:58] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5046 ms returned sat
[2024-05-25 20:17:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:18:08] [INFO ] [Real]Absence check using state equation in 9753 ms returned sat
[2024-05-25 20:18:18] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4183 ms.
Current structural bounds on expressions (after SMT) : [-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1] Max seen :[43, 44, 53, 52, 6, 71, 44, 99, 1, 1, 0, 1, 1, 1, 1]
Support contains 15886 out of 32790 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 32790/32790 places, 45029/45029 transitions.
Applied a total of 0 rules in 641 ms. Remains 32790 /32790 variables (removed 0) and now considering 45029/45029 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 641 ms. Remains : 32790/32790 places, 45029/45029 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 32790/32790 places, 45029/45029 transitions.
Applied a total of 0 rules in 633 ms. Remains 32790 /32790 variables (removed 0) and now considering 45029/45029 (removed 0) transitions.
[2024-05-25 20:18:19] [INFO ] Invariant cache hit.
[2024-05-25 20:18:23] [INFO ] SMT solver returned unknown. Retrying;
[2024-05-25 20:18:23] [INFO ] Implicit Places using invariants in 3934 ms returned []
Implicit Place search using SMT only with invariants took 3936 ms to find 0 implicit places.
[2024-05-25 20:18:23] [INFO ] Invariant cache hit.
[2024-05-25 20:18:27] [INFO ] SMT solver returned unknown. Retrying;
[2024-05-25 20:18:27] [INFO ] Dead Transitions using invariants and state equation in 4293 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 8869 ms. Remains : 32790/32790 places, 45029/45029 transitions.
[2024-05-25 20:18:27] [INFO ] Invariant cache hit.
Finished random walk after 66148 steps, including 21 resets, run visited all 15 properties in 30001 ms. (steps per millisecond=2 )
Interrupted Best-First random walk after 475424 steps, including 1 resets, run timeout after 5001 ms. (steps per millisecond=95 ) properties seen 2
Interrupted Best-First random walk after 92046 steps, including 0 resets, run timeout after 5012 ms. (steps per millisecond=18 ) properties seen 0
Interrupted Best-First random walk after 92046 steps, including 0 resets, run timeout after 5017 ms. (steps per millisecond=18 ) properties seen 0
Interrupted Best-First random walk after 87463 steps, including 0 resets, run timeout after 5002 ms. (steps per millisecond=17 ) properties seen 0
Interrupted Best-First random walk after 332907 steps, including 0 resets, run timeout after 5007 ms. (steps per millisecond=66 ) properties seen 1
Interrupted Best-First random walk after 50345 steps, including 0 resets, run timeout after 5036 ms. (steps per millisecond=9 ) properties seen 0
Interrupted Best-First random walk after 490512 steps, including 1 resets, run timeout after 5004 ms. (steps per millisecond=98 ) properties seen 2
Interrupted Best-First random walk after 50945 steps, including 0 resets, run timeout after 5077 ms. (steps per millisecond=10 ) properties seen 6
Interrupted Best-First random walk after 878647 steps, including 2 resets, run timeout after 5005 ms. (steps per millisecond=175 ) properties seen 5
Interrupted Best-First random walk after 907855 steps, including 2 resets, run timeout after 5004 ms. (steps per millisecond=181 ) properties seen 3
Interrupted Best-First random walk after 906875 steps, including 2 resets, run timeout after 5003 ms. (steps per millisecond=181 ) properties seen 2
Interrupted Best-First random walk after 908635 steps, including 2 resets, run timeout after 5004 ms. (steps per millisecond=181 ) properties seen 2
Interrupted Best-First random walk after 900549 steps, including 2 resets, run timeout after 5004 ms. (steps per millisecond=179 ) properties seen 3
Interrupted Best-First random walk after 802629 steps, including 2 resets, run timeout after 5003 ms. (steps per millisecond=160 ) properties seen 2
Interrupted Best-First random walk after 819288 steps, including 2 resets, run timeout after 5004 ms. (steps per millisecond=163 ) properties seen 4
[2024-05-25 20:20:13] [INFO ] Invariant cache hit.
[2024-05-25 20:20:25] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5342 ms returned sat
[2024-05-25 20:20:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:20:36] [INFO ] [Real]Absence check using state equation in 10609 ms returned sat
[2024-05-25 20:20:46] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4618 ms.
[2024-05-25 20:20:58] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5305 ms returned sat
[2024-05-25 20:20:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:21:08] [INFO ] [Real]Absence check using state equation in 9860 ms returned sat
[2024-05-25 20:21:19] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4292 ms.
[2024-05-25 20:21:31] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5188 ms returned sat
[2024-05-25 20:21:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:21:41] [INFO ] [Real]Absence check using state equation in 10416 ms returned sat
[2024-05-25 20:21:52] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4781 ms.
[2024-05-25 20:22:04] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5398 ms returned sat
[2024-05-25 20:22:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:22:15] [INFO ] [Real]Absence check using state equation in 10405 ms returned sat
[2024-05-25 20:22:25] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4615 ms.
[2024-05-25 20:22:38] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5319 ms returned sat
[2024-05-25 20:22:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:22:48] [INFO ] [Real]Absence check using state equation in 10248 ms returned sat
[2024-05-25 20:22:58] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4464 ms.
[2024-05-25 20:23:09] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 4672 ms returned sat
[2024-05-25 20:23:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:23:19] [INFO ] [Real]Absence check using state equation in 9919 ms returned sat
[2024-05-25 20:23:29] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4810 ms.
[2024-05-25 20:23:41] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5148 ms returned sat
[2024-05-25 20:23:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:23:50] [INFO ] [Real]Absence check using state equation in 9752 ms returned sat
[2024-05-25 20:24:00] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4317 ms.
[2024-05-25 20:24:19] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5452 ms returned sat
[2024-05-25 20:24:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:24:29] [INFO ] [Real]Absence check using state equation in 9760 ms returned sat
[2024-05-25 20:24:38] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4322 ms.
[2024-05-25 20:24:49] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 4647 ms returned sat
[2024-05-25 20:24:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:24:58] [INFO ] [Real]Absence check using state equation in 9243 ms returned sat
[2024-05-25 20:25:08] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4446 ms.
[2024-05-25 20:25:20] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5262 ms returned sat
[2024-05-25 20:25:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:25:29] [INFO ] [Real]Absence check using state equation in 9637 ms returned sat
[2024-05-25 20:25:38] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4136 ms.
Current structural bounds on expressions (after SMT) : [-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1] Max seen :[43, 45, 53, 54, 6, 71, 44, 99, 1, 1, 1, 1, 1, 1, 1]
Support contains 15886 out of 32790 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 32790/32790 places, 45029/45029 transitions.
Applied a total of 0 rules in 706 ms. Remains 32790 /32790 variables (removed 0) and now considering 45029/45029 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 707 ms. Remains : 32790/32790 places, 45029/45029 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 32790/32790 places, 45029/45029 transitions.
Applied a total of 0 rules in 706 ms. Remains 32790 /32790 variables (removed 0) and now considering 45029/45029 (removed 0) transitions.
[2024-05-25 20:26:09] [INFO ] Invariant cache hit.
[2024-05-25 20:26:13] [INFO ] SMT solver returned unknown. Retrying;
[2024-05-25 20:26:13] [INFO ] Implicit Places using invariants in 4147 ms returned []
Implicit Place search using SMT only with invariants took 4148 ms to find 0 implicit places.
[2024-05-25 20:26:13] [INFO ] Invariant cache hit.
[2024-05-25 20:26:17] [INFO ] SMT solver returned unknown. Retrying;
[2024-05-25 20:26:18] [INFO ] Dead Transitions using invariants and state equation in 4140 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 9006 ms. Remains : 32790/32790 places, 45029/45029 transitions.
[2024-05-25 20:26:18] [INFO ] Invariant cache hit.
Interrupted random walk after 66248 steps, including 21 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen 409
Interrupted Best-First random walk after 496134 steps, including 1 resets, run timeout after 5007 ms. (steps per millisecond=99 ) properties seen 4
Interrupted Best-First random walk after 92046 steps, including 0 resets, run timeout after 5022 ms. (steps per millisecond=18 ) properties seen 0
Interrupted Best-First random walk after 92046 steps, including 0 resets, run timeout after 5039 ms. (steps per millisecond=18 ) properties seen 0
Interrupted Best-First random walk after 91265 steps, including 0 resets, run timeout after 5022 ms. (steps per millisecond=18 ) properties seen 0
Interrupted Best-First random walk after 331587 steps, including 0 resets, run timeout after 5002 ms. (steps per millisecond=66 ) properties seen 2
Interrupted Best-First random walk after 49343 steps, including 0 resets, run timeout after 5011 ms. (steps per millisecond=9 ) properties seen 0
Interrupted Best-First random walk after 483668 steps, including 1 resets, run timeout after 5008 ms. (steps per millisecond=96 ) properties seen 2
Interrupted Best-First random walk after 49843 steps, including 0 resets, run timeout after 5100 ms. (steps per millisecond=9 ) properties seen 5
Interrupted Best-First random walk after 896107 steps, including 2 resets, run timeout after 5002 ms. (steps per millisecond=179 ) properties seen 1
Interrupted Best-First random walk after 842274 steps, including 2 resets, run timeout after 5001 ms. (steps per millisecond=168 ) properties seen 1
Interrupted Best-First random walk after 836471 steps, including 2 resets, run timeout after 5004 ms. (steps per millisecond=167 ) properties seen 3
Interrupted Best-First random walk after 898068 steps, including 2 resets, run timeout after 5002 ms. (steps per millisecond=179 ) properties seen 2
Interrupted Best-First random walk after 891364 steps, including 2 resets, run timeout after 5001 ms. (steps per millisecond=178 ) properties seen 1
Interrupted Best-First random walk after 859623 steps, including 2 resets, run timeout after 5002 ms. (steps per millisecond=171 ) properties seen 2
Interrupted Best-First random walk after 896087 steps, including 2 resets, run timeout after 5004 ms. (steps per millisecond=179 ) properties seen 1
[2024-05-25 20:28:03] [INFO ] Invariant cache hit.
[2024-05-25 20:28:31] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5889 ms returned sat
[2024-05-25 20:28:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:28:41] [INFO ] [Real]Absence check using state equation in 10144 ms returned sat
[2024-05-25 20:28:51] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4643 ms.
[2024-05-25 20:29:03] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5654 ms returned sat
[2024-05-25 20:29:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:29:14] [INFO ] [Real]Absence check using state equation in 10325 ms returned sat
[2024-05-25 20:29:24] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4523 ms.
[2024-05-25 20:29:36] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5678 ms returned sat
[2024-05-25 20:29:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:29:47] [INFO ] [Real]Absence check using state equation in 10424 ms returned sat
[2024-05-25 20:29:57] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4562 ms.
[2024-05-25 20:30:08] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 4715 ms returned sat
[2024-05-25 20:30:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:30:17] [INFO ] [Real]Absence check using state equation in 9577 ms returned sat
[2024-05-25 20:30:28] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4360 ms.
[2024-05-25 20:30:39] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 4699 ms returned sat
[2024-05-25 20:30:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:30:49] [INFO ] [Real]Absence check using state equation in 10039 ms returned sat
[2024-05-25 20:30:59] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4641 ms.
[2024-05-25 20:31:11] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 4979 ms returned sat
[2024-05-25 20:31:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:31:21] [INFO ] [Real]Absence check using state equation in 9909 ms returned sat
[2024-05-25 20:31:31] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4401 ms.
[2024-05-25 20:31:44] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5951 ms returned sat
[2024-05-25 20:31:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:31:55] [INFO ] [Real]Absence check using state equation in 11087 ms returned sat
[2024-05-25 20:32:05] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4985 ms.
[2024-05-25 20:32:17] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5303 ms returned sat
[2024-05-25 20:32:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:32:28] [INFO ] [Real]Absence check using state equation in 10655 ms returned sat
[2024-05-25 20:32:38] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4803 ms.
[2024-05-25 20:32:50] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5601 ms returned sat
[2024-05-25 20:32:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:33:00] [INFO ] [Real]Absence check using state equation in 9650 ms returned sat
[2024-05-25 20:33:10] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4460 ms.
[2024-05-25 20:33:22] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5085 ms returned sat
[2024-05-25 20:33:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:33:32] [INFO ] [Real]Absence check using state equation in 10042 ms returned sat
[2024-05-25 20:33:42] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4182 ms.
[2024-05-25 20:33:54] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5570 ms returned sat
[2024-05-25 20:33:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:34:04] [INFO ] [Real]Absence check using state equation in 10094 ms returned sat
[2024-05-25 20:34:15] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4500 ms.
[2024-05-25 20:34:26] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 4706 ms returned sat
[2024-05-25 20:34:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:34:36] [INFO ] [Real]Absence check using state equation in 10092 ms returned sat
[2024-05-25 20:34:46] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4292 ms.
[2024-05-25 20:34:57] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 4737 ms returned sat
[2024-05-25 20:34:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:35:07] [INFO ] [Real]Absence check using state equation in 9772 ms returned sat
[2024-05-25 20:35:17] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4688 ms.
Current structural bounds on expressions (after SMT) : [-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1] Max seen :[45, 45, 54, 54, 6, 71, 44, 99, 1, 1, 1, 1, 1, 1, 1]
Support contains 15886 out of 32790 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 32790/32790 places, 45029/45029 transitions.
Applied a total of 0 rules in 610 ms. Remains 32790 /32790 variables (removed 0) and now considering 45029/45029 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 611 ms. Remains : 32790/32790 places, 45029/45029 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 32790/32790 places, 45029/45029 transitions.
Applied a total of 0 rules in 611 ms. Remains 32790 /32790 variables (removed 0) and now considering 45029/45029 (removed 0) transitions.
[2024-05-25 20:35:18] [INFO ] Invariant cache hit.
[2024-05-25 20:35:22] [INFO ] SMT solver returned unknown. Retrying;
[2024-05-25 20:35:22] [INFO ] Implicit Places using invariants in 3935 ms returned []
Implicit Place search using SMT only with invariants took 3936 ms to find 0 implicit places.
[2024-05-25 20:35:22] [INFO ] Invariant cache hit.
[2024-05-25 20:35:27] [INFO ] SMT solver returned unknown. Retrying;
[2024-05-25 20:35:27] [INFO ] Dead Transitions using invariants and state equation in 4399 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 8957 ms. Remains : 32790/32790 places, 45029/45029 transitions.
[2024-05-25 20:35:27] [INFO ] Invariant cache hit.
Interrupted random walk after 66817 steps, including 21 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen 402
Interrupted Best-First random walk after 496814 steps, including 1 resets, run timeout after 5001 ms. (steps per millisecond=99 ) properties seen 4
Interrupted Best-First random walk after 92046 steps, including 0 resets, run timeout after 5010 ms. (steps per millisecond=18 ) properties seen 0
Interrupted Best-First random walk after 92046 steps, including 0 resets, run timeout after 5009 ms. (steps per millisecond=18 ) properties seen 0
Interrupted Best-First random walk after 92046 steps, including 0 resets, run timeout after 5035 ms. (steps per millisecond=18 ) properties seen 0
Interrupted Best-First random walk after 333729 steps, including 1 resets, run timeout after 5001 ms. (steps per millisecond=66 ) properties seen 3
Interrupted Best-First random walk after 50345 steps, including 0 resets, run timeout after 5017 ms. (steps per millisecond=10 ) properties seen 0
Interrupted Best-First random walk after 471301 steps, including 1 resets, run timeout after 5004 ms. (steps per millisecond=94 ) properties seen 3
Interrupted Best-First random walk after 49843 steps, including 0 resets, run timeout after 5007 ms. (steps per millisecond=9 ) properties seen 5
Interrupted Best-First random walk after 880137 steps, including 2 resets, run timeout after 5003 ms. (steps per millisecond=175 ) properties seen 1
Interrupted Best-First random walk after 889761 steps, including 2 resets, run timeout after 5003 ms. (steps per millisecond=177 ) properties seen 2
Interrupted Best-First random walk after 893305 steps, including 2 resets, run timeout after 5004 ms. (steps per millisecond=178 ) properties seen 2
Interrupted Best-First random walk after 864107 steps, including 2 resets, run timeout after 5004 ms. (steps per millisecond=172 ) properties seen 3
Interrupted Best-First random walk after 865225 steps, including 2 resets, run timeout after 5004 ms. (steps per millisecond=172 ) properties seen 2
Interrupted Best-First random walk after 859643 steps, including 2 resets, run timeout after 5006 ms. (steps per millisecond=171 ) properties seen 2
Interrupted Best-First random walk after 894544 steps, including 2 resets, run timeout after 5003 ms. (steps per millisecond=178 ) properties seen 4
[2024-05-25 20:37:12] [INFO ] Invariant cache hit.
[2024-05-25 20:37:25] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5853 ms returned sat
[2024-05-25 20:37:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:37:35] [INFO ] [Real]Absence check using state equation in 9972 ms returned sat
[2024-05-25 20:37:45] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4613 ms.
[2024-05-25 20:37:57] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 4865 ms returned sat
[2024-05-25 20:37:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:38:07] [INFO ] [Real]Absence check using state equation in 9926 ms returned sat
[2024-05-25 20:38:16] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4473 ms.
[2024-05-25 20:38:35] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 4849 ms returned sat
[2024-05-25 20:38:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:38:46] [INFO ] [Real]Absence check using state equation in 10243 ms returned sat
[2024-05-25 20:38:56] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4603 ms.
[2024-05-25 20:39:08] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5308 ms returned sat
[2024-05-25 20:39:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:39:18] [INFO ] [Real]Absence check using state equation in 10208 ms returned sat
[2024-05-25 20:39:29] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 5043 ms.
[2024-05-25 20:39:41] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5336 ms returned sat
[2024-05-25 20:39:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:39:51] [INFO ] [Real]Absence check using state equation in 10019 ms returned sat
[2024-05-25 20:40:01] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4280 ms.
[2024-05-25 20:40:13] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 4638 ms returned sat
[2024-05-25 20:40:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:40:23] [INFO ] [Real]Absence check using state equation in 10542 ms returned sat
[2024-05-25 20:40:33] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4394 ms.
[2024-05-25 20:40:45] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5497 ms returned sat
[2024-05-25 20:40:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:40:55] [INFO ] [Real]Absence check using state equation in 9686 ms returned sat
[2024-05-25 20:41:05] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4250 ms.
[2024-05-25 20:41:17] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5360 ms returned sat
[2024-05-25 20:41:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:41:28] [INFO ] [Real]Absence check using state equation in 10212 ms returned sat
[2024-05-25 20:41:38] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4643 ms.
[2024-05-25 20:41:50] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5160 ms returned sat
[2024-05-25 20:41:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:42:00] [INFO ] [Real]Absence check using state equation in 10327 ms returned sat
[2024-05-25 20:42:10] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4558 ms.
[2024-05-25 20:42:22] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 4761 ms returned sat
[2024-05-25 20:42:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:42:31] [INFO ] [Real]Absence check using state equation in 9657 ms returned sat
[2024-05-25 20:42:41] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4248 ms.
[2024-05-25 20:42:53] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5482 ms returned sat
[2024-05-25 20:42:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:43:03] [INFO ] [Real]Absence check using state equation in 9929 ms returned sat
[2024-05-25 20:43:13] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4372 ms.
[2024-05-25 20:43:25] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5280 ms returned sat
[2024-05-25 20:43:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:43:35] [INFO ] [Real]Absence check using state equation in 9612 ms returned sat
[2024-05-25 20:43:45] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4324 ms.
[2024-05-25 20:43:57] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5424 ms returned sat
[2024-05-25 20:43:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:44:06] [INFO ] [Real]Absence check using state equation in 9771 ms returned sat
[2024-05-25 20:44:16] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4297 ms.
[2024-05-25 20:44:28] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5184 ms returned sat
[2024-05-25 20:44:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:44:38] [INFO ] [Real]Absence check using state equation in 9824 ms returned sat
[2024-05-25 20:44:48] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4253 ms.
Current structural bounds on expressions (after SMT) : [-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1] Max seen :[45, 46, 54, 54, 6, 71, 44, 99, 1, 1, 1, 1, 1, 1, 1]
Support contains 15886 out of 32790 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 32790/32790 places, 45029/45029 transitions.
Applied a total of 0 rules in 636 ms. Remains 32790 /32790 variables (removed 0) and now considering 45029/45029 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 636 ms. Remains : 32790/32790 places, 45029/45029 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 32790/32790 places, 45029/45029 transitions.
Applied a total of 0 rules in 636 ms. Remains 32790 /32790 variables (removed 0) and now considering 45029/45029 (removed 0) transitions.
[2024-05-25 20:44:49] [INFO ] Invariant cache hit.
[2024-05-25 20:44:53] [INFO ] SMT solver returned unknown. Retrying;
[2024-05-25 20:44:53] [INFO ] Implicit Places using invariants in 3866 ms returned []
Implicit Place search using SMT only with invariants took 3868 ms to find 0 implicit places.
[2024-05-25 20:44:53] [INFO ] Invariant cache hit.
[2024-05-25 20:44:57] [INFO ] SMT solver returned unknown. Retrying;
[2024-05-25 20:44:57] [INFO ] Dead Transitions using invariants and state equation in 3849 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 8362 ms. Remains : 32790/32790 places, 45029/45029 transitions.
[2024-05-25 20:44:57] [INFO ] Invariant cache hit.
Interrupted random walk after 65310 steps, including 21 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen 399
Interrupted Best-First random walk after 473482 steps, including 1 resets, run timeout after 5009 ms. (steps per millisecond=94 ) properties seen 1
Interrupted Best-First random walk after 85463 steps, including 0 resets, run timeout after 5014 ms. (steps per millisecond=17 ) properties seen 0
Interrupted Best-First random walk after 91265 steps, including 0 resets, run timeout after 5042 ms. (steps per millisecond=18 ) properties seen 0
Interrupted Best-First random walk after 86463 steps, including 0 resets, run timeout after 5004 ms. (steps per millisecond=17 ) properties seen 0
Interrupted Best-First random walk after 316832 steps, including 0 resets, run timeout after 5002 ms. (steps per millisecond=63 ) properties seen 3
Interrupted Best-First random walk after 50345 steps, including 0 resets, run timeout after 5085 ms. (steps per millisecond=9 ) properties seen 0
Interrupted Best-First random walk after 490992 steps, including 1 resets, run timeout after 5008 ms. (steps per millisecond=98 ) properties seen 2
Interrupted Best-First random walk after 49843 steps, including 0 resets, run timeout after 5047 ms. (steps per millisecond=9 ) properties seen 5
Interrupted Best-First random walk after 898228 steps, including 2 resets, run timeout after 5006 ms. (steps per millisecond=179 ) properties seen 3
Interrupted Best-First random walk after 878733 steps, including 2 resets, run timeout after 5001 ms. (steps per millisecond=175 ) properties seen 4
Interrupted Best-First random walk after 893785 steps, including 2 resets, run timeout after 5006 ms. (steps per millisecond=178 ) properties seen 3
Interrupted Best-First random walk after 874451 steps, including 2 resets, run timeout after 5001 ms. (steps per millisecond=174 ) properties seen 3
Interrupted Best-First random walk after 895085 steps, including 2 resets, run timeout after 5006 ms. (steps per millisecond=178 ) properties seen 3
Interrupted Best-First random walk after 894645 steps, including 2 resets, run timeout after 5005 ms. (steps per millisecond=178 ) properties seen 3
Interrupted Best-First random walk after 894646 steps, including 2 resets, run timeout after 5004 ms. (steps per millisecond=178 ) properties seen 2
[2024-05-25 20:46:42] [INFO ] Invariant cache hit.
[2024-05-25 20:46:54] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5494 ms returned sat
[2024-05-25 20:46:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:47:05] [INFO ] [Real]Absence check using state equation in 10364 ms returned sat
[2024-05-25 20:47:15] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4481 ms.
[2024-05-25 20:47:27] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5175 ms returned sat
[2024-05-25 20:47:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:47:36] [INFO ] [Real]Absence check using state equation in 9593 ms returned sat
[2024-05-25 20:47:47] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4788 ms.
[2024-05-25 20:47:58] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 4781 ms returned sat
[2024-05-25 20:47:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:48:07] [INFO ] [Real]Absence check using state equation in 9649 ms returned sat
[2024-05-25 20:48:17] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4271 ms.
[2024-05-25 20:48:29] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5414 ms returned sat
[2024-05-25 20:48:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:48:39] [INFO ] [Real]Absence check using state equation in 9800 ms returned sat
[2024-05-25 20:48:49] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4435 ms.
[2024-05-25 20:49:01] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 5237 ms returned sat
[2024-05-25 20:49:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:49:11] [INFO ] [Real]Absence check using state equation in 9617 ms returned sat
[2024-05-25 20:49:21] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4545 ms.
[2024-05-25 20:49:33] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 4959 ms returned sat
[2024-05-25 20:49:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-25 20:49:43] [INFO ] [Real]Absence check using state equation in 9863 ms returned sat
[2024-05-25 20:49:53] [INFO ] Computed and/alt/rep : 18099/20718/18099 causal constraints (skipped 22709 transitions) in 4281 ms.
[2024-05-25 20:50:04] [INFO ] [Real]Absence check using 0 positive and 1212 generalized place invariants in 4798 ms returned sat
[2024-05-25 20:50:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 10487788 kB
After kill :
MemTotal: 16393216 kB
MemFree: 15969404 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
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
+ [[ UpperBounds = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution UpperBounds -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ 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.202304061127.jar
+ VERSION=202304061127
+ echo 'Running Version 202304061127'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination UpperBounds -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
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="FamilyReunion-PT-L00200M0020C010P010G005"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="gold2023"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
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 gold2023"
echo " Input is FamilyReunion-PT-L00200M0020C010P010G005, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r175-smll-171636280400321"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-PT-L00200M0020C010P010G005.tgz
mv FamilyReunion-PT-L00200M0020C010P010G005 execution
cd execution
if [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "UpperBounds" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] || [ "UpperBounds" = "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 [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.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 [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] ; then
echo "FORMULA_NAME UpperBounds"
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 ;