About the Execution of ITS-Tools for FamilyReunion-COL-L00100M0010C005P005G002
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15741.630 | 3600000.00 | 3566816.00 | 5723.60 | [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.r081-smll-158922977500140.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 FamilyReunion-COL-L00100M0010C005P005G002, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r081-smll-158922977500140
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 316K
-rw-r--r-- 1 mcc users 3.9K Apr 1 20:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 1 20:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Apr 1 14:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 1 14:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 8 14:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Apr 1 11:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 1 10:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.0K Apr 1 06:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 1 06:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Apr 1 13:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Apr 1 13:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_pt
-rw-r--r-- 1 mcc users 24 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 140K 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 FamilyReunion-COL-L00100M0010C005P005G002-CTLFireability-00
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-CTLFireability-01
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-CTLFireability-02
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-CTLFireability-03
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-CTLFireability-04
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-CTLFireability-05
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-CTLFireability-06
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-CTLFireability-07
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-CTLFireability-08
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-CTLFireability-09
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-CTLFireability-10
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-CTLFireability-11
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-CTLFireability-12
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-CTLFireability-13
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-CTLFireability-14
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589479148246
[2020-05-14 17:59:11] [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 17:59:11] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-05-14 17:59:11] [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 17:59:12] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1133 ms
[2020-05-14 17:59:12] [INFO ] sort/places :
Response->r0,
LxM->m1,ml0,l2,m2,lm1,l3,m3,ml1,l4,lm2,m4,m5,l5,ml2,l6,lm3,m6,m7,ml3,l7,m9,m10,ml4,
CINFORMI->c2,c4,c7,c0,c1,
LxP->p1,p3,p2,p5,p4,p6,p9,pl0,pl1,
LegalResident->lm0,l12,l0,l30,l31,lc1,l1,l32,lc2,l33,lc3,l34,cg0,l35,lg0,l36,l8,l9,lm4,l38,l10,l11,l13,l16,l14,lc0,l15,l17,l18,lp0,l19,lp1,l20,l21,l22,l24,l25,l23,l28,l26,l27,l29,
LxC->c3,cl2,c5,c6,cl0,cl1,
LxR->gl1,l37,l39,l40,
GovernmentCommission->g0,g2,g4,
PublicAdminOffice->p0,p7,p8,p10,p11,
MICSystem->m0,m8,m11,
LxG->g1,gl0,g3,
[2020-05-14 17:59:12] [INFO ] Detected 5 constant HL places corresponding to 31 PT places.
[2020-05-14 17:59:12] [INFO ] Imported 104 HL places and 66 HL transitions for a total of 40706 PT places and 36972.0 transition bindings in 94 ms.
[2020-05-14 17:59:12] [INFO ] Computed order based on color domains.
[2020-05-14 17:59:12] [INFO ] Unfolded HLPN to a Petri net with 40706 places and 36871 transitions in 402 ms.
[2020-05-14 17:59:12] [INFO ] Unfolded HLPN properties in 10 ms.
[2020-05-14 17:59:12] [INFO ] Reduced 303 identical enabling conditions.
[2020-05-14 17:59:12] [INFO ] Reduced 303 identical enabling conditions.
[2020-05-14 17:59:12] [INFO ] Reduced 505 identical enabling conditions.
[2020-05-14 17:59:12] [INFO ] Reduced 505 identical enabling conditions.
[2020-05-14 17:59:12] [INFO ] Reduced 1010 identical enabling conditions.
[2020-05-14 17:59:12] [INFO ] Reduced 303 identical enabling conditions.
Deduced a syphon composed of 101 places in 294 ms
Reduce places removed 132 places and 0 transitions.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 1098 ms.
Interrupted random walk after 83083 steps, including 14 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 0, 1, 1, 0, 0, 0, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 0, 0, 1, 0, 1, 1, 1, 0, 1, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 1, 1, 1, 0, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 1, 0, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 0, 0, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 0, 1, 1, 1, 0, 1, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 0, 1, 0, 0, 1, 1, 1, 1, 0, 0, 0, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, 0, 0, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 0, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 0, 1, 1, 1, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 0, 0, 1, 1, 1, 0, 1, 1, 0, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 0, 0, 0, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 0, 0, 0, 1, 0, 0, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 0, 1, 0, 1, 1, 1, 0, 1, 1, 1, 0, 0, 1, 0, 1, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 0, 1, 1, 0, 1, 0, 1, 0, 1, 0, 0, 1, 1, 1, 0, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 1, 1, 0, 0, 0, 1, 0, 0, 0, 1, 1, 1, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 0, 1, 1, 1, 0, 0, 0, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 0, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 0, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 0, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 0, 1, 1, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 0, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 0, 1, 0, 1, 1, 1, 0, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 0, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 0, 1, 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 0, 1, 1, 1, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 0, 0, 0, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 0, 1, 1, 1, 0, 1, 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 0, 0, 0, 1, 1, 0, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 0, 0, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 1, 1, 0, 0, 1, 0, 1, 0, 1, 0, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 0, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 0, 0, 0, 1, 0, 1, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 1, 1, 0, 0, 1, 0, 1, 0, 1, 0, 0, 0, 0, 1, 1, 1, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 1, 1, 0, 1, 0, 1, 1, 0, 1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 1, 1, 1, 0, 0, 0, 1, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 1, 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, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 1, 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, 0, 1, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
// Phase 1: matrix 36871 rows 40574 cols
[2020-05-14 18:00:16] [INFO ] Computed 8805 place invariants in 32654 ms
[2020-05-14 18:00:31] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:00:34] [INFO ] [Real]Absence check using 115 positive place invariants in 9852 ms returned unknown
[2020-05-14 18:00:48] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:00:51] [INFO ] [Real]Absence check using 115 positive place invariants in 10045 ms returned unknown
[2020-05-14 18:01:03] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:01:07] [INFO ] [Real]Absence check using 115 positive place invariants in 10046 ms returned unknown
[2020-05-14 18:01:20] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:01:23] [INFO ] [Real]Absence check using 115 positive place invariants in 9605 ms returned unknown
[2020-05-14 18:01:35] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:01:38] [INFO ] [Real]Absence check using 115 positive place invariants in 9525 ms returned unknown
[2020-05-14 18:01:52] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:01:55] [INFO ] [Real]Absence check using 115 positive place invariants in 9842 ms returned unknown
[2020-05-14 18:02:08] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:02:11] [INFO ] [Real]Absence check using 115 positive place invariants in 9580 ms returned unknown
[2020-05-14 18:02:25] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:02:28] [INFO ] [Real]Absence check using 115 positive place invariants in 9959 ms returned unknown
[2020-05-14 18:02:41] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:02:44] [INFO ] [Real]Absence check using 115 positive place invariants in 9178 ms returned unknown
[2020-05-14 18:02:56] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:02:59] [INFO ] [Real]Absence check using 115 positive place invariants in 9636 ms returned unknown
[2020-05-14 18:03:11] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:03:14] [INFO ] [Real]Absence check using 115 positive place invariants in 9169 ms returned unknown
[2020-05-14 18:03:27] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:03:30] [INFO ] [Real]Absence check using 115 positive place invariants in 9616 ms returned unknown
[2020-05-14 18:03:43] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:03:46] [INFO ] [Real]Absence check using 115 positive place invariants in 9457 ms returned unknown
[2020-05-14 18:03:58] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:04:02] [INFO ] [Real]Absence check using 115 positive place invariants in 9718 ms returned unknown
[2020-05-14 18:04:15] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:04:19] [INFO ] [Real]Absence check using 115 positive place invariants in 10043 ms returned unknown
[2020-05-14 18:04:32] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:04:35] [INFO ] [Real]Absence check using 115 positive place invariants in 9591 ms returned unknown
[2020-05-14 18:04:48] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:04:51] [INFO ] [Real]Absence check using 115 positive place invariants in 9720 ms returned unknown
[2020-05-14 18:05:03] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:05:06] [INFO ] [Real]Absence check using 115 positive place invariants in 9967 ms returned unknown
[2020-05-14 18:05:20] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:05:24] [INFO ] [Real]Absence check using 115 positive place invariants in 9787 ms returned unknown
[2020-05-14 18:05:37] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:05:40] [INFO ] [Real]Absence check using 115 positive place invariants in 9501 ms returned unknown
[2020-05-14 18:05:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:05:56] [INFO ] [Real]Absence check using 115 positive place invariants in 9468 ms returned unknown
[2020-05-14 18:06:10] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:06:13] [INFO ] [Real]Absence check using 115 positive place invariants in 10108 ms returned unknown
[2020-05-14 18:06:25] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:06:29] [INFO ] [Real]Absence check using 115 positive place invariants in 9526 ms returned unknown
[2020-05-14 18:06:41] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:06:44] [INFO ] [Real]Absence check using 115 positive place invariants in 9643 ms returned unknown
[2020-05-14 18:06:55] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:06:58] [INFO ] [Real]Absence check using 115 positive place invariants in 9627 ms returned unknown
[2020-05-14 18:07:12] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:07:15] [INFO ] [Real]Absence check using 115 positive place invariants in 9688 ms returned unknown
[2020-05-14 18:07:28] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:07:31] [INFO ] [Real]Absence check using 115 positive place invariants in 9529 ms returned unknown
[2020-05-14 18:07:44] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:07:47] [INFO ] [Real]Absence check using 115 positive place invariants in 9690 ms returned unknown
[2020-05-14 18:08:00] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:08:03] [INFO ] [Real]Absence check using 115 positive place invariants in 9559 ms returned unknown
[2020-05-14 18:08:16] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:08:19] [INFO ] [Real]Absence check using 115 positive place invariants in 9785 ms returned unknown
[2020-05-14 18:08:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:08:36] [INFO ] [Real]Absence check using 115 positive place invariants in 9564 ms returned unknown
[2020-05-14 18:08:48] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:08:52] [INFO ] [Real]Absence check using 115 positive place invariants in 10223 ms returned unknown
[2020-05-14 18:09:05] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:09:08] [INFO ] [Real]Absence check using 115 positive place invariants in 9537 ms returned unknown
[2020-05-14 18:09:21] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:09:24] [INFO ] [Real]Absence check using 115 positive place invariants in 9654 ms returned unknown
[2020-05-14 18:09:37] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:09:41] [INFO ] [Real]Absence check using 115 positive place invariants in 9817 ms returned unknown
[2020-05-14 18:09:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:09:57] [INFO ] [Real]Absence check using 115 positive place invariants in 9756 ms returned unknown
[2020-05-14 18:10:10] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:10:13] [INFO ] [Real]Absence check using 115 positive place invariants in 9776 ms returned unknown
[2020-05-14 18:10:25] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:10:28] [INFO ] [Real]Absence check using 115 positive place invariants in 9645 ms returned unknown
[2020-05-14 18:10:42] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:10:45] [INFO ] [Real]Absence check using 115 positive place invariants in 9937 ms returned unknown
[2020-05-14 18:10:58] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:11:02] [INFO ] [Real]Absence check using 115 positive place invariants in 10165 ms returned unknown
[2020-05-14 18:11:14] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:11:18] [INFO ] [Real]Absence check using 115 positive place invariants in 9442 ms returned unknown
[2020-05-14 18:11:30] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:11:33] [INFO ] [Real]Absence check using 115 positive place invariants in 9658 ms returned unknown
[2020-05-14 18:11:45] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:11:48] [INFO ] [Real]Absence check using 115 positive place invariants in 9607 ms returned unknown
[2020-05-14 18:12:02] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:12:05] [INFO ] [Real]Absence check using 115 positive place invariants in 9674 ms returned unknown
[2020-05-14 18:12:18] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:12:21] [INFO ] [Real]Absence check using 115 positive place invariants in 9547 ms returned unknown
[2020-05-14 18:12:34] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:12:37] [INFO ] [Real]Absence check using 115 positive place invariants in 9661 ms returned unknown
[2020-05-14 18:12:50] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:12:53] [INFO ] [Real]Absence check using 115 positive place invariants in 9549 ms returned unknown
[2020-05-14 18:13:06] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:13:09] [INFO ] [Real]Absence check using 115 positive place invariants in 9644 ms returned unknown
[2020-05-14 18:13:23] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:13:26] [INFO ] [Real]Absence check using 115 positive place invariants in 9618 ms returned unknown
[2020-05-14 18:13:39] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:13:43] [INFO ] [Real]Absence check using 115 positive place invariants in 9780 ms returned unknown
[2020-05-14 18:13:56] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:13:59] [INFO ] [Real]Absence check using 115 positive place invariants in 9658 ms returned unknown
[2020-05-14 18:14:13] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:14:16] [INFO ] [Real]Absence check using 115 positive place invariants in 10279 ms returned unknown
[2020-05-14 18:14:29] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:14:33] [INFO ] [Real]Absence check using 115 positive place invariants in 9887 ms returned unknown
[2020-05-14 18:14:44] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:14:47] [INFO ] [Real]Absence check using 115 positive place invariants in 9724 ms returned unknown
[2020-05-14 18:15:01] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:15:04] [INFO ] [Real]Absence check using 115 positive place invariants in 10231 ms returned unknown
[2020-05-14 18:15:16] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:15:19] [INFO ] [Real]Absence check using 115 positive place invariants in 9596 ms returned unknown
[2020-05-14 18:15:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:15:36] [INFO ] [Real]Absence check using 115 positive place invariants in 10447 ms returned unknown
[2020-05-14 18:15:50] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:15:54] [INFO ] [Real]Absence check using 115 positive place invariants in 10232 ms returned unknown
[2020-05-14 18:16:06] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:16:09] [INFO ] [Real]Absence check using 115 positive place invariants in 9492 ms returned unknown
[2020-05-14 18:16:22] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:16:26] [INFO ] [Real]Absence check using 115 positive place invariants in 9795 ms returned unknown
[2020-05-14 18:16:39] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:16:42] [INFO ] [Real]Absence check using 115 positive place invariants in 9538 ms returned unknown
[2020-05-14 18:16:56] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:16:59] [INFO ] [Real]Absence check using 115 positive place invariants in 9938 ms returned unknown
[2020-05-14 18:17:13] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:17:16] [INFO ] [Real]Absence check using 115 positive place invariants in 9463 ms returned unknown
[2020-05-14 18:17:29] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:17:32] [INFO ] [Real]Absence check using 115 positive place invariants in 9723 ms returned unknown
[2020-05-14 18:17:45] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:17:48] [INFO ] [Real]Absence check using 115 positive place invariants in 9766 ms returned unknown
[2020-05-14 18:18:01] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:18:05] [INFO ] [Real]Absence check using 115 positive place invariants in 9632 ms returned unknown
[2020-05-14 18:18:19] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:18:22] [INFO ] [Real]Absence check using 115 positive place invariants in 9837 ms returned unknown
[2020-05-14 18:18:35] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:18:38] [INFO ] [Real]Absence check using 115 positive place invariants in 9525 ms returned unknown
[2020-05-14 18:18:51] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:18:55] [INFO ] [Real]Absence check using 115 positive place invariants in 9918 ms returned unknown
[2020-05-14 18:19:08] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:19:11] [INFO ] [Real]Absence check using 115 positive place invariants in 9867 ms returned unknown
[2020-05-14 18:19:24] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:19:28] [INFO ] [Real]Absence check using 115 positive place invariants in 9820 ms returned unknown
[2020-05-14 18:19:41] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:19:45] [INFO ] [Real]Absence check using 115 positive place invariants in 10116 ms returned unknown
[2020-05-14 18:19:57] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:20:00] [INFO ] [Real]Absence check using 115 positive place invariants in 9693 ms returned unknown
[2020-05-14 18:20:13] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:20:16] [INFO ] [Real]Absence check using 115 positive place invariants in 10150 ms returned unknown
[2020-05-14 18:20:29] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:20:33] [INFO ] [Real]Absence check using 115 positive place invariants in 9963 ms returned unknown
[2020-05-14 18:20:46] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:20:49] [INFO ] [Real]Absence check using 115 positive place invariants in 9789 ms returned unknown
[2020-05-14 18:21:03] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:21:06] [INFO ] [Real]Absence check using 115 positive place invariants in 9710 ms returned unknown
[2020-05-14 18:21:19] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:21:22] [INFO ] [Real]Absence check using 115 positive place invariants in 9838 ms returned unknown
[2020-05-14 18:21:35] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:21:38] [INFO ] [Real]Absence check using 115 positive place invariants in 9806 ms returned unknown
[2020-05-14 18:21:51] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:21:55] [INFO ] [Real]Absence check using 115 positive place invariants in 9913 ms returned unknown
[2020-05-14 18:22:07] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:22:11] [INFO ] [Real]Absence check using 115 positive place invariants in 9638 ms returned unknown
[2020-05-14 18:22:24] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:22:27] [INFO ] [Real]Absence check using 115 positive place invariants in 10050 ms returned unknown
[2020-05-14 18:22:40] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:22:43] [INFO ] [Real]Absence check using 115 positive place invariants in 9567 ms returned unknown
[2020-05-14 18:22:56] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:22:59] [INFO ] [Real]Absence check using 115 positive place invariants in 9836 ms returned unknown
[2020-05-14 18:23:12] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:23:15] [INFO ] [Real]Absence check using 115 positive place invariants in 9232 ms returned unknown
[2020-05-14 18:23:28] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:23:31] [INFO ] [Real]Absence check using 115 positive place invariants in 9769 ms returned unknown
[2020-05-14 18:23:45] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:23:48] [INFO ] [Real]Absence check using 115 positive place invariants in 9583 ms returned unknown
[2020-05-14 18:24:00] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:24:04] [INFO ] [Real]Absence check using 115 positive place invariants in 9973 ms returned unknown
[2020-05-14 18:24:17] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:24:21] [INFO ] [Real]Absence check using 115 positive place invariants in 9731 ms returned unknown
[2020-05-14 18:24:34] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:24:37] [INFO ] [Real]Absence check using 115 positive place invariants in 9573 ms returned unknown
[2020-05-14 18:24:50] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:24:53] [INFO ] [Real]Absence check using 115 positive place invariants in 9389 ms returned unknown
[2020-05-14 18:25:05] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:25:08] [INFO ] [Real]Absence check using 115 positive place invariants in 9520 ms returned unknown
[2020-05-14 18:25:21] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:25:24] [INFO ] [Real]Absence check using 115 positive place invariants in 9806 ms returned unknown
[2020-05-14 18:25:38] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:25:41] [INFO ] [Real]Absence check using 115 positive place invariants in 9766 ms returned unknown
[2020-05-14 18:25:55] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:25:58] [INFO ] [Real]Absence check using 115 positive place invariants in 10041 ms returned unknown
[2020-05-14 18:26:10] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:26:13] [INFO ] [Real]Absence check using 115 positive place invariants in 9522 ms returned unknown
[2020-05-14 18:26:26] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:26:30] [INFO ] [Real]Absence check using 115 positive place invariants in 9627 ms returned unknown
[2020-05-14 18:26:43] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:26:46] [INFO ] [Real]Absence check using 115 positive place invariants in 9645 ms returned unknown
[2020-05-14 18:27:00] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:27:04] [INFO ] [Real]Absence check using 115 positive place invariants in 10010 ms returned unknown
[2020-05-14 18:27:15] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:27:18] [INFO ] [Real]Absence check using 115 positive place invariants in 9334 ms returned unknown
[2020-05-14 18:27:30] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:27:33] [INFO ] [Real]Absence check using 115 positive place invariants in 9316 ms returned unknown
[2020-05-14 18:27:46] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:27:50] [INFO ] [Real]Absence check using 115 positive place invariants in 9719 ms returned unknown
[2020-05-14 18:28:03] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:28:07] [INFO ] [Real]Absence check using 115 positive place invariants in 9761 ms returned unknown
[2020-05-14 18:28:20] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:28:23] [INFO ] [Real]Absence check using 115 positive place invariants in 9733 ms returned unknown
[2020-05-14 18:28:37] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:28:40] [INFO ] [Real]Absence check using 115 positive place invariants in 9709 ms returned unknown
[2020-05-14 18:28:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:28:57] [INFO ] [Real]Absence check using 115 positive place invariants in 9715 ms returned unknown
[2020-05-14 18:29:11] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:29:14] [INFO ] [Real]Absence check using 115 positive place invariants in 9584 ms returned unknown
[2020-05-14 18:29:26] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:29:30] [INFO ] [Real]Absence check using 115 positive place invariants in 9672 ms returned unknown
[2020-05-14 18:29:43] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:29:46] [INFO ] [Real]Absence check using 115 positive place invariants in 9679 ms returned unknown
[2020-05-14 18:30:00] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:30:03] [INFO ] [Real]Absence check using 115 positive place invariants in 9683 ms returned unknown
[2020-05-14 18:30:16] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:30:19] [INFO ] [Real]Absence check using 115 positive place invariants in 9667 ms returned unknown
[2020-05-14 18:30:32] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:30:35] [INFO ] [Real]Absence check using 115 positive place invariants in 9291 ms returned unknown
[2020-05-14 18:30:47] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:30:50] [INFO ] [Real]Absence check using 115 positive place invariants in 9753 ms returned unknown
[2020-05-14 18:31:03] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:31:06] [INFO ] [Real]Absence check using 115 positive place invariants in 9633 ms returned unknown
[2020-05-14 18:31:19] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:31:23] [INFO ] [Real]Absence check using 115 positive place invariants in 9570 ms returned unknown
[2020-05-14 18:31:37] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:31:40] [INFO ] [Real]Absence check using 115 positive place invariants in 10130 ms returned unknown
[2020-05-14 18:31:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:31:57] [INFO ] [Real]Absence check using 115 positive place invariants in 10234 ms returned unknown
[2020-05-14 18:32:10] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:32:13] [INFO ] [Real]Absence check using 115 positive place invariants in 10011 ms returned unknown
[2020-05-14 18:32:25] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:32:29] [INFO ] [Real]Absence check using 115 positive place invariants in 9861 ms returned unknown
[2020-05-14 18:32:41] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:32:44] [INFO ] [Real]Absence check using 115 positive place invariants in 9560 ms returned unknown
[2020-05-14 18:32:58] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:33:01] [INFO ] [Real]Absence check using 115 positive place invariants in 9553 ms returned unknown
[2020-05-14 18:33:15] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:33:18] [INFO ] [Real]Absence check using 115 positive place invariants in 9818 ms returned unknown
[2020-05-14 18:33:32] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:33:35] [INFO ] [Real]Absence check using 115 positive place invariants in 10064 ms returned unknown
[2020-05-14 18:33:48] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:33:52] [INFO ] [Real]Absence check using 115 positive place invariants in 9587 ms returned unknown
[2020-05-14 18:34:05] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:34:08] [INFO ] [Real]Absence check using 115 positive place invariants in 9807 ms returned unknown
[2020-05-14 18:34:21] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:34:24] [INFO ] [Real]Absence check using 115 positive place invariants in 9702 ms returned unknown
[2020-05-14 18:34:38] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:34:41] [INFO ] [Real]Absence check using 115 positive place invariants in 9967 ms returned unknown
[2020-05-14 18:34:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:34:57] [INFO ] [Real]Absence check using 115 positive place invariants in 9551 ms returned unknown
[2020-05-14 18:35:10] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:35:13] [INFO ] [Real]Absence check using 115 positive place invariants in 9357 ms returned unknown
[2020-05-14 18:35:27] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:35:30] [INFO ] [Real]Absence check using 115 positive place invariants in 9670 ms returned unknown
[2020-05-14 18:35:43] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:35:46] [INFO ] [Real]Absence check using 115 positive place invariants in 9656 ms returned unknown
[2020-05-14 18:36:00] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:36:03] [INFO ] [Real]Absence check using 115 positive place invariants in 9806 ms returned unknown
[2020-05-14 18:36:15] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:36:18] [INFO ] [Real]Absence check using 115 positive place invariants in 9555 ms returned unknown
[2020-05-14 18:36:32] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:36:35] [INFO ] [Real]Absence check using 115 positive place invariants in 9993 ms returned unknown
[2020-05-14 18:36:47] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:36:51] [INFO ] [Real]Absence check using 115 positive place invariants in 9737 ms returned unknown
[2020-05-14 18:37:02] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:37:05] [INFO ] [Real]Absence check using 115 positive place invariants in 9359 ms returned unknown
[2020-05-14 18:37:18] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:37:21] [INFO ] [Real]Absence check using 115 positive place invariants in 9818 ms returned unknown
[2020-05-14 18:37:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:37:36] [INFO ] [Real]Absence check using 115 positive place invariants in 9497 ms returned unknown
[2020-05-14 18:37:48] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:37:51] [INFO ] [Real]Absence check using 115 positive place invariants in 9801 ms returned unknown
[2020-05-14 18:38:04] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:38:07] [INFO ] [Real]Absence check using 115 positive place invariants in 9489 ms returned unknown
[2020-05-14 18:38:19] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:38:22] [INFO ] [Real]Absence check using 115 positive place invariants in 9468 ms returned unknown
[2020-05-14 18:38:35] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:38:38] [INFO ] [Real]Absence check using 115 positive place invariants in 9639 ms returned unknown
[2020-05-14 18:38:52] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:38:56] [INFO ] [Real]Absence check using 115 positive place invariants in 9730 ms returned unknown
[2020-05-14 18:39:09] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:39:13] [INFO ] [Real]Absence check using 115 positive place invariants in 10519 ms returned unknown
[2020-05-14 18:39:26] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:39:29] [INFO ] [Real]Absence check using 115 positive place invariants in 9616 ms returned unknown
[2020-05-14 18:39:42] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:39:46] [INFO ] [Real]Absence check using 115 positive place invariants in 10509 ms returned unknown
[2020-05-14 18:40:00] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:40:04] [INFO ] [Real]Absence check using 115 positive place invariants in 9880 ms returned unknown
[2020-05-14 18:40:16] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:40:19] [INFO ] [Real]Absence check using 115 positive place invariants in 9368 ms returned unknown
[2020-05-14 18:40:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:40:36] [INFO ] [Real]Absence check using 115 positive place invariants in 9747 ms returned unknown
[2020-05-14 18:40:49] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:40:53] [INFO ] [Real]Absence check using 115 positive place invariants in 9605 ms returned unknown
[2020-05-14 18:41:06] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:41:09] [INFO ] [Real]Absence check using 115 positive place invariants in 9813 ms returned unknown
[2020-05-14 18:41:22] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:41:26] [INFO ] [Real]Absence check using 115 positive place invariants in 9754 ms returned unknown
[2020-05-14 18:41:38] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:41:41] [INFO ] [Real]Absence check using 115 positive place invariants in 9527 ms returned unknown
[2020-05-14 18:41:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:41:57] [INFO ] [Real]Absence check using 115 positive place invariants in 9772 ms returned unknown
[2020-05-14 18:42:10] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:42:13] [INFO ] [Real]Absence check using 115 positive place invariants in 9793 ms returned unknown
[2020-05-14 18:42:26] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:42:29] [INFO ] [Real]Absence check using 115 positive place invariants in 9764 ms returned unknown
[2020-05-14 18:42:42] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:42:46] [INFO ] [Real]Absence check using 115 positive place invariants in 9677 ms returned unknown
[2020-05-14 18:42:59] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:43:02] [INFO ] [Real]Absence check using 115 positive place invariants in 10163 ms returned unknown
[2020-05-14 18:43:16] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:43:20] [INFO ] [Real]Absence check using 115 positive place invariants in 10748 ms returned unknown
[2020-05-14 18:43:34] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:43:37] [INFO ] [Real]Absence check using 115 positive place invariants in 9809 ms returned unknown
[2020-05-14 18:43:49] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:43:52] [INFO ] [Real]Absence check using 115 positive place invariants in 9475 ms returned unknown
[2020-05-14 18:44:05] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:44:08] [INFO ] [Real]Absence check using 115 positive place invariants in 9786 ms returned unknown
[2020-05-14 18:44:20] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:44:23] [INFO ] [Real]Absence check using 115 positive place invariants in 9483 ms returned unknown
[2020-05-14 18:44:36] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:44:39] [INFO ] [Real]Absence check using 115 positive place invariants in 9570 ms returned unknown
[2020-05-14 18:44:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:44:56] [INFO ] [Real]Absence check using 115 positive place invariants in 9644 ms returned unknown
[2020-05-14 18:45:07] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:45:11] [INFO ] [Real]Absence check using 115 positive place invariants in 9648 ms returned unknown
[2020-05-14 18:45:24] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:45:27] [INFO ] [Real]Absence check using 115 positive place invariants in 9708 ms returned unknown
[2020-05-14 18:45:40] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:45:43] [INFO ] [Real]Absence check using 115 positive place invariants in 9991 ms returned unknown
[2020-05-14 18:45:57] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:46:01] [INFO ] [Real]Absence check using 115 positive place invariants in 10084 ms returned unknown
[2020-05-14 18:46:14] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:46:17] [INFO ] [Real]Absence check using 115 positive place invariants in 10196 ms returned unknown
[2020-05-14 18:46:31] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:46:34] [INFO ] [Real]Absence check using 115 positive place invariants in 9921 ms returned unknown
[2020-05-14 18:46:48] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:46:51] [INFO ] [Real]Absence check using 115 positive place invariants in 9579 ms returned unknown
[2020-05-14 18:47:03] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:47:06] [INFO ] [Real]Absence check using 115 positive place invariants in 9515 ms returned unknown
[2020-05-14 18:47:20] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:47:23] [INFO ] [Real]Absence check using 115 positive place invariants in 9889 ms returned unknown
[2020-05-14 18:47:37] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:47:40] [INFO ] [Real]Absence check using 115 positive place invariants in 9480 ms returned unknown
[2020-05-14 18:47:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:47:56] [INFO ] [Real]Absence check using 115 positive place invariants in 9953 ms returned unknown
[2020-05-14 18:48:10] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:48:13] [INFO ] [Real]Absence check using 115 positive place invariants in 9827 ms returned unknown
[2020-05-14 18:48:25] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:48:28] [INFO ] [Real]Absence check using 115 positive place invariants in 9421 ms returned unknown
[2020-05-14 18:48:40] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:48:43] [INFO ] [Real]Absence check using 115 positive place invariants in 9533 ms returned unknown
[2020-05-14 18:48:56] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:48:59] [INFO ] [Real]Absence check using 115 positive place invariants in 9630 ms returned unknown
[2020-05-14 18:49:11] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:49:14] [INFO ] [Real]Absence check using 115 positive place invariants in 9559 ms returned unknown
[2020-05-14 18:49:28] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:49:31] [INFO ] [Real]Absence check using 115 positive place invariants in 9903 ms returned unknown
[2020-05-14 18:49:45] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:49:48] [INFO ] [Real]Absence check using 115 positive place invariants in 9545 ms returned unknown
[2020-05-14 18:49:59] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:50:03] [INFO ] [Real]Absence check using 115 positive place invariants in 9835 ms returned unknown
[2020-05-14 18:50:16] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:50:19] [INFO ] [Real]Absence check using 115 positive place invariants in 9898 ms returned unknown
[2020-05-14 18:50:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:50:36] [INFO ] [Real]Absence check using 115 positive place invariants in 9945 ms returned unknown
[2020-05-14 18:50:49] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:50:52] [INFO ] [Real]Absence check using 115 positive place invariants in 9968 ms returned unknown
[2020-05-14 18:51:05] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:51:08] [INFO ] [Real]Absence check using 115 positive place invariants in 9724 ms returned unknown
[2020-05-14 18:51:21] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:51:24] [INFO ] [Real]Absence check using 115 positive place invariants in 9673 ms returned unknown
[2020-05-14 18:51:37] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:51:40] [INFO ] [Real]Absence check using 115 positive place invariants in 9702 ms returned unknown
[2020-05-14 18:51:53] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:51:56] [INFO ] [Real]Absence check using 115 positive place invariants in 9459 ms returned unknown
[2020-05-14 18:52:09] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:52:12] [INFO ] [Real]Absence check using 115 positive place invariants in 9717 ms returned unknown
[2020-05-14 18:52:25] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:52:28] [INFO ] [Real]Absence check using 115 positive place invariants in 9834 ms returned unknown
[2020-05-14 18:52:42] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:52:45] [INFO ] [Real]Absence check using 115 positive place invariants in 10139 ms returned unknown
[2020-05-14 18:52:57] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:53:01] [INFO ] [Real]Absence check using 115 positive place invariants in 9704 ms returned unknown
[2020-05-14 18:53:14] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:53:17] [INFO ] [Real]Absence check using 115 positive place invariants in 9477 ms returned unknown
[2020-05-14 18:53:31] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:53:34] [INFO ] [Real]Absence check using 115 positive place invariants in 9816 ms returned unknown
[2020-05-14 18:53:47] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:53:50] [INFO ] [Real]Absence check using 115 positive place invariants in 9567 ms returned unknown
[2020-05-14 18:54:03] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:54:06] [INFO ] [Real]Absence check using 115 positive place invariants in 9529 ms returned unknown
[2020-05-14 18:54:19] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:54:22] [INFO ] [Real]Absence check using 115 positive place invariants in 9697 ms returned unknown
[2020-05-14 18:54:35] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:54:38] [INFO ] [Real]Absence check using 115 positive place invariants in 9704 ms returned unknown
[2020-05-14 18:54:51] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:54:55] [INFO ] [Real]Absence check using 115 positive place invariants in 9888 ms returned unknown
[2020-05-14 18:55:06] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:55:09] [INFO ] [Real]Absence check using 115 positive place invariants in 9564 ms returned unknown
[2020-05-14 18:55:22] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:55:25] [INFO ] [Real]Absence check using 115 positive place invariants in 9904 ms returned unknown
[2020-05-14 18:55:37] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:55:40] [INFO ] [Real]Absence check using 115 positive place invariants in 9572 ms returned unknown
[2020-05-14 18:55:54] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:55:57] [INFO ] [Real]Absence check using 115 positive place invariants in 10118 ms returned unknown
[2020-05-14 18:56:11] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:56:14] [INFO ] [Real]Absence check using 115 positive place invariants in 9754 ms returned unknown
[2020-05-14 18:56:27] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:56:30] [INFO ] [Real]Absence check using 115 positive place invariants in 9811 ms returned unknown
[2020-05-14 18:56:44] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:56:47] [INFO ] [Real]Absence check using 115 positive place invariants in 9759 ms returned unknown
[2020-05-14 18:57:01] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:57:04] [INFO ] [Real]Absence check using 115 positive place invariants in 9488 ms returned unknown
[2020-05-14 18:57:17] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:57:21] [INFO ] [Real]Absence check using 115 positive place invariants in 10003 ms returned unknown
[2020-05-14 18:57:34] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:57:37] [INFO ] [Real]Absence check using 115 positive place invariants in 9599 ms returned unknown
[2020-05-14 18:57:51] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:57:54] [INFO ] [Real]Absence check using 115 positive place invariants in 9718 ms returned unknown
[2020-05-14 18:58:09] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:58:12] [INFO ] [Real]Absence check using 115 positive place invariants in 9864 ms returned unknown
[2020-05-14 18:58:25] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:58:28] [INFO ] [Real]Absence check using 115 positive place invariants in 9719 ms returned unknown
[2020-05-14 18:58:41] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:58:44] [INFO ] [Real]Absence check using 115 positive place invariants in 9706 ms returned unknown
[2020-05-14 18:58:57] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 18:59:00] [INFO ] [Real]Absence check using 115 positive place invariants in 9671 ms returned unknown
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="FamilyReunion-COL-L00100M0010C005P005G002"
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 FamilyReunion-COL-L00100M0010C005P005G002, 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 r081-smll-158922977500140"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-COL-L00100M0010C005P005G002.tgz
mv FamilyReunion-COL-L00100M0010C005P005G002 execution
cd execution
if [ "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 ;