About the Execution of ITS-Tools for AirplaneLD-COL-4000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15757.140 | 3600000.00 | 3572499.00 | 7825.70 | [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/mcc2020-input.r006-smll-158897515800236.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is AirplaneLD-COL-4000, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r006-smll-158897515800236
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 800K
-rw-r--r-- 1 mcc users 3.9K Mar 24 11:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 24 11:30 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 24 10:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 24 10:26 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.8K Apr 8 14:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 29 06:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 29 06:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Mar 24 08:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 24 08:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 24 07:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 24 07:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 24 08:45 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 24 08:44 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_pt
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 620K Mar 24 05:37 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 AirplaneLD-COL-4000-CTLFireability-00
FORMULA_NAME AirplaneLD-COL-4000-CTLFireability-01
FORMULA_NAME AirplaneLD-COL-4000-CTLFireability-02
FORMULA_NAME AirplaneLD-COL-4000-CTLFireability-03
FORMULA_NAME AirplaneLD-COL-4000-CTLFireability-04
FORMULA_NAME AirplaneLD-COL-4000-CTLFireability-05
FORMULA_NAME AirplaneLD-COL-4000-CTLFireability-06
FORMULA_NAME AirplaneLD-COL-4000-CTLFireability-07
FORMULA_NAME AirplaneLD-COL-4000-CTLFireability-08
FORMULA_NAME AirplaneLD-COL-4000-CTLFireability-09
FORMULA_NAME AirplaneLD-COL-4000-CTLFireability-10
FORMULA_NAME AirplaneLD-COL-4000-CTLFireability-11
FORMULA_NAME AirplaneLD-COL-4000-CTLFireability-12
FORMULA_NAME AirplaneLD-COL-4000-CTLFireability-13
FORMULA_NAME AirplaneLD-COL-4000-CTLFireability-14
FORMULA_NAME AirplaneLD-COL-4000-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589449501003
[2020-05-14 09:45:03] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -greatspnpath, /home/mcc/BenchKit//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2020-05-14 09:45:03] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-05-14 09:45:03] [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.
[2020-05-14 09:45:05] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1537 ms
[2020-05-14 09:45:05] [INFO ] sort/places :
Speed->SpeedPossibleVal,Speed_Left_Wheel,Speed_Right_Wheel,
Signal->Plane_On_Ground_Signal_no,
Dot->stp5,stp4,stp3,stp2,stp1,P5,P4,P3,P2,P6,P1,
Weight->WeightPossibleVal,Weight_Right_Wheel,Weight_Left_Wheel,
Altitude->AltitudePossibleVal,TheAltitude,
[2020-05-14 09:45:05] [INFO ] Detected 3 constant HL places corresponding to 12002 PT places.
[2020-05-14 09:45:05] [INFO ] Imported 20 HL places and 15 HL transitions for a total of 28019 PT places and 48012.0 transition bindings in 66 ms.
[2020-05-14 09:45:05] [INFO ] Computed order based on color domains.
[2020-05-14 09:45:05] [INFO ] Unfolded HLPN to a Petri net with 28019 places and 32008 transitions in 213 ms.
[2020-05-14 09:45:05] [INFO ] Unfolded HLPN properties in 19 ms.
[2020-05-14 09:45:05] [INFO ] Reduced 7999 identical enabling conditions.
[2020-05-14 09:45:05] [INFO ] Reduced 1 identical enabling conditions.
[2020-05-14 09:45:05] [INFO ] Reduced 1 identical enabling conditions.
[2020-05-14 09:45:05] [INFO ] Reduced 3999 identical enabling conditions.
[2020-05-14 09:45:05] [INFO ] Reduced 1 identical enabling conditions.
[2020-05-14 09:45:05] [INFO ] Reduced 7999 identical enabling conditions.
[2020-05-14 09:45:05] [INFO ] Reduced 1 identical enabling conditions.
[2020-05-14 09:45:05] [INFO ] Reduced 7999 identical enabling conditions.
[2020-05-14 09:45:05] [INFO ] Reduced 7999 identical enabling conditions.
[2020-05-14 09:45:05] [INFO ] Reduced 1 identical enabling conditions.
[2020-05-14 09:45:05] [INFO ] Reduced 1 identical enabling conditions.
[2020-05-14 09:45:05] [INFO ] Reduced 3999 identical enabling conditions.
[2020-05-14 09:45:05] [INFO ] Reduced 1 identical enabling conditions.
[2020-05-14 09:45:05] [INFO ] Reduced 1 identical enabling conditions.
[2020-05-14 09:45:05] [INFO ] Reduced 3999 identical enabling conditions.
Reduce places removed 12002 places and 0 transitions.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 3306 ms.
Interrupted random walk after 38285 steps, including 4813 resets, run timeout after 30001 ms. (steps per millisecond=1 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 0, 0, 1, 0]
// Phase 1: matrix 32008 rows 16017 cols
[2020-05-14 09:46:05] [INFO ] Computed 3 place invariants in 26592 ms
[2020-05-14 09:46:09] [INFO ] [Real]Absence check using 2 positive place invariants in 768 ms returned unsat
[2020-05-14 09:46:12] [INFO ] [Real]Absence check using 2 positive place invariants in 748 ms returned unsat
[2020-05-14 09:46:16] [INFO ] [Real]Absence check using 2 positive place invariants in 814 ms returned sat
[2020-05-14 09:46:16] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 622 ms returned sat
[2020-05-14 09:46:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:46:32] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:46:32] [INFO ] [Real]Absence check using state equation in 15969 ms returned (error "Failed to check-sat")
[2020-05-14 09:46:36] [INFO ] [Real]Absence check using 2 positive place invariants in 886 ms returned sat
[2020-05-14 09:46:36] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 553 ms returned sat
[2020-05-14 09:46:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:46:52] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:46:52] [INFO ] [Real]Absence check using state equation in 16183 ms returned (error "Failed to check-sat")
[2020-05-14 09:46:55] [INFO ] [Real]Absence check using 2 positive place invariants in 580 ms returned sat
[2020-05-14 09:46:56] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 551 ms returned sat
[2020-05-14 09:46:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:47:12] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:47:12] [INFO ] [Real]Absence check using state equation in 16458 ms returned unknown
[2020-05-14 09:47:16] [INFO ] [Real]Absence check using 2 positive place invariants in 599 ms returned sat
[2020-05-14 09:47:16] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 571 ms returned sat
[2020-05-14 09:47:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:47:32] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:47:32] [INFO ] [Real]Absence check using state equation in 15959 ms returned unknown
[2020-05-14 09:47:36] [INFO ] [Real]Absence check using 2 positive place invariants in 581 ms returned sat
[2020-05-14 09:47:37] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 850 ms returned sat
[2020-05-14 09:47:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:47:52] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:47:52] [INFO ] [Real]Absence check using state equation in 15813 ms returned (error "Failed to check-sat")
[2020-05-14 09:47:56] [INFO ] [Real]Absence check using 2 positive place invariants in 890 ms returned sat
[2020-05-14 09:47:57] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 807 ms returned sat
[2020-05-14 09:47:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:48:12] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:48:12] [INFO ] [Real]Absence check using state equation in 15510 ms returned unknown
[2020-05-14 09:48:15] [INFO ] [Real]Absence check using 2 positive place invariants in 603 ms returned sat
[2020-05-14 09:48:16] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 800 ms returned sat
[2020-05-14 09:48:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:48:32] [INFO ] [Real]Absence check using state equation in 16254 ms returned (error "Solver has unexpectedly terminated")
[2020-05-14 09:48:36] [INFO ] [Real]Absence check using 2 positive place invariants in 605 ms returned sat
[2020-05-14 09:48:37] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 752 ms returned sat
[2020-05-14 09:48:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:48:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:48:53] [INFO ] [Real]Absence check using state equation in 15682 ms returned unknown
[2020-05-14 09:48:56] [INFO ] [Real]Absence check using 2 positive place invariants in 844 ms returned sat
[2020-05-14 09:48:57] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 663 ms returned sat
[2020-05-14 09:48:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:49:13] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:49:13] [INFO ] [Real]Absence check using state equation in 15591 ms returned unknown
[2020-05-14 09:49:16] [INFO ] [Real]Absence check using 2 positive place invariants in 799 ms returned sat
[2020-05-14 09:49:16] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 557 ms returned sat
[2020-05-14 09:49:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:49:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:49:33] [INFO ] [Real]Absence check using state equation in 16122 ms returned (error "Failed to check-sat")
[2020-05-14 09:49:35] [INFO ] [Real]Absence check using 2 positive place invariants in 605 ms returned sat
[2020-05-14 09:49:36] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 560 ms returned sat
[2020-05-14 09:49:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:49:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:49:53] [INFO ] [Real]Absence check using state equation in 16540 ms returned (error "Failed to check-sat")
[2020-05-14 09:49:56] [INFO ] [Real]Absence check using 2 positive place invariants in 885 ms returned sat
[2020-05-14 09:49:57] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 571 ms returned sat
[2020-05-14 09:49:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:50:13] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:50:13] [INFO ] [Real]Absence check using state equation in 15917 ms returned unknown
[2020-05-14 09:50:16] [INFO ] [Real]Absence check using 2 positive place invariants in 817 ms returned sat
[2020-05-14 09:50:17] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 560 ms returned sat
[2020-05-14 09:50:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:50:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:50:33] [INFO ] [Real]Absence check using state equation in 15719 ms returned unknown
[2020-05-14 09:50:35] [INFO ] [Real]Absence check using 2 positive place invariants in 588 ms returned sat
[2020-05-14 09:50:36] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 564 ms returned sat
[2020-05-14 09:50:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:50:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:50:53] [INFO ] [Real]Absence check using state equation in 16794 ms returned (error "Failed to check-sat")
[2020-05-14 09:50:56] [INFO ] [Real]Absence check using 2 positive place invariants in 783 ms returned sat
[2020-05-14 09:50:57] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 544 ms returned sat
[2020-05-14 09:50:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:51:13] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:51:13] [INFO ] [Real]Absence check using state equation in 15719 ms returned (error "Failed to check-sat")
[2020-05-14 09:51:15] [INFO ] [Real]Absence check using 2 positive place invariants in 598 ms returned sat
[2020-05-14 09:51:16] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 572 ms returned sat
[2020-05-14 09:51:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:51:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:51:33] [INFO ] [Real]Absence check using state equation in 16690 ms returned (error "Failed to check-sat")
[2020-05-14 09:51:36] [INFO ] [Real]Absence check using 2 positive place invariants in 786 ms returned sat
[2020-05-14 09:51:36] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 572 ms returned sat
[2020-05-14 09:51:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:51:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:51:53] [INFO ] [Real]Absence check using state equation in 16202 ms returned unknown
[2020-05-14 09:51:56] [INFO ] [Real]Absence check using 2 positive place invariants in 595 ms returned sat
[2020-05-14 09:51:56] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 565 ms returned sat
[2020-05-14 09:51:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:52:13] [INFO ] [Real]Absence check using state equation in 16314 ms returned (error "Solver has unexpectedly terminated")
[2020-05-14 09:52:16] [INFO ] [Real]Absence check using 2 positive place invariants in 592 ms returned sat
[2020-05-14 09:52:16] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 567 ms returned sat
[2020-05-14 09:52:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:52:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:52:33] [INFO ] [Real]Absence check using state equation in 16256 ms returned (error "Failed to check-sat")
[2020-05-14 09:52:36] [INFO ] [Real]Absence check using 2 positive place invariants in 601 ms returned sat
[2020-05-14 09:52:36] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 567 ms returned sat
[2020-05-14 09:52:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:52:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:52:53] [INFO ] [Real]Absence check using state equation in 16180 ms returned unknown
[2020-05-14 09:52:56] [INFO ] [Real]Absence check using 2 positive place invariants in 810 ms returned sat
[2020-05-14 09:52:57] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 558 ms returned sat
[2020-05-14 09:52:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:53:13] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:53:13] [INFO ] [Real]Absence check using state equation in 15812 ms returned unknown
[2020-05-14 09:53:16] [INFO ] [Real]Absence check using 2 positive place invariants in 596 ms returned sat
[2020-05-14 09:53:16] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 841 ms returned sat
[2020-05-14 09:53:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:53:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:53:33] [INFO ] [Real]Absence check using state equation in 16231 ms returned (error "Failed to check-sat")
[2020-05-14 09:53:36] [INFO ] [Real]Absence check using 2 positive place invariants in 591 ms returned sat
[2020-05-14 09:53:36] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 559 ms returned sat
[2020-05-14 09:53:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:53:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:53:53] [INFO ] [Real]Absence check using state equation in 16448 ms returned (error "Failed to check-sat")
[2020-05-14 09:53:56] [INFO ] [Real]Absence check using 2 positive place invariants in 891 ms returned sat
[2020-05-14 09:53:57] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 589 ms returned sat
[2020-05-14 09:53:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:54:13] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:54:13] [INFO ] [Real]Absence check using state equation in 16134 ms returned (error "Failed to check-sat")
[2020-05-14 09:54:16] [INFO ] [Real]Absence check using 2 positive place invariants in 774 ms returned sat
[2020-05-14 09:54:16] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 562 ms returned sat
[2020-05-14 09:54:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:54:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:54:33] [INFO ] [Real]Absence check using state equation in 16313 ms returned (error "Failed to check-sat")
[2020-05-14 09:54:36] [INFO ] [Real]Absence check using 2 positive place invariants in 814 ms returned sat
[2020-05-14 09:54:37] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 562 ms returned sat
[2020-05-14 09:54:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:54:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:54:53] [INFO ] [Real]Absence check using state equation in 15894 ms returned unknown
[2020-05-14 09:54:56] [INFO ] [Real]Absence check using 2 positive place invariants in 596 ms returned sat
[2020-05-14 09:54:57] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 773 ms returned sat
[2020-05-14 09:54:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:55:13] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:55:13] [INFO ] [Real]Absence check using state equation in 16002 ms returned unknown
[2020-05-14 09:55:16] [INFO ] [Real]Absence check using 2 positive place invariants in 848 ms returned sat
[2020-05-14 09:55:17] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 598 ms returned sat
[2020-05-14 09:55:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:55:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:55:33] [INFO ] [Real]Absence check using state equation in 15945 ms returned unknown
[2020-05-14 09:55:36] [INFO ] [Real]Absence check using 2 positive place invariants in 775 ms returned sat
[2020-05-14 09:55:37] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 724 ms returned sat
[2020-05-14 09:55:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:55:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:55:53] [INFO ] [Real]Absence check using state equation in 16195 ms returned unknown
[2020-05-14 09:55:56] [INFO ] [Real]Absence check using 2 positive place invariants in 884 ms returned sat
[2020-05-14 09:55:57] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 568 ms returned sat
[2020-05-14 09:55:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:56:13] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:56:13] [INFO ] [Real]Absence check using state equation in 16162 ms returned (error "Failed to check-sat")
[2020-05-14 09:56:16] [INFO ] [Real]Absence check using 2 positive place invariants in 582 ms returned sat
[2020-05-14 09:56:16] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 553 ms returned sat
[2020-05-14 09:56:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:56:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:56:33] [INFO ] [Real]Absence check using state equation in 16345 ms returned (error "Failed to check-sat")
[2020-05-14 09:56:36] [INFO ] [Real]Absence check using 2 positive place invariants in 600 ms returned sat
[2020-05-14 09:56:36] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 572 ms returned sat
[2020-05-14 09:56:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:56:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:56:53] [INFO ] [Real]Absence check using state equation in 16628 ms returned (error "Failed to check-sat")
[2020-05-14 09:56:56] [INFO ] [Real]Absence check using 2 positive place invariants in 824 ms returned sat
[2020-05-14 09:56:57] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 560 ms returned sat
[2020-05-14 09:56:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:57:13] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:57:13] [INFO ] [Real]Absence check using state equation in 16009 ms returned (error "Failed to check-sat")
[2020-05-14 09:57:16] [INFO ] [Real]Absence check using 2 positive place invariants in 880 ms returned sat
[2020-05-14 09:57:17] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 558 ms returned sat
[2020-05-14 09:57:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:57:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:57:33] [INFO ] [Real]Absence check using state equation in 16141 ms returned unknown
[2020-05-14 09:57:37] [INFO ] [Real]Absence check using 2 positive place invariants in 859 ms returned sat
[2020-05-14 09:57:37] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 557 ms returned sat
[2020-05-14 09:57:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:57:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:57:53] [INFO ] [Real]Absence check using state equation in 15612 ms returned (error "Failed to check-sat")
[2020-05-14 09:57:56] [INFO ] [Real]Absence check using 2 positive place invariants in 587 ms returned sat
[2020-05-14 09:57:57] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 559 ms returned sat
[2020-05-14 09:57:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:58:13] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:58:13] [INFO ] [Real]Absence check using state equation in 16092 ms returned (error "Failed to check-sat")
[2020-05-14 09:58:16] [INFO ] [Real]Absence check using 2 positive place invariants in 617 ms returned sat
[2020-05-14 09:58:17] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 793 ms returned sat
[2020-05-14 09:58:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:58:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:58:33] [INFO ] [Real]Absence check using state equation in 16164 ms returned (error "Failed to check-sat")
[2020-05-14 09:58:36] [INFO ] [Real]Absence check using 2 positive place invariants in 772 ms returned sat
[2020-05-14 09:58:37] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 558 ms returned sat
[2020-05-14 09:58:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:58:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:58:53] [INFO ] [Real]Absence check using state equation in 15996 ms returned (error "Failed to check-sat")
[2020-05-14 09:58:57] [INFO ] [Real]Absence check using 2 positive place invariants in 864 ms returned sat
[2020-05-14 09:58:57] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 553 ms returned sat
[2020-05-14 09:58:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:59:13] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:59:13] [INFO ] [Real]Absence check using state equation in 15678 ms returned unknown
[2020-05-14 09:59:16] [INFO ] [Real]Absence check using 2 positive place invariants in 589 ms returned sat
[2020-05-14 09:59:17] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 846 ms returned sat
[2020-05-14 09:59:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:59:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:59:33] [INFO ] [Real]Absence check using state equation in 15980 ms returned (error "Failed to check-sat")
[2020-05-14 09:59:36] [INFO ] [Real]Absence check using 2 positive place invariants in 590 ms returned sat
[2020-05-14 09:59:36] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 559 ms returned sat
[2020-05-14 09:59:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 09:59:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 09:59:53] [INFO ] [Real]Absence check using state equation in 16697 ms returned (error "Failed to check-sat")
[2020-05-14 09:59:56] [INFO ] [Real]Absence check using 2 positive place invariants in 596 ms returned sat
[2020-05-14 09:59:57] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 567 ms returned sat
[2020-05-14 09:59:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:00:13] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:00:13] [INFO ] [Real]Absence check using state equation in 16081 ms returned unknown
[2020-05-14 10:00:17] [INFO ] [Real]Absence check using 2 positive place invariants in 820 ms returned sat
[2020-05-14 10:00:17] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 564 ms returned sat
[2020-05-14 10:00:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:00:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:00:33] [INFO ] [Real]Absence check using state equation in 15624 ms returned unknown
[2020-05-14 10:00:37] [INFO ] [Real]Absence check using 2 positive place invariants in 605 ms returned sat
[2020-05-14 10:00:38] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 872 ms returned sat
[2020-05-14 10:00:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:00:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:00:53] [INFO ] [Real]Absence check using state equation in 15470 ms returned unknown
[2020-05-14 10:00:56] [INFO ] [Real]Absence check using 2 positive place invariants in 592 ms returned sat
[2020-05-14 10:00:57] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 848 ms returned sat
[2020-05-14 10:00:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:01:13] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:01:13] [INFO ] [Real]Absence check using state equation in 15852 ms returned unknown
[2020-05-14 10:01:16] [INFO ] [Real]Absence check using 2 positive place invariants in 786 ms returned sat
[2020-05-14 10:01:17] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 608 ms returned sat
[2020-05-14 10:01:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:01:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:01:33] [INFO ] [Real]Absence check using state equation in 16079 ms returned unknown
[2020-05-14 10:01:37] [INFO ] [Real]Absence check using 2 positive place invariants in 871 ms returned sat
[2020-05-14 10:01:37] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 551 ms returned sat
[2020-05-14 10:01:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:01:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:01:53] [INFO ] [Real]Absence check using state equation in 15778 ms returned unknown
[2020-05-14 10:01:56] [INFO ] [Real]Absence check using 2 positive place invariants in 817 ms returned sat
[2020-05-14 10:01:57] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 563 ms returned sat
[2020-05-14 10:01:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:02:13] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:02:13] [INFO ] [Real]Absence check using state equation in 16170 ms returned unknown
[2020-05-14 10:02:17] [INFO ] [Real]Absence check using 2 positive place invariants in 890 ms returned sat
[2020-05-14 10:02:17] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 568 ms returned sat
[2020-05-14 10:02:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:02:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:02:33] [INFO ] [Real]Absence check using state equation in 15816 ms returned (error "Failed to check-sat")
[2020-05-14 10:02:37] [INFO ] [Real]Absence check using 2 positive place invariants in 724 ms returned sat
[2020-05-14 10:02:37] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 727 ms returned sat
[2020-05-14 10:02:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:02:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:02:53] [INFO ] [Real]Absence check using state equation in 15697 ms returned (error "Failed to check-sat")
[2020-05-14 10:02:57] [INFO ] [Real]Absence check using 2 positive place invariants in 595 ms returned sat
[2020-05-14 10:02:57] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 565 ms returned sat
[2020-05-14 10:02:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:03:13] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:03:13] [INFO ] [Real]Absence check using state equation in 15965 ms returned (error "Failed to check-sat")
[2020-05-14 10:03:17] [INFO ] [Real]Absence check using 2 positive place invariants in 889 ms returned sat
[2020-05-14 10:03:17] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 555 ms returned sat
[2020-05-14 10:03:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:03:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:03:33] [INFO ] [Real]Absence check using state equation in 15995 ms returned unknown
[2020-05-14 10:03:37] [INFO ] [Real]Absence check using 2 positive place invariants in 832 ms returned sat
[2020-05-14 10:03:37] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 679 ms returned sat
[2020-05-14 10:03:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:03:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:03:53] [INFO ] [Real]Absence check using state equation in 15676 ms returned unknown
[2020-05-14 10:03:56] [INFO ] [Real]Absence check using 2 positive place invariants in 599 ms returned sat
[2020-05-14 10:03:57] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 562 ms returned sat
[2020-05-14 10:03:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:04:13] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:04:13] [INFO ] [Real]Absence check using state equation in 16317 ms returned (error "Failed to check-sat")
[2020-05-14 10:04:16] [INFO ] [Real]Absence check using 2 positive place invariants in 594 ms returned sat
[2020-05-14 10:04:17] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 806 ms returned sat
[2020-05-14 10:04:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:04:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:04:33] [INFO ] [Real]Absence check using state equation in 15911 ms returned unknown
[2020-05-14 10:04:36] [INFO ] [Real]Absence check using 2 positive place invariants in 610 ms returned sat
[2020-05-14 10:04:36] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 576 ms returned sat
[2020-05-14 10:04:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:04:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:04:53] [INFO ] [Real]Absence check using state equation in 16630 ms returned (error "Failed to check-sat")
[2020-05-14 10:04:57] [INFO ] [Real]Absence check using 2 positive place invariants in 852 ms returned sat
[2020-05-14 10:04:57] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 563 ms returned sat
[2020-05-14 10:04:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:05:13] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:05:13] [INFO ] [Real]Absence check using state equation in 15863 ms returned (error "Failed to check-sat")
[2020-05-14 10:05:17] [INFO ] [Real]Absence check using 2 positive place invariants in 806 ms returned sat
[2020-05-14 10:05:17] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 546 ms returned sat
[2020-05-14 10:05:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:05:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:05:33] [INFO ] [Real]Absence check using state equation in 15860 ms returned unknown
[2020-05-14 10:05:37] [INFO ] [Real]Absence check using 2 positive place invariants in 890 ms returned sat
[2020-05-14 10:05:38] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 560 ms returned sat
[2020-05-14 10:05:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:05:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:05:53] [INFO ] [Real]Absence check using state equation in 15612 ms returned (error "Failed to check-sat")
[2020-05-14 10:05:57] [INFO ] [Real]Absence check using 2 positive place invariants in 809 ms returned sat
[2020-05-14 10:05:57] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 575 ms returned sat
[2020-05-14 10:05:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:06:13] [INFO ] [Real]Absence check using state equation in 15816 ms returned (error "Solver has unexpectedly terminated")
[2020-05-14 10:06:17] [INFO ] [Real]Absence check using 2 positive place invariants in 584 ms returned sat
[2020-05-14 10:06:18] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 875 ms returned sat
[2020-05-14 10:06:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:06:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:06:33] [INFO ] [Real]Absence check using state equation in 15670 ms returned (error "Failed to check-sat")
[2020-05-14 10:06:36] [INFO ] [Real]Absence check using 2 positive place invariants in 836 ms returned sat
[2020-05-14 10:06:37] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 579 ms returned sat
[2020-05-14 10:06:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:06:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:06:53] [INFO ] [Real]Absence check using state equation in 16393 ms returned (error "Failed to check-sat")
[2020-05-14 10:06:56] [INFO ] [Real]Absence check using 2 positive place invariants in 615 ms returned sat
[2020-05-14 10:06:57] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 570 ms returned sat
[2020-05-14 10:06:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:07:13] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:07:13] [INFO ] [Real]Absence check using state equation in 16651 ms returned unknown
[2020-05-14 10:07:16] [INFO ] [Real]Absence check using 2 positive place invariants in 855 ms returned sat
[2020-05-14 10:07:17] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 547 ms returned sat
[2020-05-14 10:07:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:07:33] [INFO ] [Real]Absence check using state equation in 16494 ms returned (error "Solver has unexpectedly terminated")
[2020-05-14 10:07:36] [INFO ] [Real]Absence check using 2 positive place invariants in 603 ms returned sat
[2020-05-14 10:07:36] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 566 ms returned sat
[2020-05-14 10:07:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:07:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:07:53] [INFO ] [Real]Absence check using state equation in 16750 ms returned (error "Failed to check-sat")
[2020-05-14 10:07:57] [INFO ] [Real]Absence check using 2 positive place invariants in 785 ms returned sat
[2020-05-14 10:07:58] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 710 ms returned sat
[2020-05-14 10:07:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:08:13] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:08:13] [INFO ] [Real]Absence check using state equation in 15719 ms returned unknown
[2020-05-14 10:08:17] [INFO ] [Real]Absence check using 2 positive place invariants in 596 ms returned sat
[2020-05-14 10:08:17] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 567 ms returned sat
[2020-05-14 10:08:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:08:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:08:33] [INFO ] [Real]Absence check using state equation in 15885 ms returned (error "Failed to check-sat")
[2020-05-14 10:08:36] [INFO ] [Real]Absence check using 2 positive place invariants in 612 ms returned sat
[2020-05-14 10:08:37] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 568 ms returned sat
[2020-05-14 10:08:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:08:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:08:53] [INFO ] [Real]Absence check using state equation in 16448 ms returned unknown
[2020-05-14 10:08:57] [INFO ] [Real]Absence check using 2 positive place invariants in 598 ms returned sat
[2020-05-14 10:08:57] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 585 ms returned sat
[2020-05-14 10:08:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:09:13] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:09:13] [INFO ] [Real]Absence check using state equation in 16094 ms returned (error "Failed to check-sat")
[2020-05-14 10:09:16] [INFO ] [Real]Absence check using 2 positive place invariants in 650 ms returned sat
[2020-05-14 10:09:17] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 781 ms returned sat
[2020-05-14 10:09:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:09:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:09:33] [INFO ] [Real]Absence check using state equation in 16573 ms returned (error "Failed to check-sat")
[2020-05-14 10:09:37] [INFO ] [Real]Absence check using 2 positive place invariants in 891 ms returned sat
[2020-05-14 10:09:38] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 580 ms returned sat
[2020-05-14 10:09:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:09:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:09:53] [INFO ] [Real]Absence check using state equation in 15718 ms returned unknown
[2020-05-14 10:09:56] [INFO ] [Real]Absence check using 2 positive place invariants in 609 ms returned sat
[2020-05-14 10:09:57] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 865 ms returned sat
[2020-05-14 10:09:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:10:13] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:10:13] [INFO ] [Real]Absence check using state equation in 16247 ms returned unknown
[2020-05-14 10:10:17] [INFO ] [Real]Absence check using 2 positive place invariants in 819 ms returned sat
[2020-05-14 10:10:18] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 680 ms returned sat
[2020-05-14 10:10:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:10:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:10:33] [INFO ] [Real]Absence check using state equation in 15394 ms returned (error "Failed to check-sat")
[2020-05-14 10:10:36] [INFO ] [Real]Absence check using 2 positive place invariants in 593 ms returned sat
[2020-05-14 10:10:37] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 874 ms returned sat
[2020-05-14 10:10:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:10:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:10:53] [INFO ] [Real]Absence check using state equation in 16351 ms returned (error "Failed to check-sat")
[2020-05-14 10:10:57] [INFO ] [Real]Absence check using 2 positive place invariants in 808 ms returned sat
[2020-05-14 10:10:57] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 598 ms returned sat
[2020-05-14 10:10:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:11:13] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:11:13] [INFO ] [Real]Absence check using state equation in 15980 ms returned (error "Failed to check-sat")
[2020-05-14 10:11:17] [INFO ] [Real]Absence check using 2 positive place invariants in 787 ms returned sat
[2020-05-14 10:11:17] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 560 ms returned sat
[2020-05-14 10:11:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:11:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:11:33] [INFO ] [Real]Absence check using state equation in 15981 ms returned unknown
[2020-05-14 10:11:37] [INFO ] [Real]Absence check using 2 positive place invariants in 894 ms returned sat
[2020-05-14 10:11:38] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 586 ms returned sat
[2020-05-14 10:11:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:11:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:11:53] [INFO ] [Real]Absence check using state equation in 15793 ms returned unknown
[2020-05-14 10:11:56] [INFO ] [Real]Absence check using 2 positive place invariants in 620 ms returned sat
[2020-05-14 10:11:57] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 766 ms returned sat
[2020-05-14 10:11:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:12:13] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:12:13] [INFO ] [Real]Absence check using state equation in 16622 ms returned (error "Failed to check-sat")
[2020-05-14 10:12:17] [INFO ] [Real]Absence check using 2 positive place invariants in 591 ms returned sat
[2020-05-14 10:12:17] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 563 ms returned sat
[2020-05-14 10:12:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:12:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:12:33] [INFO ] [Real]Absence check using state equation in 16295 ms returned (error "Failed to check-sat")
[2020-05-14 10:12:37] [INFO ] [Real]Absence check using 2 positive place invariants in 634 ms returned sat
[2020-05-14 10:12:37] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 602 ms returned sat
[2020-05-14 10:12:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:12:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:12:53] [INFO ] [Real]Absence check using state equation in 16266 ms returned unknown
[2020-05-14 10:12:57] [INFO ] [Real]Absence check using 2 positive place invariants in 606 ms returned sat
[2020-05-14 10:12:57] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 564 ms returned sat
[2020-05-14 10:12:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:13:13] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:13:13] [INFO ] [Real]Absence check using state equation in 16353 ms returned (error "Failed to check-sat")
[2020-05-14 10:13:16] [INFO ] [Real]Absence check using 2 positive place invariants in 593 ms returned sat
[2020-05-14 10:13:17] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 828 ms returned sat
[2020-05-14 10:13:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:13:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:13:33] [INFO ] [Real]Absence check using state equation in 16300 ms returned (error "Failed to check-sat")
[2020-05-14 10:13:37] [INFO ] [Real]Absence check using 2 positive place invariants in 882 ms returned sat
[2020-05-14 10:13:38] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 564 ms returned sat
[2020-05-14 10:13:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:13:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:13:53] [INFO ] [Real]Absence check using state equation in 15818 ms returned unknown
[2020-05-14 10:13:57] [INFO ] [Real]Absence check using 2 positive place invariants in 733 ms returned sat
[2020-05-14 10:13:58] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 565 ms returned sat
[2020-05-14 10:13:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:14:13] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:14:13] [INFO ] [Real]Absence check using state equation in 15908 ms returned (error "Failed to check-sat")
[2020-05-14 10:14:17] [INFO ] [Real]Absence check using 2 positive place invariants in 842 ms returned sat
[2020-05-14 10:14:18] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 550 ms returned sat
[2020-05-14 10:14:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:14:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:14:33] [INFO ] [Real]Absence check using state equation in 15719 ms returned unknown
[2020-05-14 10:14:37] [INFO ] [Real]Absence check using 2 positive place invariants in 601 ms returned sat
[2020-05-14 10:14:37] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 565 ms returned sat
[2020-05-14 10:14:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:14:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:14:53] [INFO ] [Real]Absence check using state equation in 16012 ms returned (error "Failed to check-sat")
[2020-05-14 10:14:57] [INFO ] [Real]Absence check using 2 positive place invariants in 823 ms returned sat
[2020-05-14 10:14:58] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 579 ms returned sat
[2020-05-14 10:14:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:15:14] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:15:14] [INFO ] [Real]Absence check using state equation in 15943 ms returned (error "Failed to check-sat")
[2020-05-14 10:15:17] [INFO ] [Real]Absence check using 2 positive place invariants in 823 ms returned sat
[2020-05-14 10:15:17] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 562 ms returned sat
[2020-05-14 10:15:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:15:34] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:15:34] [INFO ] [Real]Absence check using state equation in 16206 ms returned unknown
[2020-05-14 10:15:37] [INFO ] [Real]Absence check using 2 positive place invariants in 594 ms returned sat
[2020-05-14 10:15:37] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 574 ms returned sat
[2020-05-14 10:15:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:15:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:15:54] [INFO ] [Real]Absence check using state equation in 16371 ms returned (error "Failed to check-sat")
[2020-05-14 10:15:57] [INFO ] [Real]Absence check using 2 positive place invariants in 596 ms returned sat
[2020-05-14 10:15:57] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 568 ms returned sat
[2020-05-14 10:15:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:16:14] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:16:14] [INFO ] [Real]Absence check using state equation in 16171 ms returned (error "Failed to check-sat")
[2020-05-14 10:16:17] [INFO ] [Real]Absence check using 2 positive place invariants in 597 ms returned sat
[2020-05-14 10:16:17] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 848 ms returned sat
[2020-05-14 10:16:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:16:34] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:16:34] [INFO ] [Real]Absence check using state equation in 16132 ms returned (error "Failed to check-sat")
[2020-05-14 10:16:37] [INFO ] [Real]Absence check using 2 positive place invariants in 773 ms returned sat
[2020-05-14 10:16:38] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 590 ms returned sat
[2020-05-14 10:16:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:16:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:16:54] [INFO ] [Real]Absence check using state equation in 15944 ms returned (error "Failed to check-sat")
[2020-05-14 10:16:56] [INFO ] [Real]Absence check using 2 positive place invariants in 614 ms returned sat
[2020-05-14 10:16:57] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 857 ms returned sat
[2020-05-14 10:16:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:17:14] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:17:14] [INFO ] [Real]Absence check using state equation in 16495 ms returned unknown
[2020-05-14 10:17:17] [INFO ] [Real]Absence check using 2 positive place invariants in 616 ms returned sat
[2020-05-14 10:17:17] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 563 ms returned sat
[2020-05-14 10:17:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:17:34] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:17:34] [INFO ] [Real]Absence check using state equation in 16355 ms returned (error "Failed to check-sat")
[2020-05-14 10:17:37] [INFO ] [Real]Absence check using 2 positive place invariants in 772 ms returned sat
[2020-05-14 10:17:37] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 559 ms returned sat
[2020-05-14 10:17:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:17:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:17:54] [INFO ] [Real]Absence check using state equation in 16215 ms returned unknown
[2020-05-14 10:17:57] [INFO ] [Real]Absence check using 2 positive place invariants in 593 ms returned sat
[2020-05-14 10:17:58] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 867 ms returned sat
[2020-05-14 10:17:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:18:14] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:18:14] [INFO ] [Real]Absence check using state equation in 16034 ms returned unknown
[2020-05-14 10:18:17] [INFO ] [Real]Absence check using 2 positive place invariants in 598 ms returned sat
[2020-05-14 10:18:18] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 795 ms returned sat
[2020-05-14 10:18:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:18:34] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:18:34] [INFO ] [Real]Absence check using state equation in 15907 ms returned unknown
[2020-05-14 10:18:37] [INFO ] [Real]Absence check using 2 positive place invariants in 593 ms returned sat
[2020-05-14 10:18:38] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 873 ms returned sat
[2020-05-14 10:18:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:18:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:18:54] [INFO ] [Real]Absence check using state equation in 16093 ms returned unknown
[2020-05-14 10:18:57] [INFO ] [Real]Absence check using 2 positive place invariants in 814 ms returned sat
[2020-05-14 10:18:57] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 577 ms returned sat
[2020-05-14 10:18:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:19:14] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:19:14] [INFO ] [Real]Absence check using state equation in 16314 ms returned unknown
[2020-05-14 10:19:17] [INFO ] [Real]Absence check using 2 positive place invariants in 606 ms returned sat
[2020-05-14 10:19:17] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 569 ms returned sat
[2020-05-14 10:19:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:19:34] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:19:34] [INFO ] [Real]Absence check using state equation in 16427 ms returned (error "Failed to check-sat")
[2020-05-14 10:19:37] [INFO ] [Real]Absence check using 2 positive place invariants in 869 ms returned sat
[2020-05-14 10:19:38] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 549 ms returned sat
[2020-05-14 10:19:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:19:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:19:54] [INFO ] [Real]Absence check using state equation in 15969 ms returned (error "Failed to check-sat")
[2020-05-14 10:19:57] [INFO ] [Real]Absence check using 2 positive place invariants in 798 ms returned sat
[2020-05-14 10:19:58] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 556 ms returned sat
[2020-05-14 10:19:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:20:14] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:20:14] [INFO ] [Real]Absence check using state equation in 15847 ms returned unknown
[2020-05-14 10:20:17] [INFO ] [Real]Absence check using 2 positive place invariants in 604 ms returned sat
[2020-05-14 10:20:18] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 795 ms returned sat
[2020-05-14 10:20:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:20:34] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:20:34] [INFO ] [Real]Absence check using state equation in 15968 ms returned unknown
[2020-05-14 10:20:37] [INFO ] [Real]Absence check using 2 positive place invariants in 611 ms returned sat
[2020-05-14 10:20:37] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 581 ms returned sat
[2020-05-14 10:20:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:20:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:20:54] [INFO ] [Real]Absence check using state equation in 16287 ms returned unknown
[2020-05-14 10:20:58] [INFO ] [Real]Absence check using 2 positive place invariants in 887 ms returned sat
[2020-05-14 10:20:58] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 680 ms returned sat
[2020-05-14 10:20:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:21:14] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:21:14] [INFO ] [Real]Absence check using state equation in 15357 ms returned unknown
[2020-05-14 10:21:18] [INFO ] [Real]Absence check using 2 positive place invariants in 832 ms returned sat
[2020-05-14 10:21:18] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 627 ms returned sat
[2020-05-14 10:21:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:21:34] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:21:34] [INFO ] [Real]Absence check using state equation in 15385 ms returned unknown
[2020-05-14 10:21:37] [INFO ] [Real]Absence check using 2 positive place invariants in 608 ms returned sat
[2020-05-14 10:21:38] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 572 ms returned sat
[2020-05-14 10:21:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:21:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:21:54] [INFO ] [Real]Absence check using state equation in 16232 ms returned unknown
[2020-05-14 10:21:58] [INFO ] [Real]Absence check using 2 positive place invariants in 713 ms returned sat
[2020-05-14 10:21:58] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 589 ms returned sat
[2020-05-14 10:21:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:22:14] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:22:14] [INFO ] [Real]Absence check using state equation in 15658 ms returned unknown
[2020-05-14 10:22:18] [INFO ] [Real]Absence check using 2 positive place invariants in 897 ms returned sat
[2020-05-14 10:22:18] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 558 ms returned sat
[2020-05-14 10:22:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:22:34] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:22:34] [INFO ] [Real]Absence check using state equation in 15635 ms returned unknown
[2020-05-14 10:22:38] [INFO ] [Real]Absence check using 2 positive place invariants in 786 ms returned sat
[2020-05-14 10:22:39] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 830 ms returned sat
[2020-05-14 10:22:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:22:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:22:54] [INFO ] [Real]Absence check using state equation in 15138 ms returned (error "Failed to check-sat")
[2020-05-14 10:22:58] [INFO ] [Real]Absence check using 2 positive place invariants in 842 ms returned sat
[2020-05-14 10:22:58] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 555 ms returned sat
[2020-05-14 10:22:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:23:14] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:23:14] [INFO ] [Real]Absence check using state equation in 15560 ms returned (error "Failed to check-sat")
[2020-05-14 10:23:18] [INFO ] [Real]Absence check using 2 positive place invariants in 873 ms returned sat
[2020-05-14 10:23:18] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 687 ms returned sat
[2020-05-14 10:23:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:23:34] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:23:34] [INFO ] [Real]Absence check using state equation in 15454 ms returned (error "Failed to check-sat")
[2020-05-14 10:23:38] [INFO ] [Real]Absence check using 2 positive place invariants in 926 ms returned sat
[2020-05-14 10:23:39] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 859 ms returned sat
[2020-05-14 10:23:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:23:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:23:54] [INFO ] [Real]Absence check using state equation in 14929 ms returned (error "Failed to check-sat")
[2020-05-14 10:23:58] [INFO ] [Real]Absence check using 2 positive place invariants in 818 ms returned sat
[2020-05-14 10:23:58] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 714 ms returned sat
[2020-05-14 10:23:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:24:14] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:24:14] [INFO ] [Real]Absence check using state equation in 15375 ms returned unknown
[2020-05-14 10:24:18] [INFO ] [Real]Absence check using 2 positive place invariants in 780 ms returned sat
[2020-05-14 10:24:18] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 552 ms returned sat
[2020-05-14 10:24:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:24:34] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:24:34] [INFO ] [Real]Absence check using state equation in 15498 ms returned unknown
[2020-05-14 10:24:38] [INFO ] [Real]Absence check using 2 positive place invariants in 809 ms returned sat
[2020-05-14 10:24:38] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 568 ms returned sat
[2020-05-14 10:24:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:24:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:24:54] [INFO ] [Real]Absence check using state equation in 15537 ms returned unknown
[2020-05-14 10:24:58] [INFO ] [Real]Absence check using 2 positive place invariants in 864 ms returned sat
[2020-05-14 10:24:59] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 804 ms returned sat
[2020-05-14 10:24:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:25:14] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:25:14] [INFO ] [Real]Absence check using state equation in 15217 ms returned (error "Failed to check-sat")
[2020-05-14 10:25:17] [INFO ] [Real]Absence check using 2 positive place invariants in 608 ms returned sat
[2020-05-14 10:25:18] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 580 ms returned sat
[2020-05-14 10:25:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:25:34] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:25:34] [INFO ] [Real]Absence check using state equation in 16147 ms returned (error "Failed to check-sat")
[2020-05-14 10:25:38] [INFO ] [Real]Absence check using 2 positive place invariants in 673 ms returned sat
[2020-05-14 10:25:38] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 613 ms returned sat
[2020-05-14 10:25:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:25:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:25:54] [INFO ] [Real]Absence check using state equation in 15789 ms returned unknown
[2020-05-14 10:25:58] [INFO ] [Real]Absence check using 2 positive place invariants in 909 ms returned sat
[2020-05-14 10:25:59] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 568 ms returned sat
[2020-05-14 10:25:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:26:14] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:26:14] [INFO ] [Real]Absence check using state equation in 15230 ms returned unknown
[2020-05-14 10:26:18] [INFO ] [Real]Absence check using 2 positive place invariants in 785 ms returned sat
[2020-05-14 10:26:19] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 831 ms returned sat
[2020-05-14 10:26:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:26:34] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:26:34] [INFO ] [Real]Absence check using state equation in 15324 ms returned (error "Failed to check-sat")
[2020-05-14 10:26:37] [INFO ] [Real]Absence check using 2 positive place invariants in 820 ms returned sat
[2020-05-14 10:26:38] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 878 ms returned sat
[2020-05-14 10:26:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:26:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:26:54] [INFO ] [Real]Absence check using state equation in 15920 ms returned (error "Failed to check-sat")
[2020-05-14 10:26:58] [INFO ] [Real]Absence check using 2 positive place invariants in 871 ms returned sat
[2020-05-14 10:26:59] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 589 ms returned sat
[2020-05-14 10:26:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:27:14] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:27:14] [INFO ] [Real]Absence check using state equation in 15197 ms returned (error "Failed to check-sat")
[2020-05-14 10:27:17] [INFO ] [Real]Absence check using 2 positive place invariants in 605 ms returned sat
[2020-05-14 10:27:18] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 581 ms returned sat
[2020-05-14 10:27:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:27:34] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:27:34] [INFO ] [Real]Absence check using state equation in 16494 ms returned (error "Failed to check-sat")
[2020-05-14 10:27:38] [INFO ] [Real]Absence check using 2 positive place invariants in 662 ms returned sat
[2020-05-14 10:27:39] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 853 ms returned sat
[2020-05-14 10:27:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:27:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:27:54] [INFO ] [Real]Absence check using state equation in 15379 ms returned unknown
[2020-05-14 10:27:58] [INFO ] [Real]Absence check using 2 positive place invariants in 834 ms returned sat
[2020-05-14 10:27:59] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 815 ms returned sat
[2020-05-14 10:27:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:28:14] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:28:14] [INFO ] [Real]Absence check using state equation in 15351 ms returned (error "Failed to check-sat")
[2020-05-14 10:28:17] [INFO ] [Real]Absence check using 2 positive place invariants in 669 ms returned sat
[2020-05-14 10:28:18] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 629 ms returned sat
[2020-05-14 10:28:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:28:34] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:28:34] [INFO ] [Real]Absence check using state equation in 16312 ms returned (error "Failed to check-sat")
[2020-05-14 10:28:37] [INFO ] [Real]Absence check using 2 positive place invariants in 776 ms returned sat
[2020-05-14 10:28:38] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 566 ms returned sat
[2020-05-14 10:28:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:28:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:28:54] [INFO ] [Real]Absence check using state equation in 16162 ms returned (error "Failed to check-sat")
[2020-05-14 10:28:58] [INFO ] [Real]Absence check using 2 positive place invariants in 885 ms returned sat
[2020-05-14 10:28:58] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 565 ms returned sat
[2020-05-14 10:28:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:29:14] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:29:14] [INFO ] [Real]Absence check using state equation in 15859 ms returned unknown
[2020-05-14 10:29:18] [INFO ] [Real]Absence check using 2 positive place invariants in 830 ms returned sat
[2020-05-14 10:29:18] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 553 ms returned sat
[2020-05-14 10:29:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:29:34] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:29:34] [INFO ] [Real]Absence check using state equation in 15809 ms returned unknown
[2020-05-14 10:29:38] [INFO ] [Real]Absence check using 2 positive place invariants in 674 ms returned sat
[2020-05-14 10:29:39] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 842 ms returned sat
[2020-05-14 10:29:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:29:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:29:54] [INFO ] [Real]Absence check using state equation in 15479 ms returned (error "Failed to check-sat")
[2020-05-14 10:29:58] [INFO ] [Real]Absence check using 2 positive place invariants in 902 ms returned sat
[2020-05-14 10:29:58] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 564 ms returned sat
[2020-05-14 10:29:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:30:14] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:30:14] [INFO ] [Real]Absence check using state equation in 15955 ms returned (error "Failed to check-sat")
[2020-05-14 10:30:17] [INFO ] [Real]Absence check using 2 positive place invariants in 653 ms returned sat
[2020-05-14 10:30:18] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 870 ms returned sat
[2020-05-14 10:30:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:30:34] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:30:34] [INFO ] [Real]Absence check using state equation in 16058 ms returned unknown
[2020-05-14 10:30:37] [INFO ] [Real]Absence check using 2 positive place invariants in 892 ms returned sat
[2020-05-14 10:30:38] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 619 ms returned sat
[2020-05-14 10:30:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:30:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:30:54] [INFO ] [Real]Absence check using state equation in 16394 ms returned unknown
[2020-05-14 10:30:58] [INFO ] [Real]Absence check using 2 positive place invariants in 656 ms returned sat
[2020-05-14 10:30:58] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 629 ms returned sat
[2020-05-14 10:30:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:31:14] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:31:14] [INFO ] [Real]Absence check using state equation in 15975 ms returned unknown
[2020-05-14 10:31:18] [INFO ] [Real]Absence check using 2 positive place invariants in 897 ms returned sat
[2020-05-14 10:31:19] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 609 ms returned sat
[2020-05-14 10:31:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:31:34] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:31:34] [INFO ] [Real]Absence check using state equation in 15522 ms returned (error "Failed to check-sat")
[2020-05-14 10:31:38] [INFO ] [Real]Absence check using 2 positive place invariants in 901 ms returned sat
[2020-05-14 10:31:39] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 578 ms returned sat
[2020-05-14 10:31:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:31:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:31:54] [INFO ] [Real]Absence check using state equation in 15556 ms returned unknown
[2020-05-14 10:31:58] [INFO ] [Real]Absence check using 2 positive place invariants in 885 ms returned sat
[2020-05-14 10:31:58] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 608 ms returned sat
[2020-05-14 10:31:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:32:14] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:32:14] [INFO ] [Real]Absence check using state equation in 16000 ms returned (error "Failed to check-sat")
[2020-05-14 10:32:18] [INFO ] [Real]Absence check using 2 positive place invariants in 892 ms returned sat
[2020-05-14 10:32:19] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 562 ms returned sat
[2020-05-14 10:32:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:32:34] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:32:34] [INFO ] [Real]Absence check using state equation in 15502 ms returned (error "Failed to check-sat")
[2020-05-14 10:32:38] [INFO ] [Real]Absence check using 2 positive place invariants in 829 ms returned sat
[2020-05-14 10:32:38] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 564 ms returned sat
[2020-05-14 10:32:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:32:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:32:54] [INFO ] [Real]Absence check using state equation in 15892 ms returned unknown
[2020-05-14 10:32:58] [INFO ] [Real]Absence check using 2 positive place invariants in 650 ms returned sat
[2020-05-14 10:32:58] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 618 ms returned sat
[2020-05-14 10:32:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:33:14] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:33:14] [INFO ] [Real]Absence check using state equation in 15777 ms returned (error "Failed to check-sat")
[2020-05-14 10:33:18] [INFO ] [Real]Absence check using 2 positive place invariants in 659 ms returned sat
[2020-05-14 10:33:18] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 806 ms returned sat
[2020-05-14 10:33:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:33:34] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:33:34] [INFO ] [Real]Absence check using state equation in 15854 ms returned (error "Failed to check-sat")
[2020-05-14 10:33:37] [INFO ] [Real]Absence check using 2 positive place invariants in 863 ms returned sat
[2020-05-14 10:33:38] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 627 ms returned sat
[2020-05-14 10:33:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:33:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:33:54] [INFO ] [Real]Absence check using state equation in 16461 ms returned (error "Failed to check-sat")
[2020-05-14 10:33:58] [INFO ] [Real]Absence check using 2 positive place invariants in 900 ms returned sat
[2020-05-14 10:33:59] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 609 ms returned sat
[2020-05-14 10:33:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:34:14] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:34:14] [INFO ] [Real]Absence check using state equation in 15668 ms returned unknown
[2020-05-14 10:34:18] [INFO ] [Real]Absence check using 2 positive place invariants in 850 ms returned sat
[2020-05-14 10:34:19] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 549 ms returned sat
[2020-05-14 10:34:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:34:34] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:34:34] [INFO ] [Real]Absence check using state equation in 15558 ms returned unknown
[2020-05-14 10:34:38] [INFO ] [Real]Absence check using 2 positive place invariants in 891 ms returned sat
[2020-05-14 10:34:39] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 561 ms returned sat
[2020-05-14 10:34:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:34:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:34:54] [INFO ] [Real]Absence check using state equation in 15626 ms returned (error "Failed to check-sat")
[2020-05-14 10:34:58] [INFO ] [Real]Absence check using 2 positive place invariants in 870 ms returned sat
[2020-05-14 10:34:58] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 603 ms returned sat
[2020-05-14 10:34:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:35:14] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:35:14] [INFO ] [Real]Absence check using state equation in 16063 ms returned (error "Failed to check-sat")
[2020-05-14 10:35:17] [INFO ] [Real]Absence check using 2 positive place invariants in 599 ms returned sat
[2020-05-14 10:35:18] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 567 ms returned sat
[2020-05-14 10:35:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:35:34] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:35:34] [INFO ] [Real]Absence check using state equation in 16719 ms returned (error "Failed to check-sat")
[2020-05-14 10:35:38] [INFO ] [Real]Absence check using 2 positive place invariants in 806 ms returned sat
[2020-05-14 10:35:38] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 723 ms returned sat
[2020-05-14 10:35:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:35:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:35:54] [INFO ] [Real]Absence check using state equation in 15830 ms returned (error "Failed to check-sat")
[2020-05-14 10:35:57] [INFO ] [Real]Absence check using 2 positive place invariants in 620 ms returned sat
[2020-05-14 10:35:58] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 582 ms returned sat
[2020-05-14 10:35:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:36:14] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:36:14] [INFO ] [Real]Absence check using state equation in 16789 ms returned unknown
[2020-05-14 10:36:18] [INFO ] [Real]Absence check using 2 positive place invariants in 800 ms returned sat
[2020-05-14 10:36:18] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 738 ms returned sat
[2020-05-14 10:36:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:36:34] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:36:34] [INFO ] [Real]Absence check using state equation in 15867 ms returned unknown
[2020-05-14 10:36:38] [INFO ] [Real]Absence check using 2 positive place invariants in 772 ms returned sat
[2020-05-14 10:36:38] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 583 ms returned sat
[2020-05-14 10:36:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:36:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:36:54] [INFO ] [Real]Absence check using state equation in 15954 ms returned unknown
[2020-05-14 10:36:58] [INFO ] [Real]Absence check using 2 positive place invariants in 813 ms returned sat
[2020-05-14 10:36:58] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 567 ms returned sat
[2020-05-14 10:36:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:37:14] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:37:14] [INFO ] [Real]Absence check using state equation in 16039 ms returned (error "Failed to check-sat")
[2020-05-14 10:37:18] [INFO ] [Real]Absence check using 2 positive place invariants in 878 ms returned sat
[2020-05-14 10:37:19] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 584 ms returned sat
[2020-05-14 10:37:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:37:34] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:37:34] [INFO ] [Real]Absence check using state equation in 15705 ms returned (error "Failed to check-sat")
[2020-05-14 10:37:38] [INFO ] [Real]Absence check using 2 positive place invariants in 596 ms returned sat
[2020-05-14 10:37:38] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 568 ms returned sat
[2020-05-14 10:37:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:37:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:37:54] [INFO ] [Real]Absence check using state equation in 15959 ms returned (error "Failed to check-sat")
[2020-05-14 10:37:58] [INFO ] [Real]Absence check using 2 positive place invariants in 609 ms returned sat
[2020-05-14 10:37:58] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 858 ms returned sat
[2020-05-14 10:37:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:38:14] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:38:14] [INFO ] [Real]Absence check using state equation in 16019 ms returned unknown
[2020-05-14 10:38:18] [INFO ] [Real]Absence check using 2 positive place invariants in 814 ms returned sat
[2020-05-14 10:38:19] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 554 ms returned sat
[2020-05-14 10:38:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:38:34] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:38:34] [INFO ] [Real]Absence check using state equation in 15648 ms returned (error "Failed to check-sat")
[2020-05-14 10:38:38] [INFO ] [Real]Absence check using 2 positive place invariants in 787 ms returned sat
[2020-05-14 10:38:38] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 580 ms returned sat
[2020-05-14 10:38:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:38:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:38:54] [INFO ] [Real]Absence check using state equation in 16050 ms returned (error "Failed to check-sat")
[2020-05-14 10:38:58] [INFO ] [Real]Absence check using 2 positive place invariants in 595 ms returned sat
[2020-05-14 10:38:58] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 580 ms returned sat
[2020-05-14 10:38:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:39:14] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:39:14] [INFO ] [Real]Absence check using state equation in 16155 ms returned unknown
[2020-05-14 10:39:18] [INFO ] [Real]Absence check using 2 positive place invariants in 607 ms returned sat
[2020-05-14 10:39:19] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 858 ms returned sat
[2020-05-14 10:39:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:39:34] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:39:34] [INFO ] [Real]Absence check using state equation in 15897 ms returned (error "Failed to check-sat")
[2020-05-14 10:39:38] [INFO ] [Real]Absence check using 2 positive place invariants in 611 ms returned sat
[2020-05-14 10:39:38] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 608 ms returned sat
[2020-05-14 10:39:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:39:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:39:54] [INFO ] [Real]Absence check using state equation in 16190 ms returned unknown
[2020-05-14 10:39:58] [INFO ] [Real]Absence check using 2 positive place invariants in 886 ms returned sat
[2020-05-14 10:39:59] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 559 ms returned sat
[2020-05-14 10:39:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:40:15] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:40:15] [INFO ] [Real]Absence check using state equation in 15835 ms returned (error "Failed to check-sat")
[2020-05-14 10:40:18] [INFO ] [Real]Absence check using 2 positive place invariants in 821 ms returned sat
[2020-05-14 10:40:19] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 594 ms returned sat
[2020-05-14 10:40:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:40:35] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:40:35] [INFO ] [Real]Absence check using state equation in 15742 ms returned (error "Failed to check-sat")
[2020-05-14 10:40:38] [INFO ] [Real]Absence check using 2 positive place invariants in 888 ms returned sat
[2020-05-14 10:40:39] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 555 ms returned sat
[2020-05-14 10:40:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:40:55] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:40:55] [INFO ] [Real]Absence check using state equation in 15976 ms returned (error "Failed to check-sat")
[2020-05-14 10:40:58] [INFO ] [Real]Absence check using 2 positive place invariants in 755 ms returned sat
[2020-05-14 10:40:58] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 552 ms returned sat
[2020-05-14 10:40:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:41:15] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:41:15] [INFO ] [Real]Absence check using state equation in 16392 ms returned (error "Failed to check-sat")
[2020-05-14 10:41:18] [INFO ] [Real]Absence check using 2 positive place invariants in 907 ms returned sat
[2020-05-14 10:41:19] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 705 ms returned sat
[2020-05-14 10:41:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:41:35] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:41:35] [INFO ] [Real]Absence check using state equation in 15892 ms returned (error "Failed to check-sat")
[2020-05-14 10:41:38] [INFO ] [Real]Absence check using 2 positive place invariants in 880 ms returned sat
[2020-05-14 10:41:39] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 592 ms returned sat
[2020-05-14 10:41:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:41:55] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:41:55] [INFO ] [Real]Absence check using state equation in 15881 ms returned (error "Failed to check-sat")
[2020-05-14 10:41:58] [INFO ] [Real]Absence check using 2 positive place invariants in 934 ms returned sat
[2020-05-14 10:41:59] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 589 ms returned sat
[2020-05-14 10:41:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:42:15] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:42:15] [INFO ] [Real]Absence check using state equation in 15769 ms returned unknown
[2020-05-14 10:42:18] [INFO ] [Real]Absence check using 2 positive place invariants in 833 ms returned sat
[2020-05-14 10:42:18] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 617 ms returned sat
[2020-05-14 10:42:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:42:35] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:42:35] [INFO ] [Real]Absence check using state equation in 16312 ms returned unknown
[2020-05-14 10:42:38] [INFO ] [Real]Absence check using 2 positive place invariants in 872 ms returned sat
[2020-05-14 10:42:39] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 639 ms returned sat
[2020-05-14 10:42:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:42:55] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:42:55] [INFO ] [Real]Absence check using state equation in 15939 ms returned unknown
[2020-05-14 10:42:58] [INFO ] [Real]Absence check using 2 positive place invariants in 673 ms returned sat
[2020-05-14 10:42:58] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 885 ms returned sat
[2020-05-14 10:42:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:43:15] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:43:15] [INFO ] [Real]Absence check using state equation in 16152 ms returned unknown
[2020-05-14 10:43:19] [INFO ] [Real]Absence check using 2 positive place invariants in 879 ms returned sat
[2020-05-14 10:43:19] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 549 ms returned sat
[2020-05-14 10:43:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:43:35] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:43:35] [INFO ] [Real]Absence check using state equation in 15515 ms returned unknown
[2020-05-14 10:43:38] [INFO ] [Real]Absence check using 2 positive place invariants in 894 ms returned sat
[2020-05-14 10:43:39] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 567 ms returned sat
[2020-05-14 10:43:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:43:55] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:43:55] [INFO ] [Real]Absence check using state equation in 15624 ms returned unknown
[2020-05-14 10:43:58] [INFO ] [Real]Absence check using 2 positive place invariants in 740 ms returned sat
[2020-05-14 10:43:58] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 584 ms returned sat
[2020-05-14 10:43:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:44:15] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:44:15] [INFO ] [Real]Absence check using state equation in 16250 ms returned (error "Failed to check-sat")
[2020-05-14 10:44:18] [INFO ] [Real]Absence check using 2 positive place invariants in 663 ms returned sat
[2020-05-14 10:44:19] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 651 ms returned sat
[2020-05-14 10:44:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:44:35] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:44:35] [INFO ] [Real]Absence check using state equation in 15817 ms returned unknown
[2020-05-14 10:44:38] [INFO ] [Real]Absence check using 2 positive place invariants in 862 ms returned sat
[2020-05-14 10:44:39] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 640 ms returned sat
[2020-05-14 10:44:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 10:44:55] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 10:44:55] [INFO ] [Real]Absence check using state equation in 15936 ms returned (error "Failed to check-sat")
[2020-05-14 10:44:58] [INFO ] [Real]Absence check using 2 positive place invariants in 654 ms returned sat
[2020-05-14 10:44:59] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 621 ms returned sat
[2020-05-14 10:44:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination CTLFireability -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6
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="AirplaneLD-COL-4000"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# 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 itstools"
echo " Input is AirplaneLD-COL-4000, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r006-smll-158897515800236"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/AirplaneLD-COL-4000.tgz
mv AirplaneLD-COL-4000 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;