About the Execution of Tapaal for ViralEpidemic-PT-S16D2C4A03
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2294.688 | 3591566.00 | 12936661.00 | 1657.40 | F????????F?F?F?T | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r448-smll-171701115500411.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool tapaal
Input is ViralEpidemic-PT-S16D2C4A03, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r448-smll-171701115500411
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 54M
-rw-r--r-- 1 mcc users 7.2K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 56K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.1K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:43 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.8K May 18 16:43 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 5.2K May 19 07:18 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K May 19 16:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 19 07:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 19 19:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Apr 12 07:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 121K Apr 12 07:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 15K Apr 12 06:10 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 100K Apr 12 06:10 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Apr 23 08:05 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Apr 23 08:05 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 11 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 54M May 18 16:43 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 ViralEpidemic-PT-S16D2C4A03-LTLCardinality-00
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-LTLCardinality-01
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-LTLCardinality-02
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-LTLCardinality-03
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-LTLCardinality-04
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-LTLCardinality-05
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-LTLCardinality-06
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-LTLCardinality-07
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-LTLCardinality-08
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-LTLCardinality-09
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-LTLCardinality-10
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-LTLCardinality-11
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-LTLCardinality-12
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-LTLCardinality-13
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-LTLCardinality-14
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-LTLCardinality-15
=== Now, execution of the tool begins
BK_START 1717490251403
tapaal
Got BK_BIN_PATH=/home/mcc/BenchKit/bin/
---> tapaal --- TAPAAL - v2.2024
Setting MODEL_PATH=.
Setting VERIFYPN=/home/mcc/BenchKit/bin/verifypn
Got BK_TIME_CONFINEMENT=3600
Setting TEMPDIR=/home/mcc/BenchKit/bin/tmp
Got BK_MEMORY_CONFINEMENT=16384
Limiting to 16265216 kB
Total timeout: 3590
Time left: 3590
*************************************
* TAPAAL verifying LTLCardinality *
*************************************
TEMPDIR=/home/mcc/BenchKit/bin/tmp
QF=/home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG
MF=/home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW
Time left: 3590
---------------------------------------------------
Step -1: Stripping Colors
---------------------------------------------------
Verifying stripped models (16 in total)
Time left: 3588
---------------------------------------------------
Step 0: Parallel Simplification
---------------------------------------------------
Doing parallel simplification (16 in total)
Total simplification timout is 718 -- reduction timeout is 299
timeout 1017 /home/mcc/BenchKit/bin/verifypn -n -ltl -q 718 -l 29 -d 299 -z 4 -s OverApprox --binary-query-io 2 --write-simplified /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --write-reduced /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW -x 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16 ./model.pnml ./LTLCardinality.xml
FORMULA ViralEpidemic-PT-S16D2C4A03-LTLCardinality-00 FALSE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT LP_APPROX
Query index 0 was solved
Query is NOT satisfied.
FORMULA ViralEpidemic-PT-S16D2C4A03-LTLCardinality-09 FALSE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT LP_APPROX
Query index 9 was solved
Query is NOT satisfied.
FORMULA ViralEpidemic-PT-S16D2C4A03-LTLCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT LP_APPROX
Query index 11 was solved
Query is NOT satisfied.
FORMULA ViralEpidemic-PT-S16D2C4A03-LTLCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT LP_APPROX
Query index 13 was solved
Query is NOT satisfied.
FORMULA ViralEpidemic-PT-S16D2C4A03-LTLCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT LP_APPROX
Query index 15 was solved
Query is satisfied.
Solution found by parallel simplification (step 0)
Solution found by parallel simplification (step 0)
Solution found by parallel simplification (step 0)
Solution found by parallel simplification (step 0)
Solution found by parallel simplification (step 0)
Time left: 3531
---------------------------------------------------
Step 1: Parallel processing
---------------------------------------------------
Doing parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 299 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.084019 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@27.67,554240@@@
Spent 0.083648 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@30.66,555196@@@
Spent 0.070814 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@31.40,554644@@@
Spent 0.007305 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@31.80,554008@@@
Time left: 3499
------------------- QUERY 2 ----------------------
No solution found
Spent 0.084054 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@27.04,556484@@@
Spent 0.067135 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@30.66,552876@@@
Spent 0.048575 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@30.76,555832@@@
Spent 0.007276 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@31.83,556276@@@
Time left: 3467
------------------- QUERY 3 ----------------------
No solution found
Spent 0.094903 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@26.67,553280@@@
Spent 0.095262 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@28.68,555632@@@
Spent 0.005824 on verification
Spent 0.034611 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@29.56,554876@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@29.65,554560@@@
Time left: 3437
------------------- QUERY 4 ----------------------
No solution found
Spent 0.074547 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.27,555716@@@
Spent 0.05557 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.45,559088@@@
Spent 0.007838 on verification
Spent 0.088557 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.55,558036@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.68,555628@@@
Time left: 3414
------------------- QUERY 5 ----------------------
No solution found
Spent 0.045191 on verification
Spent 0.006067 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.46,555828@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.60,556400@@@
Spent 0.092553 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.89,555108@@@
Spent 0.070084 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.48,557712@@@
Time left: 3390
------------------- QUERY 6 ----------------------
No solution found
Spent 0.062173 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.32,556588@@@
Spent 0.071726 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.14,553692@@@
Spent 0.008162 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.066993 on verification
Command exited with non-zero status 255
@@@23.29,555920@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.48,556008@@@
Time left: 3366
------------------- QUERY 7 ----------------------
No solution found
Spent 0.087372 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.41,555100@@@
Spent 0.008179 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@24.00,553680@@@
Spent 0.078417 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@24.36,555336@@@
Spent 0.047453 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@24.66,554536@@@
Time left: 3341
------------------- QUERY 8 ----------------------
No solution found
Spent 0.061674 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.49,557380@@@
Spent 0.088669 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@24.31,555928@@@
Spent 0.101222 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@24.40,554084@@@
Spent 0.007827 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@25.13,555584@@@
Time left: 3316
------------------- QUERY 9 ----------------------
No solution found
Spent 0.05579 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.81,554060@@@
Spent 0.085395 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.05,558368@@@
Spent 0.007847 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.34,553364@@@
Spent 0.090571 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.85,556600@@@
Time left: 3292
------------------- QUERY 10 ----------------------
No solution found
Spent 0.010683 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.49,554400@@@
Spent 0.088413 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.38,555024@@@
Spent 0.086096 on verification
Spent 0.044851 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.64,554952@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.79,558104@@@
Time left: 3268
------------------- QUERY 11 ----------------------
No solution found
Spent 0.005666 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.32,554536@@@
Spent 0.06733 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.89,557124@@@
Spent 0.070717 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.99,554748@@@
Spent 0.030906 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@24.88,553984@@@
Time left: 3243
---------------------------------------------------
Step 2: Sequential processing
---------------------------------------------------
Remaining 11 queries are verified sequentially.
Each query is verified for a dynamic timeout (at least 512 seconds)
Time left: 3243
------------------- QUERY 1 ----------------------
Running query 1 for 512 seconds. Remaining: 11 queries and 3243 seconds
No solution found
Spent 0.096406 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@24.80,644380@@@
Time left: 3218
------------------- QUERY 2 ----------------------
Running query 2 for 512 seconds. Remaining: 10 queries and 3218 seconds
No solution found
Spent 0.071059 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@24.77,641680@@@
Time left: 3192
------------------- QUERY 3 ----------------------
Running query 3 for 512 seconds. Remaining: 9 queries and 3192 seconds
No solution found
Spent 0.092647 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@29.23,639236@@@
Time left: 3163
------------------- QUERY 4 ----------------------
Running query 4 for 512 seconds. Remaining: 8 queries and 3163 seconds
No solution found
Spent 0.091655 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@25.47,653472@@@
Time left: 3137
------------------- QUERY 5 ----------------------
Running query 5 for 512 seconds. Remaining: 7 queries and 3137 seconds
No solution found
Spent 0.066563 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@26.32,637380@@@
Time left: 3111
------------------- QUERY 6 ----------------------
Running query 6 for 518 seconds. Remaining: 6 queries and 3111 seconds
No solution found
Spent 0.086778 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@25.98,643044@@@
Time left: 3084
------------------- QUERY 7 ----------------------
Running query 7 for 616 seconds. Remaining: 5 queries and 3084 seconds
No solution found
Spent 0.072346 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@28.62,653256@@@
Time left: 3056
------------------- QUERY 8 ----------------------
Running query 8 for 764 seconds. Remaining: 4 queries and 3056 seconds
No solution found
Spent 0.08378 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@28.36,636824@@@
Time left: 3027
------------------- QUERY 9 ----------------------
Running query 9 for 1009 seconds. Remaining: 3 queries and 3027 seconds
No solution found
Spent 0.099024 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@30.82,643992@@@
Time left: 2996
------------------- QUERY 10 ----------------------
Running query 10 for 1498 seconds. Remaining: 2 queries and 2996 seconds
No solution found
Spent 0.071768 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@33.13,655032@@@
Time left: 2962
------------------- QUERY 11 ----------------------
Running query 11 for 2962 seconds. Remaining: 1 queries and 2962 seconds
No solution found
Spent 0.093521 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@36.90,651468@@@
Time left: 2925
Time left: 2925
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 265 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.049294 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.14,555200@@@
Spent 0.050506 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.24,554408@@@
Spent 0.048521 on verification
Spent 0.05238 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.66,558904@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.70,555176@@@
Time left: 2901
------------------- QUERY 2 ----------------------
No solution found
Spent 0.049606 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.19,553708@@@
Spent 0.051808 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.28,555488@@@
Spent 0.046418 on verification
Spent 0.047183 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.65,557612@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.66,556368@@@
Time left: 2877
------------------- QUERY 3 ----------------------
No solution found
Spent 0.034883 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.06,556084@@@
Spent 0.03468 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.30,553432@@@
Spent 0.041699 on verification
Spent 0.045465 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.55,557856@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.56,554300@@@
Time left: 2853
------------------- QUERY 4 ----------------------
No solution found
Spent 0.051499 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.18,554976@@@
Spent 0.050311 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.28,553664@@@
Spent 0.048875 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.52,555080@@@
Spent 0.041243 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.83,556992@@@
Time left: 2830
------------------- QUERY 5 ----------------------
No solution found
Spent 0.040089 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.95,557912@@@
Spent 0.04 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.99,557244@@@
Spent 0.042588 on verification
Spent 0.042794 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.52,555884@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.70,555180@@@
Time left: 2807
------------------- QUERY 6 ----------------------
No solution found
Spent 0.03616 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.22,555012@@@
Spent 0.045865 on verification
Spent 0.039897 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.32,553316@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.41,554644@@@
Spent 0.040113 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.56,555284@@@
Time left: 2785
------------------- QUERY 7 ----------------------
No solution found
Spent 0.036204 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.93,555512@@@
Spent 0.043064 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.05,555096@@@
Spent 0.03398 on verification
Spent 0.03669 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.33,555824@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.46,556140@@@
Time left: 2762
------------------- QUERY 8 ----------------------
No solution found
Spent 0.034998 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.87,554672@@@
Spent 0.033798 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.31,556244@@@
Spent 0.048632 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.047962 on verification
Command exited with non-zero status 255
@@@22.48,554180@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.57,557860@@@
Time left: 2739
------------------- QUERY 9 ----------------------
No solution found
Spent 0.039733 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.06,555068@@@
Spent 0.036685 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.10,555168@@@
Spent 0.047408 on verification
Spent 0.048623 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.55,557936@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.67,553848@@@
Time left: 2716
------------------- QUERY 10 ----------------------
No solution found
Spent 0.04432 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.24,555616@@@
Spent 0.036202 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.24,554432@@@
Spent 0.03815 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@24.70,555600@@@
Spent 0.034901 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@25.01,554020@@@
Time left: 2691
------------------- QUERY 11 ----------------------
No solution found
Spent 0.049474 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.10,554348@@@
Spent 0.053784 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.20,557148@@@
Spent 0.053156 on verification
Spent 0.039262 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.49,553364@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.60,558896@@@
Time left: 2668
Time left: 2668
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 242 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.04036 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.12,554472@@@
Spent 0.045525 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.23,555304@@@
Spent 0.045367 on verification
Spent 0.055397 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.41,555256@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.44,557804@@@
Time left: 2644
------------------- QUERY 2 ----------------------
No solution found
Spent 0.043471 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.87,554140@@@
Spent 0.042461 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.98,553732@@@
Spent 0.052232 on verification
Spent 0.054339 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.52,553524@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.64,554904@@@
Time left: 2620
------------------- QUERY 3 ----------------------
No solution found
Spent 0.045693 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.85,553704@@@
Spent 0.0365 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.00,559760@@@
Spent 0.047283 on verification
Spent 0.038842 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.52,555024@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.60,553832@@@
Time left: 2596
------------------- QUERY 4 ----------------------
No solution found
Spent 0.06434 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.27,555784@@@
Spent 0.053157 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.046729 on verification
Command exited with non-zero status 255
@@@22.28,557296@@@
Spent 0.044343 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.49,554468@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.56,557880@@@
Time left: 2574
------------------- QUERY 5 ----------------------
No solution found
Spent 0.034646 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.98,556280@@@
Spent 0.045747 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.28,555592@@@
Spent 0.034541 on verification
Spent 0.036256 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.54,553552@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.55,557872@@@
Time left: 2551
------------------- QUERY 6 ----------------------
No solution found
Spent 0.037785 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.88,554840@@@
Spent 0.035355 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.18,556196@@@
Spent 0.045348 on verification
Spent 0.045557 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.58,554220@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.60,553996@@@
Time left: 2528
------------------- QUERY 7 ----------------------
No solution found
Spent 0.043591 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.98,556760@@@
Spent 0.044374 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.18,554616@@@
Spent 0.051887 on verification
Spent 0.050135 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.56,555480@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.58,556836@@@
Time left: 2505
------------------- QUERY 8 ----------------------
No solution found
Spent 0.03416 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.93,558088@@@
Spent 0.038431 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.12,556792@@@
Spent 0.037899 on verification
Spent 0.033276 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.53,553352@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.56,554736@@@
Time left: 2482
------------------- QUERY 9 ----------------------
No solution found
Spent 0.032631 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.92,553648@@@
Spent 0.036204 on verification
Spent 0.030649 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.00,556900@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.03,555804@@@
Spent 0.02824 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.32,553544@@@
Time left: 2460
------------------- QUERY 10 ----------------------
No solution found
Spent 0.039005 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.23,555192@@@
Spent 0.040199 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.22,555380@@@
Spent 0.046221 on verification
Spent 0.046555 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.62,558280@@@
Command exited with non-zero status 255
@@@21.62,555260@@@
Time left: 2438
------------------- QUERY 11 ----------------------
No solution found
Spent 0.039449 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.99,554448@@@
Spent 0.03815 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.11,555692@@@
Spent 0.030974 on verification
Spent 0.036599 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.89,554812@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.00,555016@@@
Time left: 2415
Time left: 2415
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 219 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.04097 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.98,555608@@@
Spent 0.046009 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.10,554260@@@
Spent 0.034489 on verification
Spent 0.039998 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.60,554500@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.64,554088@@@
Time left: 2393
------------------- QUERY 2 ----------------------
No solution found
Spent 0.031935 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.05,555956@@@
Spent 0.036032 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.27,556032@@@
Spent 0.028391 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.45,556696@@@
Spent 0.027285 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.67,554584@@@
Time left: 2370
------------------- QUERY 3 ----------------------
No solution found
Spent 0.042082 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.05,556208@@@
Spent 0.042279 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.05,557244@@@
Spent 0.03749 on verification
Spent 0.037922 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.71,554184@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.72,557792@@@
Time left: 2347
------------------- QUERY 4 ----------------------
No solution found
Spent 0.040424 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.04,553208@@@
Spent 0.036383 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.53,555040@@@
Spent 0.037626 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.70,554700@@@
Spent 0.031637 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.17,553600@@@
Time left: 2324
------------------- QUERY 5 ----------------------
No solution found
Spent 0.027732 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.13,556724@@@
Spent 0.041664 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.64,556680@@@
Spent 0.02902 on verification
Spent 0.042131 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.66,556092@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.75,554588@@@
Time left: 2302
------------------- QUERY 6 ----------------------
No solution found
Spent 0.028163 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.00,554484@@@
Spent 0.035613 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.24,556800@@@
Spent 0.029261 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.031676 on verification
Command exited with non-zero status 255
@@@21.75,556372@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.86,554060@@@
Time left: 2280
------------------- QUERY 7 ----------------------
No solution found
Spent 0.0376 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.10,555088@@@
Spent 0.038159 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.18,554956@@@
Spent 0.033462 on verification
Spent 0.037059 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.75,554108@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.90,556232@@@
Time left: 2258
------------------- QUERY 8 ----------------------
No solution found
Spent 0.040592 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.13,553076@@@
Spent 0.043698 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.21,554536@@@
Spent 0.03225 on verification
Spent 0.028331 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.80,556352@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.87,553920@@@
Time left: 2236
------------------- QUERY 9 ----------------------
No solution found
Spent 0.02861 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.22,556036@@@
Spent 0.03296 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.29,555352@@@
Spent 0.034039 on verification
Spent 0.031127 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.71,554284@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.73,555372@@@
Time left: 2214
------------------- QUERY 10 ----------------------
No solution found
Spent 0.031641 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.09,553516@@@
Spent 0.032265 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.14,555864@@@
Spent 0.04191 on verification
Spent 0.038755 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.79,558040@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.85,555944@@@
Time left: 2192
------------------- QUERY 11 ----------------------
No solution found
Spent 0.039384 on verification
Spent 0.04115 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.40,555036@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.40,556016@@@
Spent 0.031883 on verification
Spent 0.044571 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.80,554416@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.00,557816@@@
Time left: 2169
Time left: 2169
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 197 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.043557 on verification
Spent 0.0408 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.63,555980@@@
Spent 0.038988 on verification
Spent 0.03809 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.65,554960@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.73,557368@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.81,556280@@@
Time left: 2146
------------------- QUERY 2 ----------------------
No solution found
Spent 0.030266 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.041922 on verification
Command exited with non-zero status 255
@@@22.43,555548@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.59,556648@@@
Spent 0.060805 on verification
Spent 0.04187 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.81,556964@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.95,557216@@@
Time left: 2123
------------------- QUERY 3 ----------------------
No solution found
Spent 0.05595 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@25.02,554500@@@
Spent 0.04281 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@25.07,554692@@@
Spent 0.056869 on verification
Spent 0.053327 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@25.38,554860@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@25.51,555200@@@
Time left: 2097
------------------- QUERY 4 ----------------------
No solution found
Spent 0.026803 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.20,555796@@@
Spent 0.062277 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.33,554988@@@
Spent 0.035659 on verification
Spent 0.034839 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.87,555720@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.00,554656@@@
Time left: 2074
------------------- QUERY 5 ----------------------
No solution found
Spent 0.027602 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.23,559252@@@
Spent 0.029328 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.41,555620@@@
Spent 0.032311 on verification
Spent 0.027835 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.38,555280@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.40,554076@@@
Time left: 2051
------------------- QUERY 6 ----------------------
No solution found
Spent 0.030535 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.14,557540@@@
Spent 0.02974 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.17,556136@@@
Spent 0.043941 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.045156 on verification
Command exited with non-zero status 255
@@@22.34,555964@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.37,555592@@@
Time left: 2029
------------------- QUERY 7 ----------------------
No solution found
Spent 0.039825 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.17,557000@@@
Spent 0.052092 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.58,556724@@@
Spent 0.040766 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.08,554168@@@
Spent 0.042249 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.43,557164@@@
Time left: 2006
------------------- QUERY 8 ----------------------
No solution found
Spent 0.028796 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.26,555144@@@
Spent 0.032939 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.75,555960@@@
Spent 0.028937 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.96,554660@@@
Spent 0.033292 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.45,555344@@@
Time left: 1983
------------------- QUERY 9 ----------------------
No solution found
Spent 0.027431 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.11,556144@@@
Spent 0.028646 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.25,555116@@@
Spent 0.034494 on verification
Spent 0.033964 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.53,553340@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.58,554132@@@
Time left: 1960
------------------- QUERY 10 ----------------------
No solution found
Spent 0.029049 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.17,553764@@@
Spent 0.035827 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.32,558564@@@
Spent 0.028316 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.12,556148@@@
Spent 0.033541 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.31,555988@@@
Time left: 1938
------------------- QUERY 11 ----------------------
No solution found
Spent 0.059804 on verification
Spent 0.062672 on verification
Spent 0.07027 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.48,556508@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.54,553984@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.54,552972@@@
Spent 0.045849 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.26,555916@@@
Time left: 1914
Time left: 1914
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 174 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.048766 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.26,557008@@@
Spent 0.050164 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.41,556032@@@
Spent 0.048482 on verification
Spent 0.063037 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.48,555696@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.49,557088@@@
Time left: 1891
------------------- QUERY 2 ----------------------
No solution found
Spent 0.041601 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.12,554076@@@
Spent 0.050379 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.65,553604@@@
Spent 0.043515 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.12,554332@@@
Spent 0.044052 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.55,559168@@@
Time left: 1867
------------------- QUERY 3 ----------------------
No solution found
Spent 0.035808 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.61,556064@@@
Spent 0.036515 on verification
Spent 0.033085 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.99,553488@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.01,553220@@@
Spent 0.033241 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.25,558404@@@
Time left: 1843
------------------- QUERY 4 ----------------------
No solution found
Spent 0.043102 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.72,555088@@@
Spent 0.044245 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.98,555692@@@
Spent 0.038289 on verification
Spent 0.037955 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.26,557044@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.35,555124@@@
Time left: 1821
------------------- QUERY 5 ----------------------
No solution found
Spent 0.060451 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.72,555704@@@
Spent 0.062775 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.71,556340@@@
Spent 0.04489 on verification
Spent 0.046039 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.26,554524@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.38,557052@@@
Time left: 1798
------------------- QUERY 6 ----------------------
No solution found
Spent 0.03406 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.67,553272@@@
Spent 0.037526 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.70,555672@@@
Spent 0.031617 on verification
Spent 0.029554 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.27,557324@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.30,556080@@@
Time left: 1775
------------------- QUERY 7 ----------------------
No solution found
Spent 0.042982 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.58,554824@@@
Spent 0.043384 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.70,554300@@@
Spent 0.040392 on verification
Spent 0.038757 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.29,555324@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.33,555816@@@
Time left: 1753
------------------- QUERY 8 ----------------------
No solution found
Spent 0.043152 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.39,556120@@@
Spent 0.039997 on verification
Spent 0.040639 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.69,555904@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.78,556328@@@
Spent 0.038885 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.10,555332@@@
Time left: 1731
------------------- QUERY 9 ----------------------
No solution found
Spent 0.035595 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.32,554664@@@
Spent 0.046014 on verification
Spent 0.036944 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.042944 on verification
Command exited with non-zero status 255
@@@21.35,555700@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.41,557052@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.43,557316@@@
Time left: 1709
------------------- QUERY 10 ----------------------
No solution found
Spent 0.03886 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.037085 on verification
Spent 0.034493 on verification
Command exited with non-zero status 255
@@@21.36,557456@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.37,557704@@@
Spent 0.033862 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.60,556784@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.68,554096@@@
Time left: 1687
------------------- QUERY 11 ----------------------
No solution found
Spent 0.050798 on verification
Spent 0.051779 on verification
Spent 0.040674 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.036895 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.37,557456@@@
Command exited with non-zero status 255
@@@21.38,556168@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.49,555108@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.51,554568@@@
Time left: 1665
Time left: 1665
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 151 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.045118 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.96,556116@@@
Spent 0.037005 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.35,556588@@@
Spent 0.045548 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.35,554252@@@
Spent 0.032432 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.58,555308@@@
Time left: 1642
------------------- QUERY 2 ----------------------
No solution found
Spent 0.040942 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.18,555136@@@
Spent 0.037828 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.25,555048@@@
Spent 0.036687 on verification
Spent 0.034455 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.60,554504@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.66,553720@@@
Time left: 1619
------------------- QUERY 3 ----------------------
No solution found
Spent 0.027697 on verification
Spent 0.028817 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.53,554164@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.57,555692@@@
Spent 0.030853 on verification
Spent 0.032531 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.08,557052@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.17,554004@@@
Time left: 1596
------------------- QUERY 4 ----------------------
No solution found
Spent 0.031269 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.52,555464@@@
Spent 0.027587 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.36,558508@@@
Spent 0.027006 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.60,558680@@@
Spent 0.029585 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.42,558516@@@
Time left: 1572
------------------- QUERY 5 ----------------------
No solution found
Spent 0.034523 on verification
Spent 0.044789 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.47,557344@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.55,553540@@@
Spent 0.030847 on verification
Spent 0.036587 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.76,555408@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.93,556044@@@
Time left: 1550
------------------- QUERY 6 ----------------------
No solution found
Spent 0.042387 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.25,553256@@@
Spent 0.042208 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.24,556644@@@
Spent 0.044331 on verification
Spent 0.044553 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.67,558532@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.76,555348@@@
Time left: 1528
------------------- QUERY 7 ----------------------
No solution found
Spent 0.029337 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.50,554436@@@
Spent 0.037363 on verification
Spent 0.038594 on verification
Spent 0.04583 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.62,552900@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.71,556736@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.76,555512@@@
Time left: 1506
------------------- QUERY 8 ----------------------
No solution found
Spent 0.02798 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.24,554752@@@
Spent 0.033019 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.36,554612@@@
Spent 0.027821 on verification
Spent 0.033325 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.62,555320@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.77,557324@@@
Time left: 1484
------------------- QUERY 9 ----------------------
No solution found
Spent 0.033976 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.029398 on verification
Command exited with non-zero status 255
@@@21.39,554476@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.39,555196@@@
Spent 0.032463 on verification
Spent 0.029332 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.75,557452@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.88,553288@@@
Time left: 1462
------------------- QUERY 10 ----------------------
No solution found
Spent 0.036427 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.36,556164@@@
Spent 0.035251 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.39,554316@@@
Spent 0.043961 on verification
Spent 0.044793 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.90,554688@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.94,554384@@@
Time left: 1439
------------------- QUERY 11 ----------------------
No solution found
Spent 0.027425 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.28,555184@@@
Spent 0.028047 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.34,553572@@@
Spent 0.031184 on verification
Spent 0.035491 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.75,555904@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.87,553548@@@
Time left: 1417
Time left: 1417
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 128 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.031244 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.38,553640@@@
Spent 0.031954 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.60,555360@@@
Spent 0.046447 on verification
Spent 0.049989 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.67,553744@@@
Command exited with non-zero status 255
@@@22.69,554768@@@
Time left: 1394
------------------- QUERY 2 ----------------------
No solution found
Spent 0.052616 on verification
Spent 0.042494 on verification
Spent 0.056528 on verification
Spent 0.03072 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.43,554460@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.53,557436@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.56,553800@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.62,556540@@@
Time left: 1372
------------------- QUERY 3 ----------------------
No solution found
Spent 0.027256 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.02,557776@@@
Spent 0.031922 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.20,557516@@@
Spent 0.030725 on verification
Spent 0.0271 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.62,556772@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.68,556752@@@
Time left: 1349
------------------- QUERY 4 ----------------------
No solution found
Spent 0.027135 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.59,558212@@@
Spent 0.029774 on verification
Spent 0.031752 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.69,557660@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.035345 on verification
Command exited with non-zero status 255
@@@21.70,555732@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.88,556276@@@
Time left: 1326
------------------- QUERY 5 ----------------------
No solution found
Spent 0.055061 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.16,557812@@@
Spent 0.050388 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.28,554044@@@
Spent 0.050638 on verification
Spent 0.051837 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.33,554964@@@
Command exited with non-zero status 255
@@@22.33,556712@@@
Time left: 1304
------------------- QUERY 6 ----------------------
No solution found
Spent 0.030283 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.29,554980@@@
Spent 0.035609 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.56,553572@@@
Spent 0.029987 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.09,554940@@@
Spent 0.033392 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.39,557172@@@
Time left: 1281
------------------- QUERY 7 ----------------------
No solution found
Spent 0.030594 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.50,558444@@@
Spent 0.034483 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.64,553612@@@
Spent 0.028509 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.25,557352@@@
Spent 0.030534 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.52,554088@@@
Time left: 1258
------------------- QUERY 8 ----------------------
No solution found
Spent 0.030199 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.51,554340@@@
Spent 0.028899 on verification
Spent 0.030766 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.02,555708@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.08,556516@@@
Spent 0.029081 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.35,555780@@@
Time left: 1236
------------------- QUERY 9 ----------------------
No solution found
Spent 0.031457 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.49,559148@@@
Spent 0.031936 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.030138 on verification
Command exited with non-zero status 255
@@@21.82,554236@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.95,553476@@@
Spent 0.030211 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.37,555440@@@
Time left: 1213
------------------- QUERY 10 ----------------------
No solution found
Spent 0.037675 on verification
Spent 0.035585 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.54,555128@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.59,554144@@@
Spent 0.030258 on verification
Spent 0.032872 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.33,553196@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.44,557180@@@
Time left: 1190
------------------- QUERY 11 ----------------------
No solution found
Spent 0.042852 on verification
Spent 0.044241 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.45,555840@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.50,556492@@@
Spent 0.035775 on verification
Spent 0.032664 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.32,555284@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.35,559876@@@
Time left: 1168
Time left: 1168
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 106 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.029025 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.62,555200@@@
Spent 0.043532 on verification
Spent 0.040634 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.73,554644@@@
Spent 0.03848 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.87,554356@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.96,554712@@@
Time left: 1145
------------------- QUERY 2 ----------------------
No solution found
Spent 0.0283 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.05,555956@@@
Spent 0.029975 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.15,555744@@@
Spent 0.03426 on verification
Spent 0.034665 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.33,555464@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.37,558388@@@
Time left: 1121
------------------- QUERY 3 ----------------------
No solution found
Spent 0.030576 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.10,555868@@@
Spent 0.03348 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.59,554540@@@
Spent 0.027621 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.87,554776@@@
Spent 0.032442 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.36,556360@@@
Time left: 1097
------------------- QUERY 4 ----------------------
No solution found
Spent 0.032743 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.23,557080@@@
Spent 0.032523 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.22,555304@@@
Spent 0.03334 on verification
Spent 0.033217 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.31,555336@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.35,555244@@@
Time left: 1075
------------------- QUERY 5 ----------------------
No solution found
Spent 0.031833 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.29,556416@@@
Spent 0.028199 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.37,556916@@@
Spent 0.032412 on verification
Spent 0.028208 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.35,558004@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.43,555368@@@
Time left: 1052
------------------- QUERY 6 ----------------------
No solution found
Spent 0.051754 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.81,556508@@@
Spent 0.04617 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.22,556196@@@
Spent 0.042827 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.47,555888@@@
Spent 0.049662 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.53,553568@@@
Time left: 1029
------------------- QUERY 7 ----------------------
No solution found
Spent 0.040534 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.86,556592@@@
Spent 0.066085 on verification
Spent 0.060207 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.04,553508@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.05,557024@@@
Spent 0.047989 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.35,555596@@@
Time left: 1007
------------------- QUERY 8 ----------------------
No solution found
Spent 0.047481 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.84,553032@@@
Spent 0.044024 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.99,555876@@@
Spent 0.052349 on verification
Spent 0.048087 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.19,556564@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.32,553116@@@
Time left: 984
------------------- QUERY 9 ----------------------
No solution found
Spent 0.052183 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.61,555796@@@
Spent 0.046406 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.76,554924@@@
Spent 0.045195 on verification
Spent 0.046545 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.30,556580@@@
Command exited with non-zero status 255
@@@23.34,557168@@@
Time left: 960
------------------- QUERY 10 ----------------------
No solution found
Spent 0.052763 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.81,555064@@@
Spent 0.046778 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.14,555556@@@
Spent 0.046491 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.44,554820@@@
Spent 0.040012 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.80,557724@@@
Time left: 936
------------------- QUERY 11 ----------------------
No solution found
Spent 0.041268 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.57,556124@@@
Spent 0.063488 on verification
Spent 0.043772 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.88,556788@@@
Spent 0.051608 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.98,555184@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.10,553736@@@
Time left: 913
Time left: 913
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 83 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.047744 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.68,557580@@@
Spent 0.053352 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.88,553316@@@
Spent 0.050236 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.29,554248@@@
Spent 0.040105 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.54,554124@@@
Time left: 889
------------------- QUERY 2 ----------------------
No solution found
Spent 0.048614 on verification
Spent 0.049297 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.51,554108@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.59,555980@@@
Spent 0.049629 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.46,554056@@@
Spent 0.048149 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.58,557488@@@
Time left: 865
------------------- QUERY 3 ----------------------
No solution found
Spent 0.050602 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.44,556068@@@
Spent 0.052268 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.97,554656@@@
Spent 0.045524 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.20,554784@@@
Spent 0.046365 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.49,553624@@@
Time left: 841
------------------- QUERY 4 ----------------------
No solution found
Spent 0.047024 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.42,556144@@@
Spent 0.043836 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.85,557228@@@
Spent 0.050965 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.21,554032@@@
Spent 0.041018 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.41,555312@@@
Time left: 819
------------------- QUERY 5 ----------------------
No solution found
Spent 0.040727 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.46,555092@@@
Spent 0.035651 on verification
Spent 0.039921 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.85,557784@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.98,554180@@@
Spent 0.040805 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.41,554028@@@
Time left: 796
------------------- QUERY 6 ----------------------
No solution found
Spent 0.033571 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.72,555228@@@
Spent 0.035743 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.83,554796@@@
Spent 0.036361 on verification
Spent 0.033001 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.51,555628@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.54,553468@@@
Time left: 773
------------------- QUERY 7 ----------------------
No solution found
Spent 0.04505 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.64,556988@@@
Spent 0.050485 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.78,553876@@@
Spent 0.046686 on verification
Spent 0.054323 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.24,556532@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.41,555700@@@
Time left: 751
------------------- QUERY 8 ----------------------
No solution found
Spent 0.050801 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.73,555080@@@
Spent 0.04771 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.98,554564@@@
Spent 0.050532 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.22,552488@@@
Spent 0.043668 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.73,553956@@@
Time left: 728
------------------- QUERY 9 ----------------------
No solution found
Spent 0.031309 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.61,555064@@@
Spent 0.029788 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.86,555508@@@
Spent 0.031794 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.03,555908@@@
Spent 0.030856 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.36,557836@@@
Time left: 705
------------------- QUERY 10 ----------------------
No solution found
Spent 0.043547 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.60,554324@@@
Spent 0.047333 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.69,555876@@@
Spent 0.039532 on verification
Spent 0.039222 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.25,554852@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.31,558132@@@
Time left: 682
------------------- QUERY 11 ----------------------
No solution found
Spent 0.033103 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.72,555444@@@
Spent 0.030558 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.17,555760@@@
Spent 0.032434 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.25,556656@@@
Spent 0.031301 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.40,554448@@@
Time left: 660
Time left: 660
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 60 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.031045 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.46,553888@@@
Spent 0.033098 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.92,554500@@@
Spent 0.027906 on verification
Spent 0.029958 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.15,554840@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.24,553072@@@
Time left: 636
------------------- QUERY 2 ----------------------
No solution found
Spent 0.030412 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.15,554556@@@
Spent 0.028732 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.20,558180@@@
Spent 0.033915 on verification
Spent 0.027006 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.36,555912@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.50,555388@@@
Time left: 612
------------------- QUERY 3 ----------------------
No solution found
Spent 0.048168 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.01,552828@@@
Spent 0.044777 on verification
Spent 0.045482 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.01,555664@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.10,553080@@@
Spent 0.036481 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.36,557544@@@
Time left: 589
------------------- QUERY 4 ----------------------
No solution found
Spent 0.05141 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.71,557632@@@
Spent 0.051021 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.77,556140@@@
Spent 0.046269 on verification
Spent 0.046702 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.41,555892@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.43,557544@@@
Time left: 566
------------------- QUERY 5 ----------------------
No solution found
Spent 0.031172 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.53,555704@@@
Spent 0.029961 on verification
Spent 0.029865 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.05,554808@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.10,554132@@@
Spent 0.031188 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.41,557204@@@
Time left: 543
------------------- QUERY 6 ----------------------
No solution found
Spent 0.060859 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.74,554008@@@
Spent 0.055463 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.74,554196@@@
Spent 0.035202 on verification
Spent 0.039137 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.32,557424@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.47,554260@@@
Time left: 521
------------------- QUERY 7 ----------------------
No solution found
Spent 0.041797 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.68,553096@@@
Spent 0.042103 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.71,557396@@@
Spent 0.044439 on verification
Spent 0.048742 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.32,555656@@@
Command exited with non-zero status 255
@@@22.33,554880@@@
Time left: 498
------------------- QUERY 8 ----------------------
No solution found
Spent 0.03143 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.92,556400@@@
Spent 0.036965 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.040485 on verification
Spent 0.038331 on verification
Command exited with non-zero status 255
@@@21.94,557740@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.01,554604@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.04,556252@@@
Time left: 476
------------------- QUERY 9 ----------------------
No solution found
Spent 0.039781 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.07,554416@@@
Spent 0.036084 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.20,554648@@@
Spent 0.039609 on verification
Spent 0.039413 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.40,555592@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.47,555644@@@
Time left: 453
------------------- QUERY 10 ----------------------
No solution found
Spent 0.046636 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.66,554532@@@
Spent 0.04469 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.66,556768@@@
Spent 0.040819 on verification
Spent 0.044294 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.23,554920@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.38,557332@@@
Time left: 430
------------------- QUERY 11 ----------------------
No solution found
Spent 0.031047 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.59,557128@@@
Spent 0.033535 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.73,553332@@@
Spent 0.029455 on verification
Spent 0.030897 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.28,557180@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.40,554752@@@
Time left: 408
Time left: 408
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 37 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.044164 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.37,556812@@@
Spent 0.031077 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.79,555376@@@
Spent 0.032075 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.93,557004@@@
Spent 0.028005 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.23,556812@@@
Time left: 384
------------------- QUERY 2 ----------------------
No solution found
Spent 0.041768 on verification
Spent 0.047709 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.48,556932@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.48,557168@@@
Spent 0.035464 on verification
Spent 0.037869 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.19,555744@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.30,554884@@@
Time left: 361
------------------- QUERY 3 ----------------------
No solution found
Spent 0.040763 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.48,555676@@@
Spent 0.036757 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.70,557792@@@
Spent 0.039816 on verification
Spent 0.037524 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.21,556576@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.35,553980@@@
Time left: 337
------------------- QUERY 4 ----------------------
No solution found
Spent 0.035953 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.57,554820@@@
Spent 0.036556 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.70,555324@@@
Spent 0.036269 on verification
Spent 0.037034 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.28,556668@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.32,556732@@@
Time left: 314
------------------- QUERY 5 ----------------------
No solution found
Spent 0.032274 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.53,554596@@@
Spent 0.032989 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.73,554816@@@
Spent 0.031706 on verification
Spent 0.027482 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.26,553792@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.36,553756@@@
Time left: 292
------------------- QUERY 6 ----------------------
No solution found
Spent 0.032847 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.66,557464@@@
Spent 0.040193 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.96,554672@@@
Spent 0.036557 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.99,559076@@@
Spent 0.028709 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.53,555856@@@
Time left: 269
------------------- QUERY 7 ----------------------
No solution found
Spent 0.030892 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.64,555896@@@
Spent 0.032715 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.70,553080@@@
Spent 0.030631 on verification
Spent 0.029928 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.41,553348@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.45,556328@@@
Time left: 246
------------------- QUERY 8 ----------------------
No solution found
Spent 0.031346 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.60,555380@@@
Spent 0.033274 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.68,556264@@@
Spent 0.028942 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.28,556488@@@
Spent 0.028336 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.58,553740@@@
Time left: 224
------------------- QUERY 9 ----------------------
No solution found
Spent 0.028975 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.68,558508@@@
Spent 0.033885 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.91,554084@@@
Spent 0.028372 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.99,557476@@@
Spent 0.03221 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.42,554548@@@
Time left: 201
------------------- QUERY 10 ----------------------
No solution found
Spent 0.03372 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.30,556372@@@
Spent 0.032264 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.33,554736@@@
Spent 0.034934 on verification
Spent 0.034534 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.58,556276@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.65,555892@@@
Time left: 178
------------------- QUERY 11 ----------------------
No solution found
Spent 0.0432 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.87,556928@@@
Spent 0.044159 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.10,554192@@@
Spent 0.042724 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.047325 on verification
Command exited with non-zero status 255
@@@22.15,558304@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.38,556476@@@
Time left: 155
Time left: 155
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 14 seconds
------------------- QUERY 1 ----------------------
No solution found
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 0 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 1337 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 2018 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 9220 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 1 -n
Time left: 139
------------------- QUERY 2 ----------------------
No solution found
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 0 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 2 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 1337 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 2 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 2018 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 2 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 9220 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 2 -n
Time left: 123
------------------- QUERY 3 ----------------------
No solution found
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 0 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 3 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 1337 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 3 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 2018 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 3 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 9220 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 3 -n
Time left: 106
------------------- QUERY 4 ----------------------
No solution found
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 0 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 4 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 1337 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 4 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 2018 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 4 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 9220 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 4 -n
Time left: 90
------------------- QUERY 5 ----------------------
No solution found
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 0 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 5 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 1337 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 5 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 2018 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 5 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 9220 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 5 -n
Time left: 72
------------------- QUERY 6 ----------------------
No solution found
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 0 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 6 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 1337 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 6 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 2018 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 6 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 9220 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 6 -n
Time left: 56
------------------- QUERY 7 ----------------------
No solution found
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 0 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 7 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 1337 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 7 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 2018 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 7 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 9220 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 7 -n
Time left: 39
------------------- QUERY 8 ----------------------
No solution found
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 0 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 8 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 1337 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 8 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 2018 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 8 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 9220 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 8 -n
Time left: 23
------------------- QUERY 9 ----------------------
No solution found
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 0 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 9 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 1337 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 9 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 2018 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 9 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 9220 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 9 -n
Time left: 6
------------------- QUERY 10 ----------------------
No solution found
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 0 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 10 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 1337 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 10 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 2018 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 10 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 9220 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.iQDyICeSeW /home/mcc/BenchKit/bin/tmp/tmp.ZwvNdKVXaG --binary-query-io 1 -x 10 -n
Time left: -1
Out of time, terminating!
terminated-with-cleanup
BK_STOP 1717493842969
--------------------
content from stderr:
CPN OverApproximation is only usable on colored models
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="ViralEpidemic-PT-S16D2C4A03"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="tapaal"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool tapaal"
echo " Input is ViralEpidemic-PT-S16D2C4A03, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r448-smll-171701115500411"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ViralEpidemic-PT-S16D2C4A03.tgz
mv ViralEpidemic-PT-S16D2C4A03 execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "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 [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.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 [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
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 ;