About the Execution of 2020-gold for SafeBus-COL-50
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4057.239 | 3600000.00 | 3683642.00 | 6765.90 | [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.r208-smll-162089471100126.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2021-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2020
Input is SafeBus-COL-50, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r208-smll-162089471100126
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 408K
-rw-r--r-- 1 mcc users 15K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 125K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.5K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 71K May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.5K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 16:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 28 16:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 16:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 16:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 27 11:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 27 11:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 25 14:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 14:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 08:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 22 08:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_pt
-rw-r--r-- 1 mcc users 3 May 5 16:51 instance
-rw-r--r-- 1 mcc users 5 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 43K 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 SafeBus-COL-50-00
FORMULA_NAME SafeBus-COL-50-01
FORMULA_NAME SafeBus-COL-50-02
FORMULA_NAME SafeBus-COL-50-03
FORMULA_NAME SafeBus-COL-50-04
FORMULA_NAME SafeBus-COL-50-05
FORMULA_NAME SafeBus-COL-50-06
FORMULA_NAME SafeBus-COL-50-07
FORMULA_NAME SafeBus-COL-50-08
FORMULA_NAME SafeBus-COL-50-09
FORMULA_NAME SafeBus-COL-50-10
FORMULA_NAME SafeBus-COL-50-11
FORMULA_NAME SafeBus-COL-50-12
FORMULA_NAME SafeBus-COL-50-13
FORMULA_NAME SafeBus-COL-50-14
FORMULA_NAME SafeBus-COL-50-15
=== Now, execution of the tool begins
BK_START 1621055305487
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-15 05:08:28] [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-15 05:08:28] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-15 05:08:28] [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-15 05:08:29] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 921 ms
[2021-05-15 05:08:29] [INFO ] sort/places :
Dom->AMC,wait_ack,
Dot->cable_free,ACK,T_out,R_tout,S_tout,FMCb,
It->Cpt2,Cpt1,msgl,cable_used,FMC,wait_cable,listen,RMC,PMC,MSG,wait_msg,loop_em,
[2021-05-15 05:08:29] [INFO ] Detected 1 constant HL places corresponding to 50 PT places.
[2021-05-15 05:08:29] [INFO ] Imported 20 HL places and 14 HL transitions for a total of 5606 PT places and 6520101.0 transition bindings in 71 ms.
[2021-05-15 05:08:29] [INFO ] Computed order based on color domains.
[2021-05-15 05:08:30] [INFO ] Unfolded HLPN to a Petri net with 5606 places and 140251 transitions in 980 ms.
[2021-05-15 05:08:30] [INFO ] Unfolded HLPN properties in 29 ms.
[2021-05-15 05:08:30] [INFO ] Reduced 2400 identical enabling conditions.
[2021-05-15 05:08:30] [INFO ] Reduced 2400 identical enabling conditions.
[2021-05-15 05:08:30] [INFO ] Reduced 2400 identical enabling conditions.
Deduced a syphon composed of 50 places in 139 ms
Reduce places removed 100 places and 100 transitions.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 3661 ms.
Working with output stream class java.io.PrintStream
Interrupted random walk after 30517 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=1 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 1, 0, 0, 1, 0, 0, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 1, 0, 1, 0, 0, 0, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 0, 0, 0, 1, 0, 1, 1, 0, 1, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 0, 0, 1, 1, 1, 0, 1, 0, 1, 0, 0, 0, 1, 1, 1, 0, 1, 0, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 0, 0, 0, 1, 1, 1, 1, 1, 1, 0, 0, 0, 1, 1, 0, 1, 0, 1, 0, 0, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 0, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 1, 0, 1, 1, 0, 0, 0, 0, 1, 1, 1, 0, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 0, 1, 0, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 0, 1, 0, 1, 1, 0, 0, 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, 0, 1, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 0, 0, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 0, 1, 1, 1, 0, 1, 0, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0, 1, 0, 0, 0, 1, 1, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 0, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0, 1, 1, 0, 0, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 0, 1, 0, 1, 0, 1, 0, 0, 1, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 0, 1, 0, 0, 1, 1, 0, 0, 1, 1, 1, 0, 0, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 1, 1, 1, 0, 0, 0, 1, 1, 0, 1, 0, 1, 0, 1, 1, 1, 0, 0, 1, 0, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 0, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 1, 1, 0, 0, 1, 1, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 0, 1, 1, 1, 0, 1, 0, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 0, 0, 1, 1, 1, 0, 0, 1, 1, 1, 0, 0, 1, 0, 0, 0, 1, 1, 1, 0, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 0, 1, 1, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 0, 1, 1, 0, 1, 1, 0, 0, 0, 0, 1, 1, 0, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 1, 1, 0, 1, 1, 0, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0, 1, 1, 0, 1, 0, 1, 1, 0, 0, 0, 1, 0, 1, 0, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 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, 0, 0, 0, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 0, 1, 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, 1, 0, 0, 1, 0, 1, 1, 0, 1, 0, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 0, 1, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 0, 0, 1, 1, 1, 0, 0, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 0, 1, 0, 0, 0, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 0, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 0, 0, 1, 1, 0, 1, 0, 0, 0, 0, 0, 1, 1, 1, 0, 1, 0, 0, 0, 0, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 0, 1, 0, 0, 1, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 0, 0, 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, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 0, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0, 0, 1, 1, 1, 0, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 1, 1, 1, 0, 1, 1, 1, 0, 1, 0, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0, 0, 1, 0, 1, 1, 1, 1, 0, 0, 1, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 1, 0, 0, 1, 0, 1, 1, 0, 1, 1, 0, 0, 1, 1, 1, 1, 0, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 0, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 0, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 1, 1, 1, 0, 1, 0, 0, 1, 0, 1, 1, 0, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 1, 1, 0, 1, 0, 0, 0, 1, 0, 0, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 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, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 0, 0, 1, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 1, 0, 1, 0, 1, 1, 1, 0, 1, 0, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 0, 1, 0, 1, 1, 1, 0, 0, 1, 0, 0, 1, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 0, 0, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 0, 1, 0, 1, 1, 1, 0, 1, 1, 0, 1, 0, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 0, 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, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 0, 0, 0, 1, 0, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 1, 1, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 0, 1, 0, 1, 0, 1, 1, 1, 0, 0, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 0, 0, 1, 1, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 0, 0, 1, 0, 0, 0, 1, 1, 1, 0, 0, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 0, 1, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 0, 0, 1, 0, 1, 0, 1, 0, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0, 0, 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, 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0]
[2021-05-15 05:09:06] [INFO ] Flow matrix only has 15202 transitions (discarded 124949 similar events)
// Phase 1: matrix 15202 rows 5506 cols
[2021-05-15 05:09:08] [INFO ] Computed 205 place invariants in 2817 ms
[2021-05-15 05:09:10] [INFO ] [Real]Absence check using 101 positive place invariants in 672 ms returned sat
[2021-05-15 05:09:12] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1120 ms returned sat
[2021-05-15 05:09:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:09:28] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:09:28] [INFO ] [Real]Absence check using state equation in 16899 ms returned (error "Failed to check-sat")
[2021-05-15 05:09:30] [INFO ] [Real]Absence check using 101 positive place invariants in 576 ms returned sat
[2021-05-15 05:09:31] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1152 ms returned sat
[2021-05-15 05:09:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:09:48] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:09:48] [INFO ] [Real]Absence check using state equation in 17500 ms returned unknown
[2021-05-15 05:09:50] [INFO ] [Real]Absence check using 101 positive place invariants in 616 ms returned sat
[2021-05-15 05:09:51] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1031 ms returned sat
[2021-05-15 05:09:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:10:08] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:10:08] [INFO ] [Real]Absence check using state equation in 17695 ms returned (error "Failed to check-sat")
[2021-05-15 05:10:10] [INFO ] [Real]Absence check using 101 positive place invariants in 510 ms returned sat
[2021-05-15 05:10:11] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1368 ms returned sat
[2021-05-15 05:10:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:10:28] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:10:28] [INFO ] [Real]Absence check using state equation in 17414 ms returned unknown
[2021-05-15 05:10:30] [INFO ] [Real]Absence check using 101 positive place invariants in 455 ms returned sat
[2021-05-15 05:10:30] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 876 ms returned sat
[2021-05-15 05:10:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:10:49] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:10:49] [INFO ] [Real]Absence check using state equation in 18071 ms returned unknown
[2021-05-15 05:10:50] [INFO ] [Real]Absence check using 101 positive place invariants in 466 ms returned sat
[2021-05-15 05:10:50] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 832 ms returned sat
[2021-05-15 05:10:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:11:09] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:11:09] [INFO ] [Real]Absence check using state equation in 18116 ms returned unknown
[2021-05-15 05:11:10] [INFO ] [Real]Absence check using 101 positive place invariants in 464 ms returned sat
[2021-05-15 05:11:11] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 936 ms returned sat
[2021-05-15 05:11:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:11:29] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:11:29] [INFO ] [Real]Absence check using state equation in 17997 ms returned (error "Failed to check-sat")
[2021-05-15 05:11:30] [INFO ] [Real]Absence check using 101 positive place invariants in 560 ms returned sat
[2021-05-15 05:11:31] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1049 ms returned sat
[2021-05-15 05:11:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:11:49] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:11:49] [INFO ] [Real]Absence check using state equation in 17687 ms returned unknown
[2021-05-15 05:11:50] [INFO ] [Real]Absence check using 101 positive place invariants in 566 ms returned sat
[2021-05-15 05:11:51] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1236 ms returned sat
[2021-05-15 05:11:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:12:09] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:12:09] [INFO ] [Real]Absence check using state equation in 17504 ms returned unknown
[2021-05-15 05:12:10] [INFO ] [Real]Absence check using 101 positive place invariants in 548 ms returned sat
[2021-05-15 05:12:11] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 949 ms returned sat
[2021-05-15 05:12:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:12:29] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:12:29] [INFO ] [Real]Absence check using state equation in 17812 ms returned unknown
[2021-05-15 05:12:30] [INFO ] [Real]Absence check using 101 positive place invariants in 535 ms returned sat
[2021-05-15 05:12:31] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 872 ms returned sat
[2021-05-15 05:12:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:12:49] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:12:49] [INFO ] [Real]Absence check using state equation in 17877 ms returned (error "Failed to check-sat")
[2021-05-15 05:12:50] [INFO ] [Real]Absence check using 101 positive place invariants in 522 ms returned sat
[2021-05-15 05:12:51] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 940 ms returned sat
[2021-05-15 05:12:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:13:09] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:13:09] [INFO ] [Real]Absence check using state equation in 17815 ms returned (error "Failed to check-sat")
[2021-05-15 05:13:10] [INFO ] [Real]Absence check using 101 positive place invariants in 440 ms returned sat
[2021-05-15 05:13:11] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1121 ms returned sat
[2021-05-15 05:13:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:13:29] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:13:29] [INFO ] [Real]Absence check using state equation in 17869 ms returned (error "Failed to check-sat")
[2021-05-15 05:13:30] [INFO ] [Real]Absence check using 101 positive place invariants in 471 ms returned sat
[2021-05-15 05:13:31] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1052 ms returned sat
[2021-05-15 05:13:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:13:49] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:13:49] [INFO ] [Real]Absence check using state equation in 17840 ms returned unknown
[2021-05-15 05:13:50] [INFO ] [Real]Absence check using 101 positive place invariants in 438 ms returned sat
[2021-05-15 05:13:51] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1042 ms returned sat
[2021-05-15 05:13:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:14:09] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:14:09] [INFO ] [Real]Absence check using state equation in 17921 ms returned unknown
[2021-05-15 05:14:10] [INFO ] [Real]Absence check using 101 positive place invariants in 428 ms returned sat
[2021-05-15 05:14:11] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 945 ms returned sat
[2021-05-15 05:14:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:14:29] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:14:29] [INFO ] [Real]Absence check using state equation in 18075 ms returned unknown
[2021-05-15 05:14:30] [INFO ] [Real]Absence check using 101 positive place invariants in 437 ms returned sat
[2021-05-15 05:14:31] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1166 ms returned sat
[2021-05-15 05:14:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:14:49] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:14:49] [INFO ] [Real]Absence check using state equation in 17826 ms returned (error "Failed to check-sat")
[2021-05-15 05:14:50] [INFO ] [Real]Absence check using 101 positive place invariants in 432 ms returned sat
[2021-05-15 05:14:51] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1036 ms returned sat
[2021-05-15 05:14:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:15:09] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:15:09] [INFO ] [Real]Absence check using state equation in 17973 ms returned unknown
[2021-05-15 05:15:10] [INFO ] [Real]Absence check using 101 positive place invariants in 656 ms returned sat
[2021-05-15 05:15:11] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1018 ms returned sat
[2021-05-15 05:15:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:15:29] [INFO ] [Real]Absence check using state equation in 17598 ms returned (error "Solver has unexpectedly terminated")
[2021-05-15 05:15:30] [INFO ] [Real]Absence check using 101 positive place invariants in 521 ms returned sat
[2021-05-15 05:15:31] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 966 ms returned sat
[2021-05-15 05:15:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:15:49] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:15:49] [INFO ] [Real]Absence check using state equation in 17850 ms returned unknown
[2021-05-15 05:15:50] [INFO ] [Real]Absence check using 101 positive place invariants in 492 ms returned sat
[2021-05-15 05:15:51] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1025 ms returned sat
[2021-05-15 05:15:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:16:09] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:16:09] [INFO ] [Real]Absence check using state equation in 17871 ms returned unknown
[2021-05-15 05:16:10] [INFO ] [Real]Absence check using 101 positive place invariants in 583 ms returned sat
[2021-05-15 05:16:11] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1408 ms returned sat
[2021-05-15 05:16:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:16:29] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:16:29] [INFO ] [Real]Absence check using state equation in 17454 ms returned (error "Failed to check-sat")
[2021-05-15 05:16:30] [INFO ] [Real]Absence check using 101 positive place invariants in 727 ms returned sat
[2021-05-15 05:16:31] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1021 ms returned sat
[2021-05-15 05:16:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:16:49] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:16:49] [INFO ] [Real]Absence check using state equation in 17485 ms returned (error "Failed to check-sat")
[2021-05-15 05:16:50] [INFO ] [Real]Absence check using 101 positive place invariants in 671 ms returned sat
[2021-05-15 05:16:51] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1165 ms returned sat
[2021-05-15 05:16:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:17:09] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:17:09] [INFO ] [Real]Absence check using state equation in 17473 ms returned unknown
[2021-05-15 05:17:10] [INFO ] [Real]Absence check using 101 positive place invariants in 610 ms returned sat
[2021-05-15 05:17:11] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1204 ms returned sat
[2021-05-15 05:17:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:17:29] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:17:29] [INFO ] [Real]Absence check using state equation in 17485 ms returned unknown
[2021-05-15 05:17:30] [INFO ] [Real]Absence check using 101 positive place invariants in 485 ms returned sat
[2021-05-15 05:17:31] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 883 ms returned sat
[2021-05-15 05:17:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:17:49] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:17:49] [INFO ] [Real]Absence check using state equation in 18037 ms returned unknown
[2021-05-15 05:17:50] [INFO ] [Real]Absence check using 101 positive place invariants in 511 ms returned sat
[2021-05-15 05:17:51] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1192 ms returned sat
[2021-05-15 05:17:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:18:09] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:18:09] [INFO ] [Real]Absence check using state equation in 17522 ms returned (error "Failed to check-sat")
[2021-05-15 05:18:10] [INFO ] [Real]Absence check using 101 positive place invariants in 456 ms returned sat
[2021-05-15 05:18:11] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 919 ms returned sat
[2021-05-15 05:18:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:18:29] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:18:29] [INFO ] [Real]Absence check using state equation in 18018 ms returned unknown
[2021-05-15 05:18:30] [INFO ] [Real]Absence check using 101 positive place invariants in 612 ms returned sat
[2021-05-15 05:18:31] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 870 ms returned sat
[2021-05-15 05:18:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:18:49] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:18:49] [INFO ] [Real]Absence check using state equation in 17765 ms returned (error "Failed to check-sat")
[2021-05-15 05:18:50] [INFO ] [Real]Absence check using 101 positive place invariants in 473 ms returned sat
[2021-05-15 05:18:51] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 924 ms returned sat
[2021-05-15 05:18:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:19:09] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:19:09] [INFO ] [Real]Absence check using state equation in 17783 ms returned (error "Failed to check-sat")
[2021-05-15 05:19:10] [INFO ] [Real]Absence check using 101 positive place invariants in 462 ms returned sat
[2021-05-15 05:19:11] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 848 ms returned sat
[2021-05-15 05:19:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:19:29] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:19:29] [INFO ] [Real]Absence check using state equation in 17963 ms returned (error "Failed to check-sat")
[2021-05-15 05:19:30] [INFO ] [Real]Absence check using 101 positive place invariants in 558 ms returned sat
[2021-05-15 05:19:32] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1373 ms returned sat
[2021-05-15 05:19:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:19:49] [INFO ] [Real]Absence check using state equation in 17354 ms returned (error "Solver has unexpectedly terminated")
[2021-05-15 05:19:50] [INFO ] [Real]Absence check using 101 positive place invariants in 552 ms returned sat
[2021-05-15 05:19:51] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1135 ms returned sat
[2021-05-15 05:19:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:20:09] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:20:09] [INFO ] [Real]Absence check using state equation in 17708 ms returned (error "Failed to check-sat")
[2021-05-15 05:20:10] [INFO ] [Real]Absence check using 101 positive place invariants in 496 ms returned sat
[2021-05-15 05:20:11] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 967 ms returned sat
[2021-05-15 05:20:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:20:29] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:20:29] [INFO ] [Real]Absence check using state equation in 17928 ms returned unknown
[2021-05-15 05:20:30] [INFO ] [Real]Absence check using 101 positive place invariants in 486 ms returned sat
[2021-05-15 05:20:31] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 953 ms returned sat
[2021-05-15 05:20:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:20:49] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:20:49] [INFO ] [Real]Absence check using state equation in 17864 ms returned (error "Failed to check-sat")
[2021-05-15 05:20:50] [INFO ] [Real]Absence check using 101 positive place invariants in 508 ms returned sat
[2021-05-15 05:20:51] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 984 ms returned sat
[2021-05-15 05:20:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:21:09] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:21:09] [INFO ] [Real]Absence check using state equation in 17792 ms returned unknown
[2021-05-15 05:21:10] [INFO ] [Real]Absence check using 101 positive place invariants in 489 ms returned sat
[2021-05-15 05:21:11] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1012 ms returned sat
[2021-05-15 05:21:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:21:29] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:21:29] [INFO ] [Real]Absence check using state equation in 17911 ms returned (error "Failed to check-sat")
[2021-05-15 05:21:30] [INFO ] [Real]Absence check using 101 positive place invariants in 491 ms returned sat
[2021-05-15 05:21:31] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 911 ms returned sat
[2021-05-15 05:21:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:21:49] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:21:49] [INFO ] [Real]Absence check using state equation in 17998 ms returned (error "Failed to check-sat")
[2021-05-15 05:21:50] [INFO ] [Real]Absence check using 101 positive place invariants in 501 ms returned sat
[2021-05-15 05:21:51] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1020 ms returned sat
[2021-05-15 05:21:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:22:09] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:22:09] [INFO ] [Real]Absence check using state equation in 17874 ms returned (error "Failed to check-sat")
[2021-05-15 05:22:10] [INFO ] [Real]Absence check using 101 positive place invariants in 505 ms returned sat
[2021-05-15 05:22:11] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 977 ms returned sat
[2021-05-15 05:22:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:22:29] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:22:29] [INFO ] [Real]Absence check using state equation in 17930 ms returned (error "Failed to check-sat")
[2021-05-15 05:22:30] [INFO ] [Real]Absence check using 101 positive place invariants in 556 ms returned sat
[2021-05-15 05:22:31] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 975 ms returned sat
[2021-05-15 05:22:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:22:49] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:22:49] [INFO ] [Real]Absence check using state equation in 17718 ms returned (error "Failed to check-sat")
[2021-05-15 05:22:50] [INFO ] [Real]Absence check using 101 positive place invariants in 582 ms returned sat
[2021-05-15 05:22:52] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1167 ms returned sat
[2021-05-15 05:22:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:23:09] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:23:09] [INFO ] [Real]Absence check using state equation in 17471 ms returned (error "Failed to check-sat")
[2021-05-15 05:23:10] [INFO ] [Real]Absence check using 101 positive place invariants in 502 ms returned sat
[2021-05-15 05:23:11] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1034 ms returned sat
[2021-05-15 05:23:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:23:29] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:23:29] [INFO ] [Real]Absence check using state equation in 17869 ms returned unknown
[2021-05-15 05:23:30] [INFO ] [Real]Absence check using 101 positive place invariants in 538 ms returned sat
[2021-05-15 05:23:31] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 921 ms returned sat
[2021-05-15 05:23:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:23:49] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:23:49] [INFO ] [Real]Absence check using state equation in 17918 ms returned (error "Failed to check-sat")
[2021-05-15 05:23:50] [INFO ] [Real]Absence check using 101 positive place invariants in 506 ms returned sat
[2021-05-15 05:23:51] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1031 ms returned sat
[2021-05-15 05:23:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:24:09] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:24:09] [INFO ] [Real]Absence check using state equation in 17725 ms returned unknown
[2021-05-15 05:24:10] [INFO ] [Real]Absence check using 101 positive place invariants in 497 ms returned sat
[2021-05-15 05:24:11] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1026 ms returned sat
[2021-05-15 05:24:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:24:29] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:24:29] [INFO ] [Real]Absence check using state equation in 17710 ms returned (error "Failed to check-sat")
[2021-05-15 05:24:31] [INFO ] [Real]Absence check using 101 positive place invariants in 488 ms returned sat
[2021-05-15 05:24:31] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 863 ms returned sat
[2021-05-15 05:24:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:24:49] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:24:49] [INFO ] [Real]Absence check using state equation in 17741 ms returned unknown
[2021-05-15 05:24:50] [INFO ] [Real]Absence check using 101 positive place invariants in 519 ms returned sat
[2021-05-15 05:24:51] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1017 ms returned sat
[2021-05-15 05:24:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:25:09] [INFO ] [Real]Absence check using state equation in 17880 ms returned (error "Solver has unexpectedly terminated")
[2021-05-15 05:25:10] [INFO ] [Real]Absence check using 101 positive place invariants in 468 ms returned sat
[2021-05-15 05:25:11] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 931 ms returned sat
[2021-05-15 05:25:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:25:29] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:25:29] [INFO ] [Real]Absence check using state equation in 17989 ms returned unknown
[2021-05-15 05:25:30] [INFO ] [Real]Absence check using 101 positive place invariants in 529 ms returned sat
[2021-05-15 05:25:32] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1115 ms returned sat
[2021-05-15 05:25:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:25:49] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:25:49] [INFO ] [Real]Absence check using state equation in 17607 ms returned unknown
[2021-05-15 05:25:50] [INFO ] [Real]Absence check using 101 positive place invariants in 522 ms returned sat
[2021-05-15 05:25:52] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1306 ms returned sat
[2021-05-15 05:25:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:26:09] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:26:09] [INFO ] [Real]Absence check using state equation in 17593 ms returned (error "Failed to check-sat")
[2021-05-15 05:26:11] [INFO ] [Real]Absence check using 101 positive place invariants in 524 ms returned sat
[2021-05-15 05:26:12] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1198 ms returned sat
[2021-05-15 05:26:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:26:29] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:26:29] [INFO ] [Real]Absence check using state equation in 17510 ms returned unknown
[2021-05-15 05:26:30] [INFO ] [Real]Absence check using 101 positive place invariants in 523 ms returned sat
[2021-05-15 05:26:32] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1269 ms returned sat
[2021-05-15 05:26:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:26:49] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:26:49] [INFO ] [Real]Absence check using state equation in 17629 ms returned (error "Failed to check-sat")
[2021-05-15 05:26:51] [INFO ] [Real]Absence check using 101 positive place invariants in 615 ms returned sat
[2021-05-15 05:26:52] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1368 ms returned sat
[2021-05-15 05:26:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:27:09] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:27:09] [INFO ] [Real]Absence check using state equation in 17374 ms returned (error "Failed to check-sat")
[2021-05-15 05:27:10] [INFO ] [Real]Absence check using 101 positive place invariants in 467 ms returned sat
[2021-05-15 05:27:11] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 881 ms returned sat
[2021-05-15 05:27:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:27:29] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:27:29] [INFO ] [Real]Absence check using state equation in 18060 ms returned (error "Failed to check-sat")
[2021-05-15 05:27:31] [INFO ] [Real]Absence check using 101 positive place invariants in 526 ms returned sat
[2021-05-15 05:27:32] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1281 ms returned sat
[2021-05-15 05:27:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:27:49] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:27:49] [INFO ] [Real]Absence check using state equation in 17383 ms returned (error "Failed to check-sat")
[2021-05-15 05:27:50] [INFO ] [Real]Absence check using 101 positive place invariants in 532 ms returned sat
[2021-05-15 05:27:51] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1051 ms returned sat
[2021-05-15 05:27:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:28:09] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:28:09] [INFO ] [Real]Absence check using state equation in 17846 ms returned unknown
[2021-05-15 05:28:10] [INFO ] [Real]Absence check using 101 positive place invariants in 525 ms returned sat
[2021-05-15 05:28:11] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1033 ms returned sat
[2021-05-15 05:28:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:28:29] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:28:29] [INFO ] [Real]Absence check using state equation in 17849 ms returned (error "Failed to check-sat")
[2021-05-15 05:28:30] [INFO ] [Real]Absence check using 101 positive place invariants in 473 ms returned sat
[2021-05-15 05:28:31] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1030 ms returned sat
[2021-05-15 05:28:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:28:49] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:28:49] [INFO ] [Real]Absence check using state equation in 17895 ms returned (error "Failed to check-sat")
[2021-05-15 05:28:51] [INFO ] [Real]Absence check using 101 positive place invariants in 518 ms returned sat
[2021-05-15 05:28:52] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1039 ms returned sat
[2021-05-15 05:28:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:29:09] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:29:09] [INFO ] [Real]Absence check using state equation in 17705 ms returned (error "Failed to check-sat")
[2021-05-15 05:29:11] [INFO ] [Real]Absence check using 101 positive place invariants in 535 ms returned sat
[2021-05-15 05:29:12] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1084 ms returned sat
[2021-05-15 05:29:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:29:29] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:29:29] [INFO ] [Real]Absence check using state equation in 17785 ms returned unknown
[2021-05-15 05:29:31] [INFO ] [Real]Absence check using 101 positive place invariants in 535 ms returned sat
[2021-05-15 05:29:32] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1052 ms returned sat
[2021-05-15 05:29:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:29:49] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:29:49] [INFO ] [Real]Absence check using state equation in 17840 ms returned (error "Failed to check-sat")
[2021-05-15 05:29:51] [INFO ] [Real]Absence check using 101 positive place invariants in 527 ms returned sat
[2021-05-15 05:29:52] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1047 ms returned sat
[2021-05-15 05:29:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:30:09] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:30:09] [INFO ] [Real]Absence check using state equation in 17835 ms returned unknown
[2021-05-15 05:30:11] [INFO ] [Real]Absence check using 101 positive place invariants in 522 ms returned sat
[2021-05-15 05:30:12] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1062 ms returned sat
[2021-05-15 05:30:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:30:29] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:30:29] [INFO ] [Real]Absence check using state equation in 17830 ms returned (error "Failed to check-sat")
[2021-05-15 05:30:31] [INFO ] [Real]Absence check using 101 positive place invariants in 523 ms returned sat
[2021-05-15 05:30:32] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1016 ms returned sat
[2021-05-15 05:30:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:30:49] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (= s296 (- (+ t10196 t12797) (+ t146 t2696)))") while checking expression at index 64
[2021-05-15 05:30:51] [INFO ] [Real]Absence check using 101 positive place invariants in 542 ms returned sat
[2021-05-15 05:30:52] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1089 ms returned sat
[2021-05-15 05:30:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:31:09] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:31:09] [INFO ] [Real]Absence check using state equation in 17647 ms returned (error "Failed to check-sat")
[2021-05-15 05:31:11] [INFO ] [Real]Absence check using 101 positive place invariants in 528 ms returned sat
[2021-05-15 05:31:12] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1256 ms returned sat
[2021-05-15 05:31:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:31:29] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:31:29] [INFO ] [Real]Absence check using state equation in 17552 ms returned (error "Failed to check-sat")
[2021-05-15 05:31:31] [INFO ] [Real]Absence check using 101 positive place invariants in 533 ms returned sat
[2021-05-15 05:31:32] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1272 ms returned sat
[2021-05-15 05:31:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:31:49] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:31:50] [INFO ] [Real]Absence check using state equation in 17622 ms returned (error "Failed to check-sat")
[2021-05-15 05:31:51] [INFO ] [Real]Absence check using 101 positive place invariants in 541 ms returned sat
[2021-05-15 05:31:52] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1310 ms returned sat
[2021-05-15 05:31:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:32:10] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:32:10] [INFO ] [Real]Absence check using state equation in 17270 ms returned (error "Failed to check-sat")
[2021-05-15 05:32:11] [INFO ] [Real]Absence check using 101 positive place invariants in 462 ms returned sat
[2021-05-15 05:32:12] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1174 ms returned sat
[2021-05-15 05:32:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:32:30] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:32:30] [INFO ] [Real]Absence check using state equation in 17771 ms returned unknown
[2021-05-15 05:32:31] [INFO ] [Real]Absence check using 101 positive place invariants in 522 ms returned sat
[2021-05-15 05:32:32] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1009 ms returned sat
[2021-05-15 05:32:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:32:50] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:32:50] [INFO ] [Real]Absence check using state equation in 17908 ms returned unknown
[2021-05-15 05:32:51] [INFO ] [Real]Absence check using 101 positive place invariants in 571 ms returned sat
[2021-05-15 05:32:52] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 924 ms returned sat
[2021-05-15 05:32:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:33:10] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:33:10] [INFO ] [Real]Absence check using state equation in 17864 ms returned (error "Failed to check-sat")
[2021-05-15 05:33:11] [INFO ] [Real]Absence check using 101 positive place invariants in 466 ms returned sat
[2021-05-15 05:33:12] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1428 ms returned sat
[2021-05-15 05:33:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:33:30] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:33:30] [INFO ] [Real]Absence check using state equation in 17210 ms returned (error "Failed to check-sat")
[2021-05-15 05:33:31] [INFO ] [Real]Absence check using 101 positive place invariants in 535 ms returned sat
[2021-05-15 05:33:32] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1133 ms returned sat
[2021-05-15 05:33:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:33:50] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:33:50] [INFO ] [Real]Absence check using state equation in 17742 ms returned unknown
[2021-05-15 05:33:51] [INFO ] [Real]Absence check using 101 positive place invariants in 532 ms returned sat
[2021-05-15 05:33:52] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1150 ms returned sat
[2021-05-15 05:33:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:34:10] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:34:10] [INFO ] [Real]Absence check using state equation in 17734 ms returned (error "Failed to check-sat")
[2021-05-15 05:34:11] [INFO ] [Real]Absence check using 101 positive place invariants in 498 ms returned sat
[2021-05-15 05:34:12] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 909 ms returned sat
[2021-05-15 05:34:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:34:30] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:34:30] [INFO ] [Real]Absence check using state equation in 17846 ms returned (error "Failed to check-sat")
[2021-05-15 05:34:31] [INFO ] [Real]Absence check using 101 positive place invariants in 478 ms returned sat
[2021-05-15 05:34:32] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1034 ms returned sat
[2021-05-15 05:34:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:34:50] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:34:50] [INFO ] [Real]Absence check using state equation in 17706 ms returned unknown
[2021-05-15 05:34:51] [INFO ] [Real]Absence check using 101 positive place invariants in 519 ms returned sat
[2021-05-15 05:34:52] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1116 ms returned sat
[2021-05-15 05:34:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:35:10] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:35:10] [INFO ] [Real]Absence check using state equation in 17662 ms returned unknown
[2021-05-15 05:35:11] [INFO ] [Real]Absence check using 101 positive place invariants in 472 ms returned sat
[2021-05-15 05:35:12] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1111 ms returned sat
[2021-05-15 05:35:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:35:30] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:35:30] [INFO ] [Real]Absence check using state equation in 17673 ms returned (error "Failed to check-sat")
[2021-05-15 05:35:31] [INFO ] [Real]Absence check using 101 positive place invariants in 524 ms returned sat
[2021-05-15 05:35:32] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1121 ms returned sat
[2021-05-15 05:35:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:35:50] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:35:50] [INFO ] [Real]Absence check using state equation in 17706 ms returned unknown
[2021-05-15 05:35:51] [INFO ] [Real]Absence check using 101 positive place invariants in 463 ms returned sat
[2021-05-15 05:35:52] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1137 ms returned sat
[2021-05-15 05:35:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:36:10] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:36:10] [INFO ] [Real]Absence check using state equation in 17543 ms returned (error "Failed to check-sat")
[2021-05-15 05:36:11] [INFO ] [Real]Absence check using 101 positive place invariants in 522 ms returned sat
[2021-05-15 05:36:12] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1230 ms returned sat
[2021-05-15 05:36:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:36:30] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:36:30] [INFO ] [Real]Absence check using state equation in 17666 ms returned (error "Failed to check-sat")
[2021-05-15 05:36:31] [INFO ] [Real]Absence check using 101 positive place invariants in 547 ms returned sat
[2021-05-15 05:36:32] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1064 ms returned sat
[2021-05-15 05:36:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:36:50] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:36:50] [INFO ] [Real]Absence check using state equation in 17617 ms returned unknown
[2021-05-15 05:36:51] [INFO ] [Real]Absence check using 101 positive place invariants in 463 ms returned sat
[2021-05-15 05:36:52] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 899 ms returned sat
[2021-05-15 05:36:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:37:10] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:37:10] [INFO ] [Real]Absence check using state equation in 17908 ms returned unknown
[2021-05-15 05:37:11] [INFO ] [Real]Absence check using 101 positive place invariants in 532 ms returned sat
[2021-05-15 05:37:12] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1119 ms returned sat
[2021-05-15 05:37:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:37:30] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:37:30] [INFO ] [Real]Absence check using state equation in 17749 ms returned (error "Failed to check-sat")
[2021-05-15 05:37:31] [INFO ] [Real]Absence check using 101 positive place invariants in 524 ms returned sat
[2021-05-15 05:37:32] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1104 ms returned sat
[2021-05-15 05:37:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:37:50] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:37:50] [INFO ] [Real]Absence check using state equation in 17632 ms returned (error "Failed to check-sat")
[2021-05-15 05:37:51] [INFO ] [Real]Absence check using 101 positive place invariants in 616 ms returned sat
[2021-05-15 05:37:52] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 963 ms returned sat
[2021-05-15 05:37:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:38:10] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:38:10] [INFO ] [Real]Absence check using state equation in 17693 ms returned unknown
[2021-05-15 05:38:11] [INFO ] [Real]Absence check using 101 positive place invariants in 510 ms returned sat
[2021-05-15 05:38:12] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1093 ms returned sat
[2021-05-15 05:38:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:38:30] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:38:30] [INFO ] [Real]Absence check using state equation in 17666 ms returned (error "Failed to check-sat")
[2021-05-15 05:38:31] [INFO ] [Real]Absence check using 101 positive place invariants in 493 ms returned sat
[2021-05-15 05:38:32] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1006 ms returned sat
[2021-05-15 05:38:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:38:50] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:38:50] [INFO ] [Real]Absence check using state equation in 17936 ms returned (error "Failed to check-sat")
[2021-05-15 05:38:51] [INFO ] [Real]Absence check using 101 positive place invariants in 494 ms returned sat
[2021-05-15 05:38:52] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 900 ms returned sat
[2021-05-15 05:38:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:39:10] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:39:10] [INFO ] [Real]Absence check using state equation in 18011 ms returned unknown
[2021-05-15 05:39:11] [INFO ] [Real]Absence check using 101 positive place invariants in 491 ms returned sat
[2021-05-15 05:39:12] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 928 ms returned sat
[2021-05-15 05:39:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:39:30] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:39:30] [INFO ] [Real]Absence check using state equation in 17997 ms returned (error "Failed to check-sat")
[2021-05-15 05:39:31] [INFO ] [Real]Absence check using 101 positive place invariants in 624 ms returned sat
[2021-05-15 05:39:32] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 998 ms returned sat
[2021-05-15 05:39:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:39:50] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:39:50] [INFO ] [Real]Absence check using state equation in 17727 ms returned (error "Failed to check-sat")
[2021-05-15 05:39:51] [INFO ] [Real]Absence check using 101 positive place invariants in 494 ms returned sat
[2021-05-15 05:39:52] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1011 ms returned sat
[2021-05-15 05:39:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:40:10] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:40:10] [INFO ] [Real]Absence check using state equation in 17839 ms returned unknown
[2021-05-15 05:40:11] [INFO ] [Real]Absence check using 101 positive place invariants in 498 ms returned sat
[2021-05-15 05:40:12] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1154 ms returned sat
[2021-05-15 05:40:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:40:30] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:40:30] [INFO ] [Real]Absence check using state equation in 17771 ms returned (error "Failed to check-sat")
[2021-05-15 05:40:31] [INFO ] [Real]Absence check using 101 positive place invariants in 491 ms returned sat
[2021-05-15 05:40:32] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 925 ms returned sat
[2021-05-15 05:40:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:40:50] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:40:50] [INFO ] [Real]Absence check using state equation in 17792 ms returned (error "Failed to check-sat")
[2021-05-15 05:40:51] [INFO ] [Real]Absence check using 101 positive place invariants in 494 ms returned sat
[2021-05-15 05:40:52] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1256 ms returned sat
[2021-05-15 05:40:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:41:10] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:41:10] [INFO ] [Real]Absence check using state equation in 17688 ms returned (error "Failed to check-sat")
[2021-05-15 05:41:11] [INFO ] [Real]Absence check using 101 positive place invariants in 490 ms returned sat
[2021-05-15 05:41:12] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 946 ms returned sat
[2021-05-15 05:41:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:41:30] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:41:30] [INFO ] [Real]Absence check using state equation in 17891 ms returned (error "Failed to check-sat")
[2021-05-15 05:41:31] [INFO ] [Real]Absence check using 101 positive place invariants in 515 ms returned sat
[2021-05-15 05:41:32] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1037 ms returned sat
[2021-05-15 05:41:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:41:50] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:41:50] [INFO ] [Real]Absence check using state equation in 17851 ms returned (error "Failed to check-sat")
[2021-05-15 05:41:51] [INFO ] [Real]Absence check using 101 positive place invariants in 547 ms returned sat
[2021-05-15 05:41:52] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 875 ms returned sat
[2021-05-15 05:41:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:42:10] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:42:10] [INFO ] [Real]Absence check using state equation in 17929 ms returned (error "Failed to check-sat")
[2021-05-15 05:42:11] [INFO ] [Real]Absence check using 101 positive place invariants in 537 ms returned sat
[2021-05-15 05:42:12] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1014 ms returned sat
[2021-05-15 05:42:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:42:30] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:42:30] [INFO ] [Real]Absence check using state equation in 17705 ms returned (error "Failed to check-sat")
[2021-05-15 05:42:31] [INFO ] [Real]Absence check using 101 positive place invariants in 458 ms returned sat
[2021-05-15 05:42:33] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1280 ms returned sat
[2021-05-15 05:42:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:42:50] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:42:50] [INFO ] [Real]Absence check using state equation in 17481 ms returned (error "Failed to check-sat")
[2021-05-15 05:42:51] [INFO ] [Real]Absence check using 101 positive place invariants in 479 ms returned sat
[2021-05-15 05:42:52] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 874 ms returned sat
[2021-05-15 05:42:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:43:10] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:43:10] [INFO ] [Real]Absence check using state equation in 17986 ms returned (error "Failed to check-sat")
[2021-05-15 05:43:11] [INFO ] [Real]Absence check using 101 positive place invariants in 473 ms returned sat
[2021-05-15 05:43:12] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 944 ms returned sat
[2021-05-15 05:43:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:43:30] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:43:30] [INFO ] [Real]Absence check using state equation in 17972 ms returned (error "Failed to check-sat")
[2021-05-15 05:43:31] [INFO ] [Real]Absence check using 101 positive place invariants in 467 ms returned sat
[2021-05-15 05:43:32] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 885 ms returned sat
[2021-05-15 05:43:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:43:50] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:43:50] [INFO ] [Real]Absence check using state equation in 18066 ms returned (error "Failed to check-sat")
[2021-05-15 05:43:51] [INFO ] [Real]Absence check using 101 positive place invariants in 490 ms returned sat
[2021-05-15 05:43:52] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 882 ms returned sat
[2021-05-15 05:43:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:44:10] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:44:10] [INFO ] [Real]Absence check using state equation in 17881 ms returned (error "Failed to check-sat")
[2021-05-15 05:44:11] [INFO ] [Real]Absence check using 101 positive place invariants in 497 ms returned sat
[2021-05-15 05:44:13] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1342 ms returned sat
[2021-05-15 05:44:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:44:30] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:44:30] [INFO ] [Real]Absence check using state equation in 17374 ms returned unknown
[2021-05-15 05:44:31] [INFO ] [Real]Absence check using 101 positive place invariants in 527 ms returned sat
[2021-05-15 05:44:32] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 902 ms returned sat
[2021-05-15 05:44:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:44:50] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:44:50] [INFO ] [Real]Absence check using state equation in 17949 ms returned (error "Failed to check-sat")
[2021-05-15 05:44:51] [INFO ] [Real]Absence check using 101 positive place invariants in 491 ms returned sat
[2021-05-15 05:44:53] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1059 ms returned sat
[2021-05-15 05:44:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:45:10] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:45:10] [INFO ] [Real]Absence check using state equation in 17677 ms returned unknown
[2021-05-15 05:45:11] [INFO ] [Real]Absence check using 101 positive place invariants in 511 ms returned sat
[2021-05-15 05:45:12] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 873 ms returned sat
[2021-05-15 05:45:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:45:30] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:45:30] [INFO ] [Real]Absence check using state equation in 18000 ms returned unknown
[2021-05-15 05:45:31] [INFO ] [Real]Absence check using 101 positive place invariants in 440 ms returned sat
[2021-05-15 05:45:32] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 885 ms returned sat
[2021-05-15 05:45:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:45:50] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:45:50] [INFO ] [Real]Absence check using state equation in 18106 ms returned (error "Failed to check-sat")
[2021-05-15 05:45:51] [INFO ] [Real]Absence check using 101 positive place invariants in 508 ms returned sat
[2021-05-15 05:45:52] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1108 ms returned sat
[2021-05-15 05:45:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:46:10] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:46:10] [INFO ] [Real]Absence check using state equation in 17768 ms returned unknown
[2021-05-15 05:46:11] [INFO ] [Real]Absence check using 101 positive place invariants in 449 ms returned sat
[2021-05-15 05:46:12] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1024 ms returned sat
[2021-05-15 05:46:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:46:30] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:46:30] [INFO ] [Real]Absence check using state equation in 17970 ms returned (error "Failed to check-sat")
[2021-05-15 05:46:31] [INFO ] [Real]Absence check using 101 positive place invariants in 546 ms returned sat
[2021-05-15 05:46:32] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 927 ms returned sat
[2021-05-15 05:46:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:46:50] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:46:50] [INFO ] [Real]Absence check using state equation in 17940 ms returned unknown
[2021-05-15 05:46:51] [INFO ] [Real]Absence check using 101 positive place invariants in 479 ms returned sat
[2021-05-15 05:46:52] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 893 ms returned sat
[2021-05-15 05:46:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:47:10] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:47:10] [INFO ] [Real]Absence check using state equation in 17922 ms returned (error "Failed to check-sat")
[2021-05-15 05:47:11] [INFO ] [Real]Absence check using 101 positive place invariants in 469 ms returned sat
[2021-05-15 05:47:12] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 855 ms returned sat
[2021-05-15 05:47:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:47:30] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:47:30] [INFO ] [Real]Absence check using state equation in 18100 ms returned (error "Failed to check-sat")
[2021-05-15 05:47:32] [INFO ] [Real]Absence check using 101 positive place invariants in 473 ms returned sat
[2021-05-15 05:47:33] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1507 ms returned sat
[2021-05-15 05:47:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:47:50] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:47:50] [INFO ] [Real]Absence check using state equation in 17228 ms returned unknown
[2021-05-15 05:47:51] [INFO ] [Real]Absence check using 101 positive place invariants in 477 ms returned sat
[2021-05-15 05:47:52] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 941 ms returned sat
[2021-05-15 05:47:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:48:10] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:48:10] [INFO ] [Real]Absence check using state equation in 18016 ms returned (error "Failed to check-sat")
[2021-05-15 05:48:12] [INFO ] [Real]Absence check using 101 positive place invariants in 468 ms returned sat
[2021-05-15 05:48:13] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1011 ms returned sat
[2021-05-15 05:48:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:48:30] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:48:30] [INFO ] [Real]Absence check using state equation in 17777 ms returned unknown
[2021-05-15 05:48:32] [INFO ] [Real]Absence check using 101 positive place invariants in 465 ms returned sat
[2021-05-15 05:48:33] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1038 ms returned sat
[2021-05-15 05:48:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:48:50] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:48:50] [INFO ] [Real]Absence check using state equation in 17756 ms returned (error "Failed to check-sat")
[2021-05-15 05:48:52] [INFO ] [Real]Absence check using 101 positive place invariants in 467 ms returned sat
[2021-05-15 05:48:52] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 863 ms returned sat
[2021-05-15 05:48:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:49:10] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:49:10] [INFO ] [Real]Absence check using state equation in 17939 ms returned unknown
[2021-05-15 05:49:12] [INFO ] [Real]Absence check using 101 positive place invariants in 612 ms returned sat
[2021-05-15 05:49:13] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1010 ms returned sat
[2021-05-15 05:49:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:49:30] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:49:30] [INFO ] [Real]Absence check using state equation in 17805 ms returned unknown
[2021-05-15 05:49:31] [INFO ] [Real]Absence check using 101 positive place invariants in 465 ms returned sat
[2021-05-15 05:49:32] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1009 ms returned sat
[2021-05-15 05:49:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:49:50] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:49:50] [INFO ] [Real]Absence check using state equation in 17967 ms returned (error "Failed to check-sat")
[2021-05-15 05:49:52] [INFO ] [Real]Absence check using 101 positive place invariants in 486 ms returned sat
[2021-05-15 05:49:53] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1133 ms returned sat
[2021-05-15 05:49:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:50:10] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:50:10] [INFO ] [Real]Absence check using state equation in 17599 ms returned unknown
[2021-05-15 05:50:12] [INFO ] [Real]Absence check using 101 positive place invariants in 483 ms returned sat
[2021-05-15 05:50:12] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 888 ms returned sat
[2021-05-15 05:50:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:50:30] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:50:30] [INFO ] [Real]Absence check using state equation in 17931 ms returned (error "Failed to check-sat")
[2021-05-15 05:50:31] [INFO ] [Real]Absence check using 101 positive place invariants in 480 ms returned sat
[2021-05-15 05:50:32] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 929 ms returned sat
[2021-05-15 05:50:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:50:50] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:50:50] [INFO ] [Real]Absence check using state equation in 18026 ms returned (error "Failed to check-sat")
[2021-05-15 05:50:51] [INFO ] [Real]Absence check using 101 positive place invariants in 467 ms returned sat
[2021-05-15 05:50:53] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1083 ms returned sat
[2021-05-15 05:50:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:51:10] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:51:10] [INFO ] [Real]Absence check using state equation in 17879 ms returned (error "Failed to check-sat")
[2021-05-15 05:51:12] [INFO ] [Real]Absence check using 101 positive place invariants in 489 ms returned sat
[2021-05-15 05:51:13] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 910 ms returned sat
[2021-05-15 05:51:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:51:30] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:51:30] [INFO ] [Real]Absence check using state equation in 17903 ms returned unknown
[2021-05-15 05:51:32] [INFO ] [Real]Absence check using 101 positive place invariants in 463 ms returned sat
[2021-05-15 05:51:33] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1037 ms returned sat
[2021-05-15 05:51:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:51:50] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:51:50] [INFO ] [Real]Absence check using state equation in 17857 ms returned (error "Failed to check-sat")
[2021-05-15 05:51:52] [INFO ] [Real]Absence check using 101 positive place invariants in 469 ms returned sat
[2021-05-15 05:51:53] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1038 ms returned sat
[2021-05-15 05:51:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:52:10] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:52:10] [INFO ] [Real]Absence check using state equation in 17911 ms returned unknown
[2021-05-15 05:52:12] [INFO ] [Real]Absence check using 101 positive place invariants in 468 ms returned sat
[2021-05-15 05:52:12] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 916 ms returned sat
[2021-05-15 05:52:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:52:30] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:52:31] [INFO ] [Real]Absence check using state equation in 18041 ms returned (error "Failed to check-sat")
[2021-05-15 05:52:32] [INFO ] [Real]Absence check using 101 positive place invariants in 478 ms returned sat
[2021-05-15 05:52:33] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 844 ms returned sat
[2021-05-15 05:52:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:52:51] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:52:51] [INFO ] [Real]Absence check using state equation in 17922 ms returned (error "Failed to check-sat")
[2021-05-15 05:52:52] [INFO ] [Real]Absence check using 101 positive place invariants in 464 ms returned sat
[2021-05-15 05:52:53] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 917 ms returned sat
[2021-05-15 05:52:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:53:11] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:53:11] [INFO ] [Real]Absence check using state equation in 18037 ms returned unknown
[2021-05-15 05:53:12] [INFO ] [Real]Absence check using 101 positive place invariants in 495 ms returned sat
[2021-05-15 05:53:12] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 843 ms returned sat
[2021-05-15 05:53:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:53:31] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:53:31] [INFO ] [Real]Absence check using state equation in 18074 ms returned (error "Failed to check-sat")
[2021-05-15 05:53:32] [INFO ] [Real]Absence check using 101 positive place invariants in 478 ms returned sat
[2021-05-15 05:53:33] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 951 ms returned sat
[2021-05-15 05:53:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:53:51] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:53:51] [INFO ] [Real]Absence check using state equation in 17794 ms returned (error "Failed to check-sat")
[2021-05-15 05:53:52] [INFO ] [Real]Absence check using 101 positive place invariants in 519 ms returned sat
[2021-05-15 05:53:53] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 901 ms returned sat
[2021-05-15 05:53:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:54:11] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:54:11] [INFO ] [Real]Absence check using state equation in 17928 ms returned (error "Failed to check-sat")
[2021-05-15 05:54:12] [INFO ] [Real]Absence check using 101 positive place invariants in 517 ms returned sat
[2021-05-15 05:54:13] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 894 ms returned sat
[2021-05-15 05:54:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:54:31] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:54:31] [INFO ] [Real]Absence check using state equation in 17931 ms returned (error "Failed to check-sat")
[2021-05-15 05:54:32] [INFO ] [Real]Absence check using 101 positive place invariants in 459 ms returned sat
[2021-05-15 05:54:32] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 836 ms returned sat
[2021-05-15 05:54:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:54:51] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:54:51] [INFO ] [Real]Absence check using state equation in 18128 ms returned unknown
[2021-05-15 05:54:52] [INFO ] [Real]Absence check using 101 positive place invariants in 670 ms returned sat
[2021-05-15 05:54:53] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1240 ms returned sat
[2021-05-15 05:54:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:55:11] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:55:11] [INFO ] [Real]Absence check using state equation in 17307 ms returned (error "Failed to check-sat")
[2021-05-15 05:55:12] [INFO ] [Real]Absence check using 101 positive place invariants in 468 ms returned sat
[2021-05-15 05:55:13] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1030 ms returned sat
[2021-05-15 05:55:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:55:31] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:55:31] [INFO ] [Real]Absence check using state equation in 17793 ms returned (error "Failed to check-sat")
[2021-05-15 05:55:32] [INFO ] [Real]Absence check using 101 positive place invariants in 460 ms returned sat
[2021-05-15 05:55:33] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 937 ms returned sat
[2021-05-15 05:55:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:55:51] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:55:51] [INFO ] [Real]Absence check using state equation in 18010 ms returned (error "Failed to check-sat")
[2021-05-15 05:55:52] [INFO ] [Real]Absence check using 101 positive place invariants in 470 ms returned sat
[2021-05-15 05:55:53] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 860 ms returned sat
[2021-05-15 05:55:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:56:11] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:56:11] [INFO ] [Real]Absence check using state equation in 17925 ms returned unknown
[2021-05-15 05:56:12] [INFO ] [Real]Absence check using 101 positive place invariants in 456 ms returned sat
[2021-05-15 05:56:13] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 908 ms returned sat
[2021-05-15 05:56:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:56:31] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:56:31] [INFO ] [Real]Absence check using state equation in 18058 ms returned unknown
[2021-05-15 05:56:32] [INFO ] [Real]Absence check using 101 positive place invariants in 484 ms returned sat
[2021-05-15 05:56:33] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 857 ms returned sat
[2021-05-15 05:56:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:56:51] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:56:51] [INFO ] [Real]Absence check using state equation in 17916 ms returned (error "Failed to check-sat")
[2021-05-15 05:56:52] [INFO ] [Real]Absence check using 101 positive place invariants in 458 ms returned sat
[2021-05-15 05:56:53] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 839 ms returned sat
[2021-05-15 05:56:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:57:11] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:57:11] [INFO ] [Real]Absence check using state equation in 18114 ms returned (error "Failed to check-sat")
[2021-05-15 05:57:12] [INFO ] [Real]Absence check using 101 positive place invariants in 471 ms returned sat
[2021-05-15 05:57:13] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 874 ms returned sat
[2021-05-15 05:57:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:57:31] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:57:31] [INFO ] [Real]Absence check using state equation in 17808 ms returned (error "Failed to check-sat")
[2021-05-15 05:57:32] [INFO ] [Real]Absence check using 101 positive place invariants in 476 ms returned sat
[2021-05-15 05:57:33] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 935 ms returned sat
[2021-05-15 05:57:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:57:51] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:57:51] [INFO ] [Real]Absence check using state equation in 18009 ms returned unknown
[2021-05-15 05:57:52] [INFO ] [Real]Absence check using 101 positive place invariants in 463 ms returned sat
[2021-05-15 05:57:53] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 889 ms returned sat
[2021-05-15 05:57:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:58:11] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:58:11] [INFO ] [Real]Absence check using state equation in 17901 ms returned unknown
[2021-05-15 05:58:12] [INFO ] [Real]Absence check using 101 positive place invariants in 466 ms returned sat
[2021-05-15 05:58:13] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1207 ms returned sat
[2021-05-15 05:58:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:58:31] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:58:31] [INFO ] [Real]Absence check using state equation in 17616 ms returned unknown
[2021-05-15 05:58:32] [INFO ] [Real]Absence check using 101 positive place invariants in 470 ms returned sat
[2021-05-15 05:58:33] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 962 ms returned sat
[2021-05-15 05:58:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:58:51] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:58:51] [INFO ] [Real]Absence check using state equation in 17985 ms returned (error "Failed to check-sat")
[2021-05-15 05:58:52] [INFO ] [Real]Absence check using 101 positive place invariants in 465 ms returned sat
[2021-05-15 05:58:53] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 929 ms returned sat
[2021-05-15 05:58:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:59:11] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:59:11] [INFO ] [Real]Absence check using state equation in 17854 ms returned unknown
[2021-05-15 05:59:12] [INFO ] [Real]Absence check using 101 positive place invariants in 481 ms returned sat
[2021-05-15 05:59:13] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 897 ms returned sat
[2021-05-15 05:59:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:59:31] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:59:31] [INFO ] [Real]Absence check using state equation in 17996 ms returned (error "Failed to check-sat")
[2021-05-15 05:59:32] [INFO ] [Real]Absence check using 101 positive place invariants in 477 ms returned sat
[2021-05-15 05:59:33] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1158 ms returned sat
[2021-05-15 05:59:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 05:59:51] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 05:59:51] [INFO ] [Real]Absence check using state equation in 17739 ms returned unknown
[2021-05-15 05:59:52] [INFO ] [Real]Absence check using 101 positive place invariants in 476 ms returned sat
[2021-05-15 05:59:53] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1057 ms returned sat
[2021-05-15 05:59:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 06:00:11] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 06:00:11] [INFO ] [Real]Absence check using state equation in 17787 ms returned unknown
[2021-05-15 06:00:12] [INFO ] [Real]Absence check using 101 positive place invariants in 466 ms returned sat
[2021-05-15 06:00:13] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 879 ms returned sat
[2021-05-15 06:00:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 06:00:31] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 06:00:31] [INFO ] [Real]Absence check using state equation in 18071 ms returned (error "Failed to check-sat")
[2021-05-15 06:00:32] [INFO ] [Real]Absence check using 101 positive place invariants in 454 ms returned sat
[2021-05-15 06:00:33] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 841 ms returned sat
[2021-05-15 06:00:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 06:00:51] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 06:00:51] [INFO ] [Real]Absence check using state equation in 18117 ms returned unknown
[2021-05-15 06:00:52] [INFO ] [Real]Absence check using 101 positive place invariants in 474 ms returned sat
[2021-05-15 06:00:53] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 920 ms returned sat
[2021-05-15 06:00:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 06:01:11] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 06:01:11] [INFO ] [Real]Absence check using state equation in 17893 ms returned unknown
[2021-05-15 06:01:12] [INFO ] [Real]Absence check using 101 positive place invariants in 485 ms returned sat
[2021-05-15 06:01:13] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1178 ms returned sat
[2021-05-15 06:01:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 06:01:31] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 06:01:31] [INFO ] [Real]Absence check using state equation in 17626 ms returned (error "Failed to check-sat")
[2021-05-15 06:01:32] [INFO ] [Real]Absence check using 101 positive place invariants in 480 ms returned sat
[2021-05-15 06:01:33] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 887 ms returned sat
[2021-05-15 06:01:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 06:01:51] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 06:01:51] [INFO ] [Real]Absence check using state equation in 18030 ms returned unknown
[2021-05-15 06:01:52] [INFO ] [Real]Absence check using 101 positive place invariants in 471 ms returned sat
[2021-05-15 06:01:53] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1017 ms returned sat
[2021-05-15 06:01:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 06:02:11] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 06:02:11] [INFO ] [Real]Absence check using state equation in 17777 ms returned (error "Failed to check-sat")
[2021-05-15 06:02:12] [INFO ] [Real]Absence check using 101 positive place invariants in 445 ms returned sat
[2021-05-15 06:02:13] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 812 ms returned sat
[2021-05-15 06:02:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 06:02:31] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 06:02:31] [INFO ] [Real]Absence check using state equation in 18151 ms returned (error "Failed to check-sat")
[2021-05-15 06:02:32] [INFO ] [Real]Absence check using 101 positive place invariants in 526 ms returned sat
[2021-05-15 06:02:33] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 987 ms returned sat
[2021-05-15 06:02:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 06:02:51] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 06:02:51] [INFO ] [Real]Absence check using state equation in 17883 ms returned unknown
[2021-05-15 06:02:52] [INFO ] [Real]Absence check using 101 positive place invariants in 486 ms returned sat
[2021-05-15 06:02:53] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 942 ms returned sat
[2021-05-15 06:02:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 06:03:11] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 06:03:11] [INFO ] [Real]Absence check using state equation in 17998 ms returned (error "Failed to check-sat")
[2021-05-15 06:03:12] [INFO ] [Real]Absence check using 101 positive place invariants in 498 ms returned sat
[2021-05-15 06:03:13] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1241 ms returned sat
[2021-05-15 06:03:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 06:03:31] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 06:03:31] [INFO ] [Real]Absence check using state equation in 17651 ms returned unknown
[2021-05-15 06:03:32] [INFO ] [Real]Absence check using 101 positive place invariants in 505 ms returned sat
[2021-05-15 06:03:33] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 994 ms returned sat
[2021-05-15 06:03:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 06:03:51] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 06:03:51] [INFO ] [Real]Absence check using state equation in 17897 ms returned (error "Failed to check-sat")
[2021-05-15 06:03:52] [INFO ] [Real]Absence check using 101 positive place invariants in 450 ms returned sat
[2021-05-15 06:03:53] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1018 ms returned sat
[2021-05-15 06:03:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 06:04:11] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 06:04:11] [INFO ] [Real]Absence check using state equation in 17969 ms returned (error "Failed to check-sat")
[2021-05-15 06:04:12] [INFO ] [Real]Absence check using 101 positive place invariants in 536 ms returned sat
[2021-05-15 06:04:13] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 995 ms returned sat
[2021-05-15 06:04:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 06:04:31] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 06:04:31] [INFO ] [Real]Absence check using state equation in 17704 ms returned (error "Failed to check-sat")
[2021-05-15 06:04:32] [INFO ] [Real]Absence check using 101 positive place invariants in 529 ms returned sat
[2021-05-15 06:04:33] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 955 ms returned sat
[2021-05-15 06:04:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 06:04:51] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 06:04:51] [INFO ] [Real]Absence check using state equation in 17763 ms returned (error "Failed to check-sat")
[2021-05-15 06:04:52] [INFO ] [Real]Absence check using 101 positive place invariants in 597 ms returned sat
[2021-05-15 06:04:53] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1068 ms returned sat
[2021-05-15 06:04:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 06:05:11] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 06:05:11] [INFO ] [Real]Absence check using state equation in 17665 ms returned unknown
[2021-05-15 06:05:12] [INFO ] [Real]Absence check using 101 positive place invariants in 450 ms returned sat
[2021-05-15 06:05:13] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 937 ms returned sat
[2021-05-15 06:05:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 06:05:31] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 06:05:31] [INFO ] [Real]Absence check using state equation in 18048 ms returned (error "Failed to check-sat")
[2021-05-15 06:05:32] [INFO ] [Real]Absence check using 101 positive place invariants in 477 ms returned sat
[2021-05-15 06:05:33] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 937 ms returned sat
[2021-05-15 06:05:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 06:05:51] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 06:05:51] [INFO ] [Real]Absence check using state equation in 18002 ms returned (error "Failed to check-sat")
[2021-05-15 06:05:52] [INFO ] [Real]Absence check using 101 positive place invariants in 504 ms returned sat
[2021-05-15 06:05:53] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 895 ms returned sat
[2021-05-15 06:05:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 06:06:11] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 06:06:11] [INFO ] [Real]Absence check using state equation in 17839 ms returned (error "Failed to check-sat")
[2021-05-15 06:06:12] [INFO ] [Real]Absence check using 101 positive place invariants in 491 ms returned sat
[2021-05-15 06:06:13] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 832 ms returned sat
[2021-05-15 06:06:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 06:06:31] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 06:06:31] [INFO ] [Real]Absence check using state equation in 17933 ms returned (error "Failed to check-sat")
[2021-05-15 06:06:32] [INFO ] [Real]Absence check using 101 positive place invariants in 497 ms returned sat
[2021-05-15 06:06:33] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 958 ms returned sat
[2021-05-15 06:06:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 06:06:51] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 06:06:51] [INFO ] [Real]Absence check using state equation in 17798 ms returned unknown
[2021-05-15 06:06:52] [INFO ] [Real]Absence check using 101 positive place invariants in 515 ms returned sat
[2021-05-15 06:06:53] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 957 ms returned sat
[2021-05-15 06:06:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 06:07:11] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 06:07:11] [INFO ] [Real]Absence check using state equation in 17946 ms returned (error "Failed to check-sat")
[2021-05-15 06:07:12] [INFO ] [Real]Absence check using 101 positive place invariants in 476 ms returned sat
[2021-05-15 06:07:13] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 1027 ms returned sat
[2021-05-15 06:07:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 06:07:31] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 06:07:31] [INFO ] [Real]Absence check using state equation in 17909 ms returned unknown
[2021-05-15 06:07:32] [INFO ] [Real]Absence check using 101 positive place invariants in 487 ms returned sat
[2021-05-15 06:07:33] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 938 ms returned sat
[2021-05-15 06:07:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 06:07:51] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 06:07:51] [INFO ] [Real]Absence check using state equation in 17988 ms returned (error "Failed to check-sat")
[2021-05-15 06:07:52] [INFO ] [Real]Absence check using 101 positive place invariants in 489 ms returned sat
[2021-05-15 06:07:53] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 965 ms returned sat
[2021-05-15 06:07:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-15 06:08:11] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-15 06:08:11] [INFO ] [Real]Absence check using state equation in 17943 ms returned unknown
[2021-05-15 06:08:12] [INFO ] [Real]Absence check using 101 positive place invariants in 459 ms returned sat
[2021-05-15 06:08:13] [INFO ] [Real]Absence check using 101 positive and 104 generalized place invariants in 878 ms returned sat
[2021-05-15 06:08:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16427332 kB
MemFree: 12160108 kB
After kill :
MemTotal: 16427332 kB
MemFree: 16145108 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="SafeBus-COL-50"
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 SafeBus-COL-50, 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 r208-smll-162089471100126"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SafeBus-COL-50.tgz
mv SafeBus-COL-50 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 ;