About the Execution of 2020-gold for FamilyReunion-COL-L00100M0010C005P005G002
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1123.455 | 3600000.00 | 3611753.00 | 5752.50 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r094-tall-162048902800434.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2020
Input is FamilyReunion-COL-L00100M0010C005P005G002, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r094-tall-162048902800434
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 524K
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 116K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 18K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 94K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 7.0K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 16:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 28 16:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Mar 28 16:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 28 16:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 23 10:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 23 10:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Mar 22 18:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 22 18:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Mar 22 09:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Mar 22 09:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_pt
-rw-r--r-- 1 mcc users 24 May 5 16:51 instance
-rw-r--r-- 1 mcc users 5 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 140K May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-00
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-01
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-02
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-03
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-04
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-05
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-06
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-07
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-08
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-09
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-10
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-11
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-12
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-13
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-14
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-15
=== Now, execution of the tool begins
BK_START 1620787422079
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-12 02:43:43] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2021-05-12 02:43:43] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-12 02:43:44] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
SLF4J: Failed to load class "org.slf4j.impl.StaticLoggerBinder".
SLF4J: Defaulting to no-operation (NOP) logger implementation
SLF4J: See http://www.slf4j.org/codes.html#StaticLoggerBinder for further details.
[2021-05-12 02:43:44] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 810 ms
[2021-05-12 02:43:44] [INFO ] sort/places :
Response->r0,
LxM->m1,ml0,l2,m2,lm1,l3,m3,ml1,l4,lm2,m4,m5,l5,ml2,l6,lm3,m6,m7,ml3,l7,m9,m10,ml4,
CINFORMI->c2,c4,c7,c0,c1,
LxP->p1,p3,p2,p5,p4,p6,p9,pl0,pl1,
LegalResident->lm0,l12,l0,l30,l31,lc1,l1,l32,lc2,l33,lc3,l34,cg0,l35,lg0,l36,l8,l9,lm4,l38,l10,l11,l13,l16,l14,lc0,l15,l17,l18,lp0,l19,lp1,l20,l21,l22,l24,l25,l23,l28,l26,l27,l29,
LxC->c3,cl2,c5,c6,cl0,cl1,
LxR->gl1,l37,l39,l40,
GovernmentCommission->g0,g2,g4,
PublicAdminOffice->p0,p7,p8,p10,p11,
MICSystem->m0,m8,m11,
LxG->g1,gl0,g3,
[2021-05-12 02:43:44] [INFO ] Detected 5 constant HL places corresponding to 31 PT places.
[2021-05-12 02:43:44] [INFO ] Imported 104 HL places and 66 HL transitions for a total of 40706 PT places and 36972.0 transition bindings in 64 ms.
[2021-05-12 02:43:44] [INFO ] Computed order based on color domains.
[2021-05-12 02:43:45] [INFO ] Unfolded HLPN to a Petri net with 40706 places and 36871 transitions in 302 ms.
[2021-05-12 02:43:45] [INFO ] Unfolded HLPN properties in 5 ms.
[2021-05-12 02:43:45] [INFO ] Reduced 505 identical enabling conditions.
[2021-05-12 02:43:45] [INFO ] Reduced 303 identical enabling conditions.
Deduced a syphon composed of 101 places in 192 ms
Reduce places removed 132 places and 0 transitions.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 883 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 17 resets, run finished after 14748 ms. (steps per millisecond=6 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 0, 0, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 0, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 0, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 0, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 1, 0, 0, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 0, 0, 1, 1, 0, 1, 1, 0, 0, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 0, 0, 1, 1, 1, 0, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 0, 1, 1, 1, 0, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 0, 1, 0, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
// Phase 1: matrix 36871 rows 40574 cols
[2021-05-12 02:44:14] [INFO ] Computed 8805 place invariants in 13216 ms
[2021-05-12 02:44:24] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:44:27] [INFO ] [Real]Absence check using 115 positive place invariants in 9608 ms returned unknown
[2021-05-12 02:44:36] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:44:39] [INFO ] [Real]Absence check using 115 positive place invariants in 9254 ms returned unknown
[2021-05-12 02:44:48] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:44:52] [INFO ] [Real]Absence check using 115 positive place invariants in 9502 ms returned unknown
[2021-05-12 02:45:01] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:45:04] [INFO ] [Real]Absence check using 115 positive place invariants in 9279 ms returned unknown
[2021-05-12 02:45:13] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:45:17] [INFO ] [Real]Absence check using 115 positive place invariants in 9410 ms returned unknown
[2021-05-12 02:45:26] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:45:29] [INFO ] [Real]Absence check using 115 positive place invariants in 9199 ms returned unknown
[2021-05-12 02:45:38] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:45:41] [INFO ] [Real]Absence check using 115 positive place invariants in 9163 ms returned unknown
[2021-05-12 02:45:51] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:45:54] [INFO ] [Real]Absence check using 115 positive place invariants in 9382 ms returned unknown
[2021-05-12 02:46:03] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:46:06] [INFO ] [Real]Absence check using 115 positive place invariants in 9218 ms returned unknown
[2021-05-12 02:46:16] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:46:19] [INFO ] [Real]Absence check using 115 positive place invariants in 9208 ms returned unknown
[2021-05-12 02:46:28] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:46:31] [INFO ] [Real]Absence check using 115 positive place invariants in 9201 ms returned unknown
[2021-05-12 02:46:40] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:46:43] [INFO ] [Real]Absence check using 115 positive place invariants in 9432 ms returned unknown
[2021-05-12 02:46:53] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:46:56] [INFO ] [Real]Absence check using 115 positive place invariants in 9409 ms returned unknown
[2021-05-12 02:47:05] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:47:08] [INFO ] [Real]Absence check using 115 positive place invariants in 9184 ms returned unknown
[2021-05-12 02:47:18] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:47:21] [INFO ] [Real]Absence check using 115 positive place invariants in 9269 ms returned unknown
[2021-05-12 02:47:30] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:47:33] [INFO ] [Real]Absence check using 115 positive place invariants in 9311 ms returned unknown
[2021-05-12 02:47:43] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:47:46] [INFO ] [Real]Absence check using 115 positive place invariants in 9537 ms returned unknown
[2021-05-12 02:47:55] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:47:58] [INFO ] [Real]Absence check using 115 positive place invariants in 9227 ms returned unknown
[2021-05-12 02:48:07] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:48:10] [INFO ] [Real]Absence check using 115 positive place invariants in 9260 ms returned unknown
[2021-05-12 02:48:20] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:48:23] [INFO ] [Real]Absence check using 115 positive place invariants in 9295 ms returned unknown
[2021-05-12 02:48:32] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:48:35] [INFO ] [Real]Absence check using 115 positive place invariants in 9384 ms returned unknown
[2021-05-12 02:48:45] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:48:48] [INFO ] [Real]Absence check using 115 positive place invariants in 9320 ms returned unknown
[2021-05-12 02:48:57] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:49:00] [INFO ] [Real]Absence check using 115 positive place invariants in 9293 ms returned unknown
[2021-05-12 02:49:10] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:49:13] [INFO ] [Real]Absence check using 115 positive place invariants in 9377 ms returned unknown
[2021-05-12 02:49:22] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:49:25] [INFO ] [Real]Absence check using 115 positive place invariants in 9368 ms returned unknown
[2021-05-12 02:49:34] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:49:38] [INFO ] [Real]Absence check using 115 positive place invariants in 9168 ms returned unknown
[2021-05-12 02:49:47] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:49:50] [INFO ] [Real]Absence check using 115 positive place invariants in 9286 ms returned unknown
[2021-05-12 02:49:59] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:50:03] [INFO ] [Real]Absence check using 115 positive place invariants in 9537 ms returned unknown
[2021-05-12 02:50:12] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:50:15] [INFO ] [Real]Absence check using 115 positive place invariants in 9432 ms returned unknown
[2021-05-12 02:50:25] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:50:28] [INFO ] [Real]Absence check using 115 positive place invariants in 9524 ms returned unknown
[2021-05-12 02:50:37] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:50:40] [INFO ] [Real]Absence check using 115 positive place invariants in 9337 ms returned unknown
[2021-05-12 02:50:50] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:50:53] [INFO ] [Real]Absence check using 115 positive place invariants in 9319 ms returned unknown
[2021-05-12 02:51:02] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:51:05] [INFO ] [Real]Absence check using 115 positive place invariants in 9617 ms returned unknown
[2021-05-12 02:51:15] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:51:18] [INFO ] [Real]Absence check using 115 positive place invariants in 9353 ms returned unknown
[2021-05-12 02:51:27] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:51:31] [INFO ] [Real]Absence check using 115 positive place invariants in 9453 ms returned unknown
[2021-05-12 02:51:40] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:51:43] [INFO ] [Real]Absence check using 115 positive place invariants in 9719 ms returned unknown
[2021-05-12 02:51:53] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:51:56] [INFO ] [Real]Absence check using 115 positive place invariants in 9341 ms returned unknown
[2021-05-12 02:52:05] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:52:08] [INFO ] [Real]Absence check using 115 positive place invariants in 9332 ms returned unknown
[2021-05-12 02:52:18] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:52:21] [INFO ] [Real]Absence check using 115 positive place invariants in 9485 ms returned unknown
[2021-05-12 02:52:31] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:52:34] [INFO ] [Real]Absence check using 115 positive place invariants in 9585 ms returned unknown
[2021-05-12 02:52:43] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:52:46] [INFO ] [Real]Absence check using 115 positive place invariants in 9414 ms returned unknown
[2021-05-12 02:52:56] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:52:59] [INFO ] [Real]Absence check using 115 positive place invariants in 9382 ms returned unknown
[2021-05-12 02:53:08] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:53:11] [INFO ] [Real]Absence check using 115 positive place invariants in 9397 ms returned unknown
[2021-05-12 02:53:21] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:53:24] [INFO ] [Real]Absence check using 115 positive place invariants in 9612 ms returned unknown
[2021-05-12 02:53:33] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:53:37] [INFO ] [Real]Absence check using 115 positive place invariants in 9310 ms returned unknown
[2021-05-12 02:53:46] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:53:49] [INFO ] [Real]Absence check using 115 positive place invariants in 9338 ms returned unknown
[2021-05-12 02:53:58] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:54:02] [INFO ] [Real]Absence check using 115 positive place invariants in 9367 ms returned unknown
[2021-05-12 02:54:11] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:54:14] [INFO ] [Real]Absence check using 115 positive place invariants in 9670 ms returned unknown
[2021-05-12 02:54:24] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:54:27] [INFO ] [Real]Absence check using 115 positive place invariants in 9402 ms returned unknown
[2021-05-12 02:54:36] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:54:39] [INFO ] [Real]Absence check using 115 positive place invariants in 9499 ms returned unknown
[2021-05-12 02:54:49] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:54:52] [INFO ] [Real]Absence check using 115 positive place invariants in 9352 ms returned unknown
[2021-05-12 02:55:01] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:55:04] [INFO ] [Real]Absence check using 115 positive place invariants in 9289 ms returned unknown
[2021-05-12 02:55:14] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:55:17] [INFO ] [Real]Absence check using 115 positive place invariants in 9765 ms returned unknown
[2021-05-12 02:55:27] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:55:30] [INFO ] [Real]Absence check using 115 positive place invariants in 9766 ms returned unknown
[2021-05-12 02:55:40] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:55:43] [INFO ] [Real]Absence check using 115 positive place invariants in 9577 ms returned unknown
[2021-05-12 02:55:52] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:55:56] [INFO ] [Real]Absence check using 115 positive place invariants in 9487 ms returned unknown
[2021-05-12 02:56:05] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:56:08] [INFO ] [Real]Absence check using 115 positive place invariants in 9350 ms returned unknown
[2021-05-12 02:56:18] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:56:21] [INFO ] [Real]Absence check using 115 positive place invariants in 9647 ms returned unknown
[2021-05-12 02:56:30] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:56:34] [INFO ] [Real]Absence check using 115 positive place invariants in 9447 ms returned unknown
[2021-05-12 02:56:43] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:56:46] [INFO ] [Real]Absence check using 115 positive place invariants in 9362 ms returned unknown
[2021-05-12 02:56:56] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:56:59] [INFO ] [Real]Absence check using 115 positive place invariants in 9609 ms returned unknown
[2021-05-12 02:57:08] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:57:11] [INFO ] [Real]Absence check using 115 positive place invariants in 9287 ms returned unknown
[2021-05-12 02:57:21] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:57:24] [INFO ] [Real]Absence check using 115 positive place invariants in 9505 ms returned unknown
[2021-05-12 02:57:34] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:57:37] [INFO ] [Real]Absence check using 115 positive place invariants in 9674 ms returned unknown
[2021-05-12 02:57:47] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:57:50] [INFO ] [Real]Absence check using 115 positive place invariants in 9647 ms returned unknown
[2021-05-12 02:57:59] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:58:02] [INFO ] [Real]Absence check using 115 positive place invariants in 9354 ms returned unknown
[2021-05-12 02:58:12] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:58:15] [INFO ] [Real]Absence check using 115 positive place invariants in 9210 ms returned unknown
[2021-05-12 02:58:24] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:58:27] [INFO ] [Real]Absence check using 115 positive place invariants in 9465 ms returned unknown
[2021-05-12 02:58:36] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:58:40] [INFO ] [Real]Absence check using 115 positive place invariants in 9408 ms returned unknown
[2021-05-12 02:58:49] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:58:52] [INFO ] [Real]Absence check using 115 positive place invariants in 9556 ms returned unknown
[2021-05-12 02:59:02] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:59:05] [INFO ] [Real]Absence check using 115 positive place invariants in 9630 ms returned unknown
[2021-05-12 02:59:14] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:59:18] [INFO ] [Real]Absence check using 115 positive place invariants in 9290 ms returned unknown
[2021-05-12 02:59:27] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:59:30] [INFO ] [Real]Absence check using 115 positive place invariants in 9296 ms returned unknown
[2021-05-12 02:59:39] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:59:42] [INFO ] [Real]Absence check using 115 positive place invariants in 9397 ms returned unknown
[2021-05-12 02:59:52] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 02:59:55] [INFO ] [Real]Absence check using 115 positive place invariants in 9285 ms returned unknown
[2021-05-12 03:00:04] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:00:07] [INFO ] [Real]Absence check using 115 positive place invariants in 9294 ms returned unknown
[2021-05-12 03:00:17] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:00:20] [INFO ] [Real]Absence check using 115 positive place invariants in 9687 ms returned unknown
[2021-05-12 03:00:29] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:00:33] [INFO ] [Real]Absence check using 115 positive place invariants in 9553 ms returned unknown
[2021-05-12 03:00:42] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:00:45] [INFO ] [Real]Absence check using 115 positive place invariants in 9478 ms returned unknown
[2021-05-12 03:00:54] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:00:57] [INFO ] [Real]Absence check using 115 positive place invariants in 9347 ms returned unknown
[2021-05-12 03:01:07] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:01:10] [INFO ] [Real]Absence check using 115 positive place invariants in 9275 ms returned unknown
[2021-05-12 03:01:19] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:01:23] [INFO ] [Real]Absence check using 115 positive place invariants in 9594 ms returned unknown
[2021-05-12 03:01:32] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:01:35] [INFO ] [Real]Absence check using 115 positive place invariants in 9570 ms returned unknown
[2021-05-12 03:01:45] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:01:48] [INFO ] [Real]Absence check using 115 positive place invariants in 9618 ms returned unknown
[2021-05-12 03:01:57] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:02:01] [INFO ] [Real]Absence check using 115 positive place invariants in 9293 ms returned unknown
[2021-05-12 03:02:10] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:02:13] [INFO ] [Real]Absence check using 115 positive place invariants in 9678 ms returned unknown
[2021-05-12 03:02:23] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:02:26] [INFO ] [Real]Absence check using 115 positive place invariants in 9657 ms returned unknown
[2021-05-12 03:02:36] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:02:39] [INFO ] [Real]Absence check using 115 positive place invariants in 9649 ms returned unknown
[2021-05-12 03:02:48] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:02:51] [INFO ] [Real]Absence check using 115 positive place invariants in 9327 ms returned unknown
[2021-05-12 03:03:01] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:03:04] [INFO ] [Real]Absence check using 115 positive place invariants in 9269 ms returned unknown
[2021-05-12 03:03:13] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:03:16] [INFO ] [Real]Absence check using 115 positive place invariants in 9356 ms returned unknown
[2021-05-12 03:03:26] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:03:29] [INFO ] [Real]Absence check using 115 positive place invariants in 9589 ms returned unknown
[2021-05-12 03:03:38] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:03:41] [INFO ] [Real]Absence check using 115 positive place invariants in 9244 ms returned unknown
[2021-05-12 03:03:51] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:03:54] [INFO ] [Real]Absence check using 115 positive place invariants in 9575 ms returned unknown
[2021-05-12 03:04:04] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:04:07] [INFO ] [Real]Absence check using 115 positive place invariants in 9606 ms returned unknown
[2021-05-12 03:04:16] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:04:20] [INFO ] [Real]Absence check using 115 positive place invariants in 9616 ms returned unknown
[2021-05-12 03:04:30] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:04:33] [INFO ] [Real]Absence check using 115 positive place invariants in 9901 ms returned unknown
[2021-05-12 03:04:42] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:04:45] [INFO ] [Real]Absence check using 115 positive place invariants in 9420 ms returned unknown
[2021-05-12 03:04:55] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:04:58] [INFO ] [Real]Absence check using 115 positive place invariants in 9502 ms returned unknown
[2021-05-12 03:05:08] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:05:11] [INFO ] [Real]Absence check using 115 positive place invariants in 9622 ms returned unknown
[2021-05-12 03:05:21] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:05:24] [INFO ] [Real]Absence check using 115 positive place invariants in 9634 ms returned unknown
[2021-05-12 03:05:33] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:05:37] [INFO ] [Real]Absence check using 115 positive place invariants in 9571 ms returned unknown
[2021-05-12 03:05:46] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:05:49] [INFO ] [Real]Absence check using 115 positive place invariants in 9344 ms returned unknown
[2021-05-12 03:05:58] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:06:01] [INFO ] [Real]Absence check using 115 positive place invariants in 9403 ms returned unknown
[2021-05-12 03:06:11] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:06:14] [INFO ] [Real]Absence check using 115 positive place invariants in 9438 ms returned unknown
[2021-05-12 03:06:24] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:06:27] [INFO ] [Real]Absence check using 115 positive place invariants in 9402 ms returned unknown
[2021-05-12 03:06:36] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:06:39] [INFO ] [Real]Absence check using 115 positive place invariants in 9351 ms returned unknown
[2021-05-12 03:06:49] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:06:52] [INFO ] [Real]Absence check using 115 positive place invariants in 9616 ms returned unknown
[2021-05-12 03:07:02] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:07:05] [INFO ] [Real]Absence check using 115 positive place invariants in 9702 ms returned unknown
[2021-05-12 03:07:14] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:07:18] [INFO ] [Real]Absence check using 115 positive place invariants in 9273 ms returned unknown
[2021-05-12 03:07:27] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:07:30] [INFO ] [Real]Absence check using 115 positive place invariants in 9618 ms returned unknown
[2021-05-12 03:07:40] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:07:43] [INFO ] [Real]Absence check using 115 positive place invariants in 9356 ms returned unknown
[2021-05-12 03:07:53] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:07:56] [INFO ] [Real]Absence check using 115 positive place invariants in 9753 ms returned unknown
[2021-05-12 03:08:05] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:08:09] [INFO ] [Real]Absence check using 115 positive place invariants in 9767 ms returned unknown
[2021-05-12 03:08:18] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:08:21] [INFO ] [Real]Absence check using 115 positive place invariants in 9488 ms returned unknown
[2021-05-12 03:08:31] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:08:34] [INFO ] [Real]Absence check using 115 positive place invariants in 9476 ms returned unknown
[2021-05-12 03:08:44] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:08:47] [INFO ] [Real]Absence check using 115 positive place invariants in 9829 ms returned unknown
[2021-05-12 03:08:57] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:09:00] [INFO ] [Real]Absence check using 115 positive place invariants in 9765 ms returned unknown
[2021-05-12 03:09:10] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:09:13] [INFO ] [Real]Absence check using 115 positive place invariants in 9498 ms returned unknown
[2021-05-12 03:09:22] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:09:26] [INFO ] [Real]Absence check using 115 positive place invariants in 9795 ms returned unknown
[2021-05-12 03:09:35] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:09:38] [INFO ] [Real]Absence check using 115 positive place invariants in 9527 ms returned unknown
[2021-05-12 03:09:48] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:09:51] [INFO ] [Real]Absence check using 115 positive place invariants in 9543 ms returned unknown
[2021-05-12 03:10:01] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:10:04] [INFO ] [Real]Absence check using 115 positive place invariants in 9481 ms returned unknown
[2021-05-12 03:10:14] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:10:17] [INFO ] [Real]Absence check using 115 positive place invariants in 9738 ms returned unknown
[2021-05-12 03:10:26] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:10:29] [INFO ] [Real]Absence check using 115 positive place invariants in 9359 ms returned unknown
[2021-05-12 03:10:39] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:10:42] [INFO ] [Real]Absence check using 115 positive place invariants in 9445 ms returned unknown
[2021-05-12 03:10:51] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:10:55] [INFO ] [Real]Absence check using 115 positive place invariants in 9625 ms returned unknown
[2021-05-12 03:11:04] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:11:07] [INFO ] [Real]Absence check using 115 positive place invariants in 9564 ms returned unknown
[2021-05-12 03:11:17] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:11:20] [INFO ] [Real]Absence check using 115 positive place invariants in 9401 ms returned unknown
[2021-05-12 03:11:29] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:11:33] [INFO ] [Real]Absence check using 115 positive place invariants in 9534 ms returned unknown
[2021-05-12 03:11:42] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:11:45] [INFO ] [Real]Absence check using 115 positive place invariants in 9483 ms returned unknown
[2021-05-12 03:11:55] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:11:58] [INFO ] [Real]Absence check using 115 positive place invariants in 9634 ms returned unknown
[2021-05-12 03:12:07] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:12:10] [INFO ] [Real]Absence check using 115 positive place invariants in 9411 ms returned unknown
[2021-05-12 03:12:20] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:12:23] [INFO ] [Real]Absence check using 115 positive place invariants in 9267 ms returned unknown
[2021-05-12 03:12:32] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:12:35] [INFO ] [Real]Absence check using 115 positive place invariants in 9400 ms returned unknown
[2021-05-12 03:12:45] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:12:48] [INFO ] [Real]Absence check using 115 positive place invariants in 9392 ms returned unknown
[2021-05-12 03:12:57] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:13:00] [INFO ] [Real]Absence check using 115 positive place invariants in 9497 ms returned unknown
[2021-05-12 03:13:10] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:13:13] [INFO ] [Real]Absence check using 115 positive place invariants in 9336 ms returned unknown
[2021-05-12 03:13:22] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:13:26] [INFO ] [Real]Absence check using 115 positive place invariants in 9477 ms returned unknown
[2021-05-12 03:13:35] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:13:38] [INFO ] [Real]Absence check using 115 positive place invariants in 9171 ms returned unknown
[2021-05-12 03:13:48] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:13:51] [INFO ] [Real]Absence check using 115 positive place invariants in 9712 ms returned unknown
[2021-05-12 03:14:01] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:14:04] [INFO ] [Real]Absence check using 115 positive place invariants in 9772 ms returned unknown
[2021-05-12 03:14:14] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:14:17] [INFO ] [Real]Absence check using 115 positive place invariants in 9462 ms returned unknown
[2021-05-12 03:14:26] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:14:29] [INFO ] [Real]Absence check using 115 positive place invariants in 9522 ms returned unknown
[2021-05-12 03:14:39] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:14:42] [INFO ] [Real]Absence check using 115 positive place invariants in 9549 ms returned unknown
[2021-05-12 03:14:52] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:14:55] [INFO ] [Real]Absence check using 115 positive place invariants in 9416 ms returned unknown
[2021-05-12 03:15:04] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:15:07] [INFO ] [Real]Absence check using 115 positive place invariants in 9298 ms returned unknown
[2021-05-12 03:15:17] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:15:20] [INFO ] [Real]Absence check using 115 positive place invariants in 9731 ms returned unknown
[2021-05-12 03:15:30] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:15:33] [INFO ] [Real]Absence check using 115 positive place invariants in 9678 ms returned unknown
[2021-05-12 03:15:43] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:15:46] [INFO ] [Real]Absence check using 115 positive place invariants in 9434 ms returned unknown
[2021-05-12 03:15:55] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:15:58] [INFO ] [Real]Absence check using 115 positive place invariants in 9345 ms returned unknown
[2021-05-12 03:16:07] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:16:11] [INFO ] [Real]Absence check using 115 positive place invariants in 9457 ms returned unknown
[2021-05-12 03:16:20] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:16:23] [INFO ] [Real]Absence check using 115 positive place invariants in 9540 ms returned unknown
[2021-05-12 03:16:33] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:16:36] [INFO ] [Real]Absence check using 115 positive place invariants in 9880 ms returned unknown
[2021-05-12 03:16:46] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:16:49] [INFO ] [Real]Absence check using 115 positive place invariants in 9711 ms returned unknown
[2021-05-12 03:16:59] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:17:02] [INFO ] [Real]Absence check using 115 positive place invariants in 9611 ms returned unknown
[2021-05-12 03:17:12] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:17:15] [INFO ] [Real]Absence check using 115 positive place invariants in 9823 ms returned unknown
[2021-05-12 03:17:24] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:17:28] [INFO ] [Real]Absence check using 115 positive place invariants in 9528 ms returned unknown
[2021-05-12 03:17:37] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:17:40] [INFO ] [Real]Absence check using 115 positive place invariants in 9280 ms returned unknown
[2021-05-12 03:17:50] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:17:53] [INFO ] [Real]Absence check using 115 positive place invariants in 9624 ms returned unknown
[2021-05-12 03:18:02] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:18:05] [INFO ] [Real]Absence check using 115 positive place invariants in 9448 ms returned unknown
[2021-05-12 03:18:15] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:18:18] [INFO ] [Real]Absence check using 115 positive place invariants in 9436 ms returned unknown
[2021-05-12 03:18:27] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:18:31] [INFO ] [Real]Absence check using 115 positive place invariants in 9576 ms returned unknown
[2021-05-12 03:18:40] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:18:43] [INFO ] [Real]Absence check using 115 positive place invariants in 9607 ms returned unknown
[2021-05-12 03:18:53] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:18:56] [INFO ] [Real]Absence check using 115 positive place invariants in 9283 ms returned unknown
[2021-05-12 03:19:05] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:19:08] [INFO ] [Real]Absence check using 115 positive place invariants in 9280 ms returned unknown
[2021-05-12 03:19:18] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:19:21] [INFO ] [Real]Absence check using 115 positive place invariants in 9546 ms returned unknown
[2021-05-12 03:19:30] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:19:34] [INFO ] [Real]Absence check using 115 positive place invariants in 9570 ms returned unknown
[2021-05-12 03:19:43] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:19:46] [INFO ] [Real]Absence check using 115 positive place invariants in 9291 ms returned unknown
[2021-05-12 03:19:55] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:19:59] [INFO ] [Real]Absence check using 115 positive place invariants in 9373 ms returned unknown
[2021-05-12 03:20:08] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:20:11] [INFO ] [Real]Absence check using 115 positive place invariants in 9566 ms returned unknown
[2021-05-12 03:20:21] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:20:24] [INFO ] [Real]Absence check using 115 positive place invariants in 9290 ms returned unknown
[2021-05-12 03:20:33] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:20:36] [INFO ] [Real]Absence check using 115 positive place invariants in 9325 ms returned unknown
[2021-05-12 03:20:46] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:20:49] [INFO ] [Real]Absence check using 115 positive place invariants in 9427 ms returned unknown
[2021-05-12 03:20:59] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:21:02] [INFO ] [Real]Absence check using 115 positive place invariants in 9718 ms returned unknown
[2021-05-12 03:21:11] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:21:15] [INFO ] [Real]Absence check using 115 positive place invariants in 9566 ms returned unknown
[2021-05-12 03:21:24] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:21:27] [INFO ] [Real]Absence check using 115 positive place invariants in 9459 ms returned unknown
[2021-05-12 03:21:36] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:21:40] [INFO ] [Real]Absence check using 115 positive place invariants in 9317 ms returned unknown
[2021-05-12 03:21:49] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:21:52] [INFO ] [Real]Absence check using 115 positive place invariants in 9295 ms returned unknown
[2021-05-12 03:22:01] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:22:05] [INFO ] [Real]Absence check using 115 positive place invariants in 9409 ms returned unknown
[2021-05-12 03:22:14] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:22:17] [INFO ] [Real]Absence check using 115 positive place invariants in 9267 ms returned unknown
[2021-05-12 03:22:26] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:22:29] [INFO ] [Real]Absence check using 115 positive place invariants in 9320 ms returned unknown
[2021-05-12 03:22:39] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:22:42] [INFO ] [Real]Absence check using 115 positive place invariants in 9386 ms returned unknown
[2021-05-12 03:22:51] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:22:54] [INFO ] [Real]Absence check using 115 positive place invariants in 9367 ms returned unknown
[2021-05-12 03:23:04] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:23:07] [INFO ] [Real]Absence check using 115 positive place invariants in 9306 ms returned unknown
[2021-05-12 03:23:16] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:23:19] [INFO ] [Real]Absence check using 115 positive place invariants in 9413 ms returned unknown
[2021-05-12 03:23:29] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:23:32] [INFO ] [Real]Absence check using 115 positive place invariants in 9505 ms returned unknown
[2021-05-12 03:23:41] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:23:45] [INFO ] [Real]Absence check using 115 positive place invariants in 9622 ms returned unknown
[2021-05-12 03:23:54] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:23:58] [INFO ] [Real]Absence check using 115 positive place invariants in 9576 ms returned unknown
[2021-05-12 03:24:07] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:24:10] [INFO ] [Real]Absence check using 115 positive place invariants in 9584 ms returned unknown
[2021-05-12 03:24:20] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:24:23] [INFO ] [Real]Absence check using 115 positive place invariants in 9587 ms returned unknown
[2021-05-12 03:24:33] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:24:37] [INFO ] [Real]Absence check using 115 positive place invariants in 9868 ms returned unknown
[2021-05-12 03:24:47] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:24:50] [INFO ] [Real]Absence check using 115 positive place invariants in 10284 ms returned unknown
[2021-05-12 03:25:00] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:25:03] [INFO ] [Real]Absence check using 115 positive place invariants in 9805 ms returned unknown
[2021-05-12 03:25:13] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:25:16] [INFO ] [Real]Absence check using 115 positive place invariants in 9435 ms returned unknown
[2021-05-12 03:25:26] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:25:29] [INFO ] [Real]Absence check using 115 positive place invariants in 10217 ms returned unknown
[2021-05-12 03:25:39] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:25:42] [INFO ] [Real]Absence check using 115 positive place invariants in 9926 ms returned unknown
[2021-05-12 03:25:52] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:25:55] [INFO ] [Real]Absence check using 115 positive place invariants in 9822 ms returned unknown
[2021-05-12 03:26:05] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:26:08] [INFO ] [Real]Absence check using 115 positive place invariants in 9691 ms returned unknown
[2021-05-12 03:26:18] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:26:21] [INFO ] [Real]Absence check using 115 positive place invariants in 9548 ms returned unknown
[2021-05-12 03:26:30] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:26:33] [INFO ] [Real]Absence check using 115 positive place invariants in 9249 ms returned unknown
[2021-05-12 03:26:43] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:26:46] [INFO ] [Real]Absence check using 115 positive place invariants in 9305 ms returned unknown
[2021-05-12 03:26:56] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:26:59] [INFO ] [Real]Absence check using 115 positive place invariants in 9947 ms returned unknown
[2021-05-12 03:27:09] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:27:12] [INFO ] [Real]Absence check using 115 positive place invariants in 9375 ms returned unknown
[2021-05-12 03:27:21] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:27:24] [INFO ] [Real]Absence check using 115 positive place invariants in 9349 ms returned unknown
[2021-05-12 03:27:34] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:27:37] [INFO ] [Real]Absence check using 115 positive place invariants in 9381 ms returned unknown
[2021-05-12 03:27:47] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:27:50] [INFO ] [Real]Absence check using 115 positive place invariants in 10101 ms returned unknown
[2021-05-12 03:28:00] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:28:03] [INFO ] [Real]Absence check using 115 positive place invariants in 10043 ms returned unknown
[2021-05-12 03:28:13] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:28:16] [INFO ] [Real]Absence check using 115 positive place invariants in 9324 ms returned unknown
[2021-05-12 03:28:25] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:28:28] [INFO ] [Real]Absence check using 115 positive place invariants in 9569 ms returned unknown
[2021-05-12 03:28:38] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:28:42] [INFO ] [Real]Absence check using 115 positive place invariants in 10089 ms returned unknown
[2021-05-12 03:28:51] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:28:54] [INFO ] [Real]Absence check using 115 positive place invariants in 9410 ms returned unknown
[2021-05-12 03:29:04] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:29:07] [INFO ] [Real]Absence check using 115 positive place invariants in 9368 ms returned unknown
[2021-05-12 03:29:17] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:29:20] [INFO ] [Real]Absence check using 115 positive place invariants in 9506 ms returned unknown
[2021-05-12 03:29:29] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:29:32] [INFO ] [Real]Absence check using 115 positive place invariants in 9470 ms returned unknown
[2021-05-12 03:29:42] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:29:45] [INFO ] [Real]Absence check using 115 positive place invariants in 9975 ms returned unknown
[2021-05-12 03:29:55] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:29:58] [INFO ] [Real]Absence check using 115 positive place invariants in 9308 ms returned unknown
[2021-05-12 03:30:07] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:30:10] [INFO ] [Real]Absence check using 115 positive place invariants in 9292 ms returned unknown
[2021-05-12 03:30:20] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:30:23] [INFO ] [Real]Absence check using 115 positive place invariants in 9671 ms returned unknown
[2021-05-12 03:30:32] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:30:36] [INFO ] [Real]Absence check using 115 positive place invariants in 9408 ms returned unknown
[2021-05-12 03:30:45] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:30:48] [INFO ] [Real]Absence check using 115 positive place invariants in 9632 ms returned unknown
[2021-05-12 03:30:58] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:31:01] [INFO ] [Real]Absence check using 115 positive place invariants in 9311 ms returned unknown
[2021-05-12 03:31:10] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:31:13] [INFO ] [Real]Absence check using 115 positive place invariants in 9281 ms returned unknown
[2021-05-12 03:31:23] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:31:26] [INFO ] [Real]Absence check using 115 positive place invariants in 9510 ms returned unknown
[2021-05-12 03:31:35] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:31:38] [INFO ] [Real]Absence check using 115 positive place invariants in 9236 ms returned unknown
[2021-05-12 03:31:48] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:31:51] [INFO ] [Real]Absence check using 115 positive place invariants in 9356 ms returned unknown
[2021-05-12 03:32:00] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:32:03] [INFO ] [Real]Absence check using 115 positive place invariants in 9238 ms returned unknown
[2021-05-12 03:32:13] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:32:16] [INFO ] [Real]Absence check using 115 positive place invariants in 9355 ms returned unknown
[2021-05-12 03:32:25] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:32:29] [INFO ] [Real]Absence check using 115 positive place invariants in 9527 ms returned unknown
[2021-05-12 03:32:38] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:32:41] [INFO ] [Real]Absence check using 115 positive place invariants in 9217 ms returned unknown
[2021-05-12 03:32:50] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:32:54] [INFO ] [Real]Absence check using 115 positive place invariants in 9370 ms returned unknown
[2021-05-12 03:33:03] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:33:06] [INFO ] [Real]Absence check using 115 positive place invariants in 9416 ms returned unknown
[2021-05-12 03:33:16] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:33:20] [INFO ] [Real]Absence check using 115 positive place invariants in 10245 ms returned unknown
[2021-05-12 03:33:29] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:33:32] [INFO ] [Real]Absence check using 115 positive place invariants in 9242 ms returned unknown
[2021-05-12 03:33:41] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:33:44] [INFO ] [Real]Absence check using 115 positive place invariants in 9215 ms returned unknown
[2021-05-12 03:33:53] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:33:57] [INFO ] [Real]Absence check using 115 positive place invariants in 9485 ms returned unknown
[2021-05-12 03:34:06] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:34:09] [INFO ] [Real]Absence check using 115 positive place invariants in 9620 ms returned unknown
[2021-05-12 03:34:19] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:34:22] [INFO ] [Real]Absence check using 115 positive place invariants in 9477 ms returned unknown
[2021-05-12 03:34:32] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:34:35] [INFO ] [Real]Absence check using 115 positive place invariants in 9629 ms returned unknown
[2021-05-12 03:34:44] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:34:47] [INFO ] [Real]Absence check using 115 positive place invariants in 9559 ms returned unknown
[2021-05-12 03:34:56] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:35:00] [INFO ] [Real]Absence check using 115 positive place invariants in 9371 ms returned unknown
[2021-05-12 03:35:09] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:35:12] [INFO ] [Real]Absence check using 115 positive place invariants in 9577 ms returned unknown
[2021-05-12 03:35:22] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:35:25] [INFO ] [Real]Absence check using 115 positive place invariants in 9321 ms returned unknown
[2021-05-12 03:35:34] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:35:37] [INFO ] [Real]Absence check using 115 positive place invariants in 9298 ms returned unknown
[2021-05-12 03:35:47] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:35:50] [INFO ] [Real]Absence check using 115 positive place invariants in 9671 ms returned unknown
[2021-05-12 03:35:59] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:36:02] [INFO ] [Real]Absence check using 115 positive place invariants in 9326 ms returned unknown
[2021-05-12 03:36:12] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:36:15] [INFO ] [Real]Absence check using 115 positive place invariants in 9348 ms returned unknown
[2021-05-12 03:36:24] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:36:27] [INFO ] [Real]Absence check using 115 positive place invariants in 9533 ms returned unknown
[2021-05-12 03:36:37] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:36:40] [INFO ] [Real]Absence check using 115 positive place invariants in 9211 ms returned unknown
[2021-05-12 03:36:49] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:36:52] [INFO ] [Real]Absence check using 115 positive place invariants in 9279 ms returned unknown
[2021-05-12 03:37:02] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:37:05] [INFO ] [Real]Absence check using 115 positive place invariants in 9572 ms returned unknown
[2021-05-12 03:37:15] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:37:18] [INFO ] [Real]Absence check using 115 positive place invariants in 9422 ms returned unknown
[2021-05-12 03:37:27] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:37:30] [INFO ] [Real]Absence check using 115 positive place invariants in 9600 ms returned unknown
[2021-05-12 03:37:40] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:37:43] [INFO ] [Real]Absence check using 115 positive place invariants in 9311 ms returned unknown
[2021-05-12 03:37:52] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:37:55] [INFO ] [Real]Absence check using 115 positive place invariants in 9316 ms returned unknown
[2021-05-12 03:38:05] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:38:08] [INFO ] [Real]Absence check using 115 positive place invariants in 9668 ms returned unknown
[2021-05-12 03:38:17] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:38:21] [INFO ] [Real]Absence check using 115 positive place invariants in 9200 ms returned unknown
[2021-05-12 03:38:30] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:38:33] [INFO ] [Real]Absence check using 115 positive place invariants in 9120 ms returned unknown
[2021-05-12 03:38:43] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:38:46] [INFO ] [Real]Absence check using 115 positive place invariants in 9706 ms returned unknown
[2021-05-12 03:38:55] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:38:58] [INFO ] [Real]Absence check using 115 positive place invariants in 9349 ms returned unknown
[2021-05-12 03:39:08] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:39:11] [INFO ] [Real]Absence check using 115 positive place invariants in 9335 ms returned unknown
[2021-05-12 03:39:20] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:39:23] [INFO ] [Real]Absence check using 115 positive place invariants in 9409 ms returned unknown
[2021-05-12 03:39:33] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:39:36] [INFO ] [Real]Absence check using 115 positive place invariants in 9619 ms returned unknown
[2021-05-12 03:39:46] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:39:49] [INFO ] [Real]Absence check using 115 positive place invariants in 9718 ms returned unknown
[2021-05-12 03:39:58] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:40:02] [INFO ] [Real]Absence check using 115 positive place invariants in 9325 ms returned unknown
[2021-05-12 03:40:11] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:40:14] [INFO ] [Real]Absence check using 115 positive place invariants in 9589 ms returned unknown
[2021-05-12 03:40:24] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:40:27] [INFO ] [Real]Absence check using 115 positive place invariants in 9344 ms returned unknown
[2021-05-12 03:40:36] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:40:40] [INFO ] [Real]Absence check using 115 positive place invariants in 9711 ms returned unknown
[2021-05-12 03:40:49] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:40:52] [INFO ] [Real]Absence check using 115 positive place invariants in 9566 ms returned unknown
[2021-05-12 03:41:02] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:41:05] [INFO ] [Real]Absence check using 115 positive place invariants in 9197 ms returned unknown
[2021-05-12 03:41:14] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:41:17] [INFO ] [Real]Absence check using 115 positive place invariants in 9122 ms returned unknown
[2021-05-12 03:41:27] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:41:30] [INFO ] [Real]Absence check using 115 positive place invariants in 9758 ms returned unknown
[2021-05-12 03:41:39] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:41:42] [INFO ] [Real]Absence check using 115 positive place invariants in 9406 ms returned unknown
[2021-05-12 03:41:52] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:41:55] [INFO ] [Real]Absence check using 115 positive place invariants in 9493 ms returned unknown
[2021-05-12 03:42:04] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:42:08] [INFO ] [Real]Absence check using 115 positive place invariants in 9583 ms returned unknown
[2021-05-12 03:42:17] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:42:20] [INFO ] [Real]Absence check using 115 positive place invariants in 9308 ms returned unknown
[2021-05-12 03:42:30] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:42:33] [INFO ] [Real]Absence check using 115 positive place invariants in 9711 ms returned unknown
[2021-05-12 03:42:42] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:42:45] [INFO ] [Real]Absence check using 115 positive place invariants in 9332 ms returned unknown
[2021-05-12 03:42:56] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:42:59] [INFO ] [Real]Absence check using 115 positive place invariants in 10296 ms returned unknown
[2021-05-12 03:43:09] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:43:12] [INFO ] [Real]Absence check using 115 positive place invariants in 9764 ms returned unknown
[2021-05-12 03:43:21] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:43:24] [INFO ] [Real]Absence check using 115 positive place invariants in 9266 ms returned unknown
[2021-05-12 03:43:34] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-12 03:43:37] [INFO ] [Real]Absence check using 115 positive place invariants in 9219 ms returned unknown
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16427332 kB
MemFree: 15113944 kB
After kill :
MemTotal: 16427332 kB
MemFree: 16146272 kB
--------------------
content from stderr:
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-COL-L00100M0010C005P005G002"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="gold2020"
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-4028"
echo " Executing tool gold2020"
echo " Input is FamilyReunion-COL-L00100M0010C005P005G002, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r094-tall-162048902800434"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-COL-L00100M0010C005P005G002.tgz
mv FamilyReunion-COL-L00100M0010C005P005G002 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "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 [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "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 "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.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 [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
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 ;