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 |
| 2292.399 | 3593044.00 | 12671606.00 | 2426.40 | ???????????T??F? | 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-171701115500412.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 LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r448-smll-171701115500412
=====================================================================
--------------------
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-LTLFireability-00
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-LTLFireability-01
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-LTLFireability-02
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-LTLFireability-03
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-LTLFireability-04
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-LTLFireability-05
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-LTLFireability-06
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-LTLFireability-07
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-LTLFireability-08
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-LTLFireability-09
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-LTLFireability-10
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-LTLFireability-11
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-LTLFireability-12
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-LTLFireability-13
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-LTLFireability-14
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-LTLFireability-15
=== Now, execution of the tool begins
BK_START 1717491706983
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 LTLFireability *
*************************************
TEMPDIR=/home/mcc/BenchKit/bin/tmp
QF=/home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s
MF=/home/mcc/BenchKit/bin/tmp/tmp.DqqU3pTkQ7
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.1t4r81dl5s --write-reduced /home/mcc/BenchKit/bin/tmp/tmp.DqqU3pTkQ7 -x 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16 ./model.pnml ./LTLFireability.xml
FORMULA ViralEpidemic-PT-S16D2C4A03-LTLFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT LP_APPROX
Query index 11 was solved
Query is satisfied.
FORMULA ViralEpidemic-PT-S16D2C4A03-LTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT LP_APPROX
Query index 14 was solved
Query is NOT satisfied.
Solution found by parallel simplification (step 0)
Solution found by parallel simplification (step 0)
Time left: 3523
---------------------------------------------------
Step 1: Parallel processing
---------------------------------------------------
Doing parallel verification of individual queries (14 in total)
Each query is verified by 4 parallel strategies for 299 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.038882 on 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,553852@@@
Spent 0.001623 on 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,555536@@@
Spent 0.042288 on 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.10,558404@@@
Spent 0.036604 on 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,554848@@@
Time left: 3499
------------------- QUERY 2 ----------------------
No solution found
Spent 0.045635 on 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,554584@@@
Spent 0.088829 on 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.66,555348@@@
Spent 0.068855 on 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,556524@@@
Spent 0.006835 on 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.59,557028@@@
Time left: 3475
------------------- QUERY 3 ----------------------
No solution found
Spent 0.00756 on 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,557168@@@
Spent 0.076255 on 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,556960@@@
Spent 0.082339 on 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,554724@@@
Spent 0.03785 on 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.68,556904@@@
Time left: 3451
------------------- QUERY 4 ----------------------
No solution found
Spent 0.071058 on 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,558472@@@
Spent 0.007735 on 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.09,556948@@@
Spent 0.082284 on 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,555708@@@
Spent 0.03688 on 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.79,554808@@@
Time left: 3427
------------------- QUERY 5 ----------------------
No solution found
Spent 0.082195 on 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.64,559324@@@
Spent 0.006941 on 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.39,557264@@@
Spent 0.082303 on 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.56,557696@@@
Spent 0.038486 on 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.16,555556@@@
Time left: 3402
------------------- QUERY 6 ----------------------
No solution found
Spent 0.068234 on 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.86,557364@@@
Spent 0.040257 on 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.61,554792@@@
Spent 0.088511 on 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.32,555176@@@
Spent 0.006568 on 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.29,555028@@@
Time left: 3378
------------------- QUERY 7 ----------------------
No solution found
Spent 0.03937 on 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,558040@@@
Spent 0.077399 on 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,555164@@@
Spent 0.06986 on 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,555224@@@
Spent 0.008475 on 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,555152@@@
Time left: 3354
------------------- QUERY 8 ----------------------
No solution found
Spent 0.058788 on 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,555152@@@
Spent 0.064042 on 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,554976@@@
Spent 0.008646 on 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,555760@@@
Spent 0.073415 on 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.69,554100@@@
Time left: 3331
------------------- QUERY 9 ----------------------
No solution found
Spent 0.069966 on 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.55,555580@@@
Spent 0.02903 on verification
Spent 0.005032 on 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.01,554996@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.16,553700@@@
Spent 0.065572 on 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,558052@@@
Time left: 3308
------------------- QUERY 10 ----------------------
No solution found
Spent 0.008222 on 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,554248@@@
Spent 0.044766 on 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,555380@@@
Spent 0.073052 on verification
Spent 0.075824 on 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,555472@@@
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,555336@@@
Time left: 3286
------------------- QUERY 11 ----------------------
No solution found
Spent 0.066024 on 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,554804@@@
Spent 0.037326 on 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,554468@@@
Spent 0.004629 on verification
Spent 0.069043 on 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.11,555084@@@
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,554144@@@
Time left: 3263
------------------- QUERY 12 ----------------------
No solution found
Spent 0.084874 on 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,554880@@@
Spent 0.078895 on 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,557700@@@
Spent 0.043792 on 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,554304@@@
Spent 0.007087 on 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,558392@@@
Time left: 3241
------------------- QUERY 13 ----------------------
No solution found
Spent 0.077074 on 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,556280@@@
Spent 0.074832 on 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,557468@@@
Spent 0.004237 on verification
Spent 0.029092 on 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.07,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.24,555224@@@
Time left: 3218
------------------- QUERY 14 ----------------------
No solution found
Spent 0.069636 on 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.55,554792@@@
Spent 0.031384 on 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,553952@@@
Spent 0.00502 on verification
Spent 0.06801 on 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.13,555968@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.16,554512@@@
Time left: 3196
---------------------------------------------------
Step 2: Sequential processing
---------------------------------------------------
Remaining 14 queries are verified sequentially.
Each query is verified for a dynamic timeout (at least 598 seconds)
Time left: 3196
------------------- QUERY 1 ----------------------
Running query 1 for 598 seconds. Remaining: 14 queries and 3196 seconds
No solution found
Spent 0.037339 on 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.91,636644@@@
Time left: 3170
------------------- QUERY 2 ----------------------
Running query 2 for 598 seconds. Remaining: 13 queries and 3170 seconds
No solution found
Spent 0.061727 on 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.85,635940@@@
Time left: 3144
------------------- QUERY 3 ----------------------
Running query 3 for 598 seconds. Remaining: 12 queries and 3144 seconds
No solution found
Spent 0.073581 on 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.04,637868@@@
Time left: 3113
------------------- QUERY 4 ----------------------
Running query 4 for 598 seconds. Remaining: 11 queries and 3113 seconds
No solution found
Spent 0.077928 on 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.39,636972@@@
Time left: 3085
------------------- QUERY 5 ----------------------
Running query 5 for 598 seconds. Remaining: 10 queries and 3085 seconds
No solution found
Spent 0.065097 on 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.29,635956@@@
Time left: 3055
------------------- QUERY 6 ----------------------
Running query 6 for 598 seconds. Remaining: 9 queries and 3055 seconds
No solution found
Spent 0.060097 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@32.23,636712@@@
Time left: 3023
------------------- QUERY 7 ----------------------
Running query 7 for 598 seconds. Remaining: 8 queries and 3023 seconds
No solution found
Spent 0.080713 on 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.64,635940@@@
Time left: 2989
------------------- QUERY 8 ----------------------
Running query 8 for 598 seconds. Remaining: 7 queries and 2989 seconds
No solution found
Spent 0.056491 on 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.13,635396@@@
Time left: 2963
------------------- QUERY 9 ----------------------
Running query 9 for 598 seconds. Remaining: 6 queries and 2963 seconds
No solution found
Spent 0.076863 on 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.05,636932@@@
Time left: 2934
------------------- QUERY 10 ----------------------
Running query 10 for 598 seconds. Remaining: 5 queries and 2934 seconds
No solution found
Spent 0.075352 on 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.06,636996@@@
Time left: 2905
------------------- QUERY 11 ----------------------
Running query 11 for 726 seconds. Remaining: 4 queries and 2905 seconds
No solution found
Spent 0.060565 on 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.52,636192@@@
Time left: 2877
------------------- QUERY 12 ----------------------
Running query 12 for 959 seconds. Remaining: 3 queries and 2877 seconds
No solution found
Spent 0.07532 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@32.03,637664@@@
Time left: 2845
------------------- QUERY 13 ----------------------
Running query 13 for 1422 seconds. Remaining: 2 queries and 2845 seconds
No solution found
Spent 0.055176 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@35.02,635856@@@
Time left: 2810
------------------- QUERY 14 ----------------------
Running query 14 for 2810 seconds. Remaining: 1 queries and 2810 seconds
No solution found
Spent 0.07977 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@34.07,644836@@@
Time left: 2775
Time left: 2775
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (14 in total)
Each query is verified by 4 parallel strategies for 198 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.002324 on 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,555900@@@
Spent 0.002222 on 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.04,553896@@@
Spent 0.001888 on verification
Spent 0.002075 on 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.69,554064@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.75,559776@@@
Time left: 2751
------------------- QUERY 2 ----------------------
No solution found
Spent 0.046348 on 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,553720@@@
Spent 0.045119 on 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,554432@@@
Spent 0.042401 on 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,559512@@@
Spent 0.038849 on 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,554440@@@
Time left: 2727
------------------- QUERY 3 ----------------------
No solution found
Spent 0.044279 on 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,557332@@@
Spent 0.046233 on verification
Spent 0.043404 on 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,555208@@@
Spent 0.040368 on 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.16,556096@@@
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,555612@@@
Time left: 2704
------------------- QUERY 4 ----------------------
No solution found
Spent 0.039508 on 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,556364@@@
Spent 0.03508 on verification
Spent 0.039632 on 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,553716@@@
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,555800@@@
Spent 0.032676 on 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,554860@@@
Time left: 2681
------------------- QUERY 5 ----------------------
No solution found
Spent 0.03883 on verification
Spent 0.043454 on 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,556024@@@
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,556208@@@
Spent 0.038833 on verification
Spent 0.033029 on 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.09,555096@@@
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,558156@@@
Time left: 2657
------------------- QUERY 6 ----------------------
No solution found
Spent 0.033633 on 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,556400@@@
Spent 0.034713 on verification
Spent 0.028593 on 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,557884@@@
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,554508@@@
Spent 0.032709 on 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,555672@@@
Time left: 2634
------------------- QUERY 7 ----------------------
No solution found
Spent 0.050574 on verification
Spent 0.059459 on 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,557252@@@
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,558128@@@
Spent 0.05024 on verification
Spent 0.048113 on 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.10,554668@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.13,557304@@@
Time left: 2610
------------------- QUERY 8 ----------------------
No solution found
Spent 0.041894 on 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.06,555184@@@
Spent 0.042658 on 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,553620@@@
Spent 0.026461 on verification
Spent 0.036132 on 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,555000@@@
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,555756@@@
Time left: 2587
------------------- QUERY 9 ----------------------
No solution found
Spent 0.030793 on 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.01,553400@@@
Spent 0.035343 on 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,555080@@@
Spent 0.027019 on 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,556352@@@
Spent 0.026776 on 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,556688@@@
Time left: 2565
------------------- QUERY 10 ----------------------
No solution found
Spent 0.039746 on 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.08,558140@@@
Spent 0.04125 on 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.35,557604@@@
Spent 0.041186 on 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,557488@@@
Spent 0.02911 on 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,556128@@@
Time left: 2542
------------------- QUERY 11 ----------------------
No solution found
Spent 0.030929 on 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.02,553960@@@
Spent 0.037959 on 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.44,554972@@@
Spent 0.040889 on verification
Spent 0.035552 on 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,556464@@@
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,556296@@@
Time left: 2519
------------------- QUERY 12 ----------------------
No solution found
Spent 0.027137 on 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,553284@@@
Spent 0.030635 on 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,555232@@@
Spent 0.027039 on 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,556008@@@
Spent 0.033635 on 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,556860@@@
Time left: 2496
------------------- QUERY 13 ----------------------
No solution found
Spent 0.03506 on 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,553056@@@
Spent 0.040041 on 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.35,555928@@@
Spent 0.041513 on verification
Spent 0.047082 on 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,553520@@@
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,554832@@@
Time left: 2473
------------------- QUERY 14 ----------------------
No solution found
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
@@@21.58,557444@@@
Spent 0.046648 on 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,557820@@@
Spent 0.048959 on verification
Spent 0.051652 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.23,554124@@@
Command exited with non-zero status 255
@@@22.24,554924@@@
Time left: 2451
Time left: 2451
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (14 in total)
Each query is verified by 4 parallel strategies for 175 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.002251 on 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.16,555188@@@
Spent 0.002109 on 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,555884@@@
Spent 0.002608 on verification
Spent 0.002595 on 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.56,555568@@@
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,555976@@@
Time left: 2427
------------------- QUERY 2 ----------------------
No solution found
Spent 0.02745 on 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.16,556628@@@
Spent 0.033766 on 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.96,556204@@@
Spent 0.027966 on 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,555460@@@
Spent 0.02709 on 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,555024@@@
Time left: 2403
------------------- QUERY 3 ----------------------
No solution found
Spent 0.04219 on 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,553808@@@
Spent 0.051828 on 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,553228@@@
Spent 0.030383 on 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,558108@@@
Spent 0.041065 on 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,553656@@@
Time left: 2380
------------------- QUERY 4 ----------------------
No solution found
Spent 0.038987 on 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.11,553556@@@
Spent 0.046035 on 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,557440@@@
Spent 0.029031 on 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,555708@@@
Spent 0.031709 on 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,555948@@@
Time left: 2356
------------------- QUERY 5 ----------------------
No solution found
Spent 0.03572 on 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,554140@@@
Spent 0.029131 on 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.96,552904@@@
Spent 0.033553 on 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,556792@@@
Spent 0.028895 on 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.43,554996@@@
Time left: 2332
------------------- QUERY 6 ----------------------
No solution found
Spent 0.049729 on 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.50,559504@@@
Spent 0.053367 on 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,552688@@@
Spent 0.031535 on verification
Spent 0.037979 on 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,556488@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.40,554712@@@
Time left: 2308
------------------- QUERY 7 ----------------------
No solution found
Spent 0.041042 on 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,554172@@@
Spent 0.032949 on 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,556152@@@
Spent 0.040849 on 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,555628@@@
Spent 0.046789 on 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,553264@@@
Time left: 2285
------------------- QUERY 8 ----------------------
No solution found
Spent 0.046017 on 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,556520@@@
Spent 0.053712 on 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,556736@@@
Spent 0.037051 on 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,556736@@@
Spent 0.035285 on 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.11,554896@@@
Time left: 2260
------------------- QUERY 9 ----------------------
No solution found
Spent 0.035108 on 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,557460@@@
Spent 0.043524 on 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,556484@@@
Spent 0.040474 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.038937 on verification
Command exited with non-zero status 255
@@@22.10,553208@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.16,555796@@@
Time left: 2238
------------------- QUERY 10 ----------------------
No solution found
Spent 0.03109 on 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.65,558096@@@
Spent 0.031808 on 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,553656@@@
Spent 0.031959 on verification
Spent 0.03722 on 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,557364@@@
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,554280@@@
Time left: 2215
------------------- QUERY 11 ----------------------
No solution found
Spent 0.046397 on 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,559372@@@
Spent 0.046594 on 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,557428@@@
Spent 0.042393 on verification
Spent 0.039185 on 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,556476@@@
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,556344@@@
Time left: 2193
------------------- QUERY 12 ----------------------
No solution found
Spent 0.032282 on 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.63,556152@@@
Spent 0.035813 on 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,553380@@@
Spent 0.027713 on verification
Spent 0.030753 on 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,555048@@@
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,556636@@@
Time left: 2170
------------------- QUERY 13 ----------------------
No solution found
Spent 0.04791 on 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,555036@@@
Spent 0.049488 on 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,556392@@@
Spent 0.037327 on verification
Spent 0.044531 on 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.11,552852@@@
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,553032@@@
Time left: 2148
------------------- QUERY 14 ----------------------
No solution found
Spent 0.031759 on 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.55,555572@@@
Spent 0.028946 on 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,553468@@@
Spent 0.031627 on verification
Spent 0.03089 on 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,555652@@@
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,555496@@@
Time left: 2125
Time left: 2125
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (14 in total)
Each query is verified by 4 parallel strategies for 151 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.002262 on verification
Spent 0.002259 on 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,556064@@@
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,558056@@@
Spent 0.00196 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.00204 on verification
Command exited with non-zero status 255
@@@22.97,554960@@@
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,557176@@@
Time left: 2102
------------------- QUERY 2 ----------------------
No solution found
Spent 0.045571 on verification
Spent 0.044494 on 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,555700@@@
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,554252@@@
Spent 0.027375 on verification
Spent 0.034395 on 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.13,554092@@@
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,557480@@@
Time left: 2079
------------------- QUERY 3 ----------------------
No solution found
Spent 0.040454 on 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,554648@@@
Spent 0.037107 on 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,555892@@@
Spent 0.03624 on 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,554516@@@
Spent 0.044548 on 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.51,557308@@@
Time left: 2055
------------------- QUERY 4 ----------------------
No solution found
Spent 0.034601 on 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,554208@@@
Spent 0.039688 on 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.74,554056@@@
Spent 0.030847 on verification
Spent 0.033825 on 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,555484@@@
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,556060@@@
Time left: 2031
------------------- QUERY 5 ----------------------
No solution found
Spent 0.043137 on verification
Spent 0.03802 on 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,554932@@@
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,557064@@@
Spent 0.033475 on verification
Spent 0.031709 on 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.17,554536@@@
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,555472@@@
Time left: 2008
------------------- QUERY 6 ----------------------
No solution found
Spent 0.043917 on 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,553416@@@
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.72,554940@@@
Spent 0.03618 on verification
Spent 0.038653 on 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.09,554364@@@
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,555380@@@
Time left: 1984
------------------- QUERY 7 ----------------------
No solution found
Spent 0.036221 on verification
Spent 0.032004 on 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,557064@@@
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,553888@@@
Spent 0.038271 on verification
Spent 0.039344 on 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.10,554792@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.09,558060@@@
Time left: 1961
------------------- QUERY 8 ----------------------
No solution found
Spent 0.031442 on 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.63,556148@@@
Spent 0.036433 on 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,554340@@@
Spent 0.027722 on verification
Spent 0.028593 on 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.16,556720@@@
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,555144@@@
Time left: 1939
------------------- QUERY 9 ----------------------
No solution found
Spent 0.026956 on 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.90,558764@@@
Spent 0.027972 on 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.97,557148@@@
Spent 0.026891 on verification
Spent 0.032769 on 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,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.44,557912@@@
Time left: 1916
------------------- QUERY 10 ----------------------
No solution found
Spent 0.036345 on 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,556084@@@
Spent 0.053582 on 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,556080@@@
Spent 0.034006 on 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,554764@@@
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
@@@22.66,556752@@@
Time left: 1893
------------------- QUERY 11 ----------------------
No solution found
Spent 0.042752 on 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,556208@@@
Spent 0.043198 on 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,555016@@@
Spent 0.027852 on verification
Spent 0.031054 on 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.11,555624@@@
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,555952@@@
Time left: 1870
------------------- QUERY 12 ----------------------
No solution found
Spent 0.031066 on 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,556652@@@
Spent 0.029663 on 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.63,553740@@@
Spent 0.027876 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.031604 on verification
Command exited with non-zero status 255
@@@22.03,554456@@@
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,553376@@@
Time left: 1848
------------------- QUERY 13 ----------------------
No solution found
Spent 0.039651 on verification
Spent 0.041329 on 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,556676@@@
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,554188@@@
Spent 0.041966 on verification
Spent 0.046559 on 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,555172@@@
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,554044@@@
Time left: 1825
------------------- QUERY 14 ----------------------
No solution found
Spent 0.039793 on verification
Spent 0.041122 on 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,556880@@@
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,555904@@@
Spent 0.028571 on verification
Spent 0.027518 on 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.16,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.22,557540@@@
Time left: 1803
Time left: 1803
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (14 in total)
Each query is verified by 4 parallel strategies for 128 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.001991 on 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,556948@@@
Spent 0.001764 on verification
Spent 0.001725 on 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.84,552760@@@
Spent 0.001533 on 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,557460@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.11,556260@@@
Time left: 1780
------------------- QUERY 2 ----------------------
No solution found
Spent 0.032748 on 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,554988@@@
Spent 0.031785 on 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,554724@@@
Spent 0.028753 on 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.90,555896@@@
Spent 0.031129 on 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,555624@@@
Time left: 1756
------------------- QUERY 3 ----------------------
No solution found
Spent 0.034983 on verification
Spent 0.038057 on 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,559368@@@
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,559284@@@
Spent 0.038803 on verification
Spent 0.037261 on 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,555884@@@
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,558028@@@
Time left: 1733
------------------- QUERY 4 ----------------------
No solution found
Spent 0.044935 on verification
Spent 0.043842 on 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,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.61,553504@@@
Spent 0.02881 on verification
Spent 0.032561 on 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,556132@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.18,555012@@@
Time left: 1709
------------------- QUERY 5 ----------------------
No solution found
Spent 0.032047 on 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,554008@@@
Spent 0.028885 on 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,553188@@@
Spent 0.031997 on verification
Spent 0.028464 on 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,556432@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.18,556020@@@
Time left: 1686
------------------- QUERY 6 ----------------------
No solution found
Spent 0.046381 on 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.50,554572@@@
Spent 0.041914 on verification
Spent 0.044194 on 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,554804@@@
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,554844@@@
Spent 0.032416 on 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,558236@@@
Time left: 1662
------------------- QUERY 7 ----------------------
No solution found
Spent 0.027346 on 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,557008@@@
Spent 0.028405 on 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,556948@@@
Spent 0.036218 on verification
Spent 0.038024 on 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.62,556944@@@
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,552708@@@
Time left: 1638
------------------- QUERY 8 ----------------------
No solution found
Spent 0.047101 on 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,554436@@@
Spent 0.051382 on verification
Spent 0.042653 on verification
Spent 0.054655 on 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.07,553384@@@
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,557764@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.11,558084@@@
Time left: 1616
------------------- QUERY 9 ----------------------
No solution found
Spent 0.030975 on 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,555632@@@
Spent 0.036464 on 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,557008@@@
Spent 0.029788 on verification
Spent 0.04004 on 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,556956@@@
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,556124@@@
Time left: 1593
------------------- QUERY 10 ----------------------
No solution found
Spent 0.037554 on 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,554092@@@
Spent 0.037953 on 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,554168@@@
Spent 0.028432 on verification
Spent 0.028889 on 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,555204@@@
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,557048@@@
Time left: 1571
------------------- QUERY 11 ----------------------
No solution found
Spent 0.038441 on 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.63,555176@@@
Spent 0.050072 on 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,557052@@@
Spent 0.043328 on verification
Spent 0.042912 on 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,556724@@@
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,555700@@@
Time left: 1548
------------------- QUERY 12 ----------------------
No solution found
Spent 0.041856 on 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,554308@@@
Spent 0.037301 on 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,555988@@@
Spent 0.051668 on verification
Spent 0.043541 on 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,554360@@@
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,553772@@@
Time left: 1525
------------------- QUERY 13 ----------------------
No solution found
Spent 0.039076 on 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,554780@@@
Spent 0.047084 on 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,554152@@@
Spent 0.037309 on 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.95,553396@@@
Spent 0.036777 on 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.32,554000@@@
Time left: 1501
------------------- QUERY 14 ----------------------
No solution found
Spent 0.040529 on 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,556796@@@
Spent 0.040094 on 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,557056@@@
Spent 0.041015 on verification
Spent 0.04466 on 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,554452@@@
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,555276@@@
Time left: 1479
Time left: 1479
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (14 in total)
Each query is verified by 4 parallel strategies for 105 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.002282 on 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,554448@@@
Spent 0.002077 on 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,555724@@@
Spent 0.002144 on 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,556208@@@
Spent 0.001907 on 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.88,554732@@@
Time left: 1454
------------------- QUERY 2 ----------------------
No solution found
Spent 0.035809 on 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,554656@@@
Spent 0.058638 on verification
Spent 0.038049 on verification
Spent 0.060137 on 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,554560@@@
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.78,555768@@@
Command exited with non-zero status 255
@@@22.79,555272@@@
Time left: 1431
------------------- QUERY 3 ----------------------
No solution found
Spent 0.029284 on 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,557412@@@
Spent 0.039887 on verification
Spent 0.031987 on verification
Spent 0.040218 on 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,557564@@@
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,555492@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.90,555068@@@
Time left: 1408
------------------- QUERY 4 ----------------------
No solution found
Spent 0.089371 on 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,559248@@@
Spent 0.068055 on 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,556444@@@
Spent 0.078691 on verification
Spent 0.084693 on 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.67,555580@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.69,555220@@@
Time left: 1384
------------------- QUERY 5 ----------------------
No solution found
Spent 0.073427 on verification
Spent 0.071109 on 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.71,555728@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@24.68,553876@@@
Spent 0.044373 on verification
Spent 0.043079 on 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.33,557516@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@25.34,556156@@@
Time left: 1359
------------------- QUERY 6 ----------------------
No solution found
Spent 0.029487 on 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,559340@@@
Spent 0.028864 on 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,553580@@@
Spent 0.039281 on 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.09,556576@@@
Spent 0.036931 on 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,555468@@@
Time left: 1334
------------------- QUERY 7 ----------------------
No solution found
Spent 0.036163 on verification
Spent 0.044718 on 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,559572@@@
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,560112@@@
Spent 0.034876 on verification
Spent 0.035271 on 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,555096@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.07,558168@@@
Time left: 1311
------------------- QUERY 8 ----------------------
No solution found
Spent 0.095212 on 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,555372@@@
Spent 0.055009 on verification
Spent 0.056173 on verification
Spent 0.086964 on 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,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.19,554800@@@
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,555208@@@
Time left: 1288
------------------- QUERY 9 ----------------------
No solution found
Spent 0.088385 on verification
Spent 0.088503 on 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.74,553960@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.75,555224@@@
Spent 0.039748 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.049183 on verification
Command exited with non-zero status 255
@@@24.63,556384@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@24.92,555548@@@
Time left: 1263
------------------- QUERY 10 ----------------------
No solution found
Spent 0.065724 on verification
Spent 0.065608 on 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.56,556436@@@
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,555816@@@
Spent 0.042102 on verification
Spent 0.035477 on 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,556168@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@24.46,555072@@@
Time left: 1238
------------------- QUERY 11 ----------------------
No solution found
Spent 0.053901 on 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.75,553396@@@
Spent 0.06377 on 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.88,554968@@@
Spent 0.029209 on 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,557928@@@
Spent 0.057254 on 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.63,554696@@@
Time left: 1213
------------------- QUERY 12 ----------------------
No solution found
Spent 0.09043 on verification
Spent 0.07969 on 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,554972@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.71,556508@@@
Spent 0.07174 on verification
Spent 0.074554 on 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.44,555580@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@24.47,554168@@@
Time left: 1188
------------------- QUERY 13 ----------------------
No solution found
Spent 0.038897 on 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.03,558788@@@
Spent 0.052356 on 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,556512@@@
Spent 0.0456 on 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.35,554040@@@
Spent 0.073201 on 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.65,557532@@@
Time left: 1163
------------------- QUERY 14 ----------------------
No solution found
Spent 0.053309 on 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.45,557820@@@
Spent 0.075363 on 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.73,554340@@@
Spent 0.048423 on 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.19,554984@@@
Spent 0.058632 on 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.76,557512@@@
Time left: 1138
Time left: 1138
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (14 in total)
Each query is verified by 4 parallel strategies for 81 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.002456 on 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.61,555152@@@
Spent 0.00208 on 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.94,554728@@@
Spent 0.00276 on 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.55,555452@@@
Spent 0.002183 on 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.90,552792@@@
Time left: 1112
------------------- QUERY 2 ----------------------
No solution found
Spent 0.051483 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.06085 on verification
Command exited with non-zero status 255
@@@24.62,554276@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@24.82,555780@@@
Spent 0.051429 on 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.82,554552@@@
Spent 0.061622 on 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.25,556560@@@
Time left: 1085
------------------- QUERY 3 ----------------------
No solution found
Spent 0.057439 on 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.45,554632@@@
Spent 0.063676 on 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.67,556308@@@
Spent 0.069989 on verification
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
@@@25.82,554360@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@25.83,556612@@@
Time left: 1059
------------------- QUERY 4 ----------------------
No solution found
Spent 0.055432 on 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.00,556524@@@
Spent 0.045196 on verification
Spent 0.046775 on 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,554140@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@25.17,555512@@@
Spent 0.04454 on 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.54,553872@@@
Time left: 1033
------------------- QUERY 5 ----------------------
No solution found
Spent 0.029153 on 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,553640@@@
Spent 0.033555 on 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,553436@@@
Spent 0.032229 on verification
Spent 0.035163 on 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.94,556724@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.04,558348@@@
Time left: 1010
------------------- QUERY 6 ----------------------
No solution found
Spent 0.043687 on 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,556064@@@
Spent 0.041789 on 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,556272@@@
Spent 0.031345 on verification
Spent 0.032506 on 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.64,553336@@@
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,555944@@@
Time left: 987
------------------- QUERY 7 ----------------------
No solution found
Spent 0.041438 on 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,554760@@@
Spent 0.043548 on verification
Spent 0.033082 on 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,558560@@@
Spent 0.04652 on 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,558272@@@
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,555276@@@
Time left: 965
------------------- QUERY 8 ----------------------
No solution found
Spent 0.027669 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.028002 on verification
Command exited with non-zero status 255
@@@20.33,556428@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.40,556288@@@
Spent 0.029856 on verification
Spent 0.028438 on 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.57,553212@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.63,553492@@@
Time left: 944
------------------- QUERY 9 ----------------------
No solution found
Spent 0.038373 on verification
Spent 0.036672 on 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.37,557300@@@
Spent 0.040904 on 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.48,553956@@@
Spent 0.043452 on 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.57,558120@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.65,557208@@@
Time left: 923
------------------- QUERY 10 ----------------------
No solution found
Spent 0.028093 on 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.22,558444@@@
Spent 0.044849 on verification
Spent 0.041692 on verification
Spent 0.033665 on 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.27,555184@@@
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
@@@20.27,555784@@@
Command exited with non-zero status 255
@@@20.27,554732@@@
Time left: 903
------------------- QUERY 11 ----------------------
No solution found
Spent 0.028886 on 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.25,554528@@@
Spent 0.031535 on verification
Spent 0.035094 on verification
Spent 0.033941 on 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.30,555860@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.34,557692@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.33,557912@@@
Time left: 882
------------------- QUERY 12 ----------------------
No solution found
Spent 0.049042 on 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.21,556520@@@
Spent 0.049356 on 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.26,556072@@@
Spent 0.034646 on verification
Spent 0.035626 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
@@@20.58,556480@@@
Command exited with non-zero status 255
@@@20.59,555384@@@
Time left: 861
------------------- QUERY 13 ----------------------
No solution found
Spent 0.030018 on verification
Spent 0.031591 on verification
Spent 0.030289 on verification
Spent 0.033707 on 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.34,554524@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.37,556472@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.38,553868@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.46,556460@@@
Time left: 841
------------------- QUERY 14 ----------------------
No solution found
Spent 0.047131 on 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.25,555940@@@
Spent 0.03286 on verification
Spent 0.042 on verification
Spent 0.034328 on 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.31,555664@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.40,556468@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.46,554936@@@
Time left: 820
Time left: 820
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (14 in total)
Each query is verified by 4 parallel strategies for 58 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.001673 on 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,555884@@@
Spent 0.001696 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.001668 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.001559 on 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,553804@@@
Command exited with non-zero status 255
@@@21.08,553820@@@
Command exited with non-zero status 255
@@@21.11,554400@@@
Time left: 798
------------------- QUERY 2 ----------------------
No solution found
Spent 0.027104 on 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,558080@@@
Spent 0.030108 on verification
Spent 0.028049 on 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,554820@@@
Spent 0.028879 on 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,556756@@@
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,555608@@@
Time left: 777
------------------- QUERY 3 ----------------------
No solution found
Spent 0.031523 on 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.06,555568@@@
Spent 0.032578 on verification
Spent 0.030666 on verification
Spent 0.032395 on 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,553864@@@
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,553812@@@
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,556112@@@
Time left: 755
------------------- QUERY 4 ----------------------
No solution found
Spent 0.044456 on 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.94,555036@@@
Spent 0.041676 on 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,556228@@@
Spent 0.035223 on verification
Spent 0.035527 on 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,555368@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.35,553944@@@
Time left: 734
------------------- QUERY 5 ----------------------
No solution found
Spent 0.027261 on 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,555744@@@
Spent 0.031943 on verification
Spent 0.028346 on 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.19,553728@@@
Spent 0.030472 on 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,557820@@@
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,557144@@@
Time left: 712
------------------- QUERY 6 ----------------------
No solution found
Spent 0.02664 on 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,557932@@@
Spent 0.028393 on verification
Spent 0.028461 on verification
Spent 0.031236 on 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,557108@@@
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,557136@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.31,556704@@@
Time left: 691
------------------- QUERY 7 ----------------------
No solution found
Spent 0.040073 on 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,554300@@@
Spent 0.041138 on verification
Spent 0.033991 on 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,555888@@@
Spent 0.037875 on 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.31,556708@@@
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,554888@@@
Time left: 669
------------------- QUERY 8 ----------------------
No solution found
Spent 0.026811 on verification
Spent 0.027993 on 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.34,554284@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.41,555780@@@
Spent 0.037157 on verification
Spent 0.034904 on 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.60,554228@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.58,555712@@@
Time left: 648
------------------- QUERY 9 ----------------------
No solution found
Spent 0.037858 on 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.25,554656@@@
Spent 0.04018 on verification
Spent 0.038763 on 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.35,555304@@@
Spent 0.038627 on 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.48,555592@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.54,558220@@@
Time left: 627
------------------- QUERY 10 ----------------------
No solution found
Spent 0.028592 on 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.24,553848@@@
Spent 0.040037 on verification
Spent 0.031701 on verification
Spent 0.039956 on 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.31,556892@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.34,555948@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.37,558220@@@
Time left: 607
------------------- QUERY 11 ----------------------
No solution found
Spent 0.037907 on 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.27,554376@@@
Spent 0.033447 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.037847 on verification
Spent 0.033468 on verification
Command exited with non-zero status 255
@@@20.27,556112@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.38,553108@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.44,554048@@@
Time left: 586
------------------- QUERY 12 ----------------------
No solution found
Spent 0.030108 on 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.41,555680@@@
Spent 0.037101 on verification
Spent 0.037763 on 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.57,556148@@@
Spent 0.036231 on 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.63,556940@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.73,553528@@@
Time left: 565
------------------- QUERY 13 ----------------------
No solution found
Spent 0.037708 on verification
Spent 0.03402 on 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.46,555544@@@
Spent 0.032592 on 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.49,554660@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.61,557040@@@
Spent 0.026145 on 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.81,555524@@@
Time left: 544
------------------- QUERY 14 ----------------------
No solution found
Spent 0.026608 on 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.28,553844@@@
Spent 0.028234 on 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.32,553420@@@
Spent 0.026187 on 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.66,555456@@@
Spent 0.028989 on 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.84,555476@@@
Time left: 523
Time left: 523
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (14 in total)
Each query is verified by 4 parallel strategies for 37 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.001675 on 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,554484@@@
Spent 0.001529 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.001507 on verification
Spent 0.00174 on verification
Command exited with non-zero status 255
@@@21.14,555264@@@
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,559764@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.27,553472@@@
Time left: 501
------------------- QUERY 2 ----------------------
No solution found
Spent 0.036647 on 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.95,555420@@@
Spent 0.035909 on 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,556852@@@
Spent 0.034035 on verification
Spent 0.030396 on 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,558104@@@
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,555168@@@
Time left: 480
------------------- QUERY 3 ----------------------
No solution found
Spent 0.031961 on 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.15,553868@@@
Spent 0.037543 on verification
Spent 0.031274 on verification
Spent 0.034424 on 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,553344@@@
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,553268@@@
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,556076@@@
Time left: 458
------------------- QUERY 4 ----------------------
No solution found
Spent 0.029175 on 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.91,555016@@@
Spent 0.026506 on 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.98,557520@@@
Spent 0.02781 on verification
Spent 0.028326 on 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,554576@@@
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,555296@@@
Time left: 437
------------------- QUERY 5 ----------------------
No solution found
Spent 0.026024 on 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.98,555216@@@
Spent 0.029116 on 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,556380@@@
Spent 0.031375 on verification
Spent 0.031455 on 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,555688@@@
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,556544@@@
Time left: 415
------------------- QUERY 6 ----------------------
No solution found
Spent 0.035901 on verification
Spent 0.040456 on verification
Spent 0.039399 on 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,553916@@@
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,555232@@@
Spent 0.036958 on 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.44,553404@@@
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,555068@@@
Time left: 394
------------------- QUERY 7 ----------------------
No solution found
Spent 0.029243 on 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.93,559264@@@
Spent 0.028918 on 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.97,555044@@@
Spent 0.029344 on verification
Spent 0.030059 on 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,555052@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.44,553516@@@
Time left: 372
------------------- QUERY 8 ----------------------
No solution found
Spent 0.028522 on 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.22,555780@@@
Spent 0.036987 on verification
Spent 0.03016 on verification
Spent 0.038304 on 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.25,557548@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.30,557264@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.31,553308@@@
Time left: 351
------------------- QUERY 9 ----------------------
No solution found
Spent 0.029774 on 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.18,554976@@@
Spent 0.031428 on verification
Spent 0.042435 on verification
Spent 0.039405 on 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.20,556880@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.25,559856@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.28,555220@@@
Time left: 331
------------------- QUERY 10 ----------------------
No solution found
Spent 0.02796 on 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.17,557264@@@
Spent 0.032001 on verification
Spent 0.029467 on verification
Spent 0.031645 on 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.24,555572@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.24,557608@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.28,555144@@@
Time left: 310
------------------- QUERY 11 ----------------------
No solution found
Spent 0.033416 on 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.23,556204@@@
Spent 0.031217 on verification
Spent 0.032987 on verification
Spent 0.034412 on 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.23,557104@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.35,554776@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.44,554972@@@
Time left: 290
------------------- QUERY 12 ----------------------
No solution found
Spent 0.031754 on verification
Spent 0.030047 on 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.28,556436@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.38,558272@@@
Spent 0.045896 on verification
Spent 0.044438 on 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.58,555872@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.57,553936@@@
Time left: 269
------------------- QUERY 13 ----------------------
No solution found
Spent 0.027238 on verification
Spent 0.038783 on 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.38,556676@@@
Spent 0.038725 on verification
Spent 0.029417 on 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.53,556116@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.54,555372@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.58,554672@@@
Time left: 248
------------------- QUERY 14 ----------------------
No solution found
Spent 0.028272 on 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.18,558440@@@
Spent 0.036602 on verification
Spent 0.037673 on verification
Spent 0.030635 on 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.24,554476@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.26,554800@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@20.29,557560@@@
Time left: 227
Time left: 227
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (14 in total)
Each query is verified by 4 parallel strategies for 16 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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --binary-query-io 1 -x 1 -n
Time left: 209
------------------- 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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --binary-query-io 1 -x 2 -n
Time left: 190
------------------- 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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --binary-query-io 1 -x 3 -n
Time left: 171
------------------- 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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --binary-query-io 1 -x 4 -n
Time left: 153
------------------- 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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --binary-query-io 1 -x 5 -n
Time left: 134
------------------- 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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --binary-query-io 1 -x 6 -n
Time left: 115
------------------- 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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --binary-query-io 1 -x 7 -n
Time left: 97
------------------- 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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --binary-query-io 1 -x 8 -n
Time left: 78
------------------- 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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --binary-query-io 1 -x 9 -n
Time left: 60
------------------- 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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --binary-query-io 1 -x 10 -n
Time left: 41
------------------- QUERY 11 ----------------------
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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --binary-query-io 1 -x 11 -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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --binary-query-io 1 -x 11 -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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --binary-query-io 1 -x 11 -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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --binary-query-io 1 -x 11 -n
Time left: 23
------------------- QUERY 12 ----------------------
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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --binary-query-io 1 -x 12 -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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --binary-query-io 1 -x 12 -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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --binary-query-io 1 -x 12 -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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --binary-query-io 1 -x 12 -n
Time left: 5
------------------- QUERY 13 ----------------------
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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --binary-query-io 1 -x 13 -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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --binary-query-io 1 -x 13 -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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --binary-query-io 1 -x 13 -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.DqqU3pTkQ7 /home/mcc/BenchKit/bin/tmp/tmp.1t4r81dl5s --binary-query-io 1 -x 13 -n
Time left: -2
Out of time, terminating!
terminated-with-cleanup
BK_STOP 1717495300027
--------------------
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="LTLFireability"
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 LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r448-smll-171701115500412"
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 [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;