About the Execution of 2025-gold for SupplyChain-PT-06000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1369.768 | 3592234.00 | 13175494.00 | 1098.60 | F??F?FT?FF????FF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2026-input.r366-tall-178024404600202.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2026-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-5973
Executing tool gold2025
Input is SupplyChain-PT-06000, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r366-tall-178024404600202
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 26M
-rw-r--r-- 1 mcc users 6.0K May 27 07:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 57K May 27 07:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K May 27 07:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K May 27 07:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K May 27 11:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 27 11:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 27 11:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 27 11:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 26 18:17 NewModel
-rw-r--r-- 1 mcc users 14K May 27 08:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 143K May 27 08:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K May 27 08:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57K May 27 08:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 27 11:03 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 27 11:03 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 26 18:17 equiv_col
-rw-r--r-- 1 mcc users 6 May 26 18:17 instance
-rw-r--r-- 1 mcc users 6 May 26 18:17 iscolored
-rw-r--r-- 1 mcc users 26M May 26 18:17 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
echo here is the order used to build the result vector(from xml file)
FORMULA_NAME SupplyChain-PT-06000-LTLFireability-00
FORMULA_NAME SupplyChain-PT-06000-LTLFireability-01
FORMULA_NAME SupplyChain-PT-06000-LTLFireability-02
FORMULA_NAME SupplyChain-PT-06000-LTLFireability-03
FORMULA_NAME SupplyChain-PT-06000-LTLFireability-04
FORMULA_NAME SupplyChain-PT-06000-LTLFireability-05
FORMULA_NAME SupplyChain-PT-06000-LTLFireability-06
FORMULA_NAME SupplyChain-PT-06000-LTLFireability-07
FORMULA_NAME SupplyChain-PT-06000-LTLFireability-08
FORMULA_NAME SupplyChain-PT-06000-LTLFireability-09
FORMULA_NAME SupplyChain-PT-06000-LTLFireability-10
FORMULA_NAME SupplyChain-PT-06000-LTLFireability-11
FORMULA_NAME SupplyChain-PT-06000-LTLFireability-12
FORMULA_NAME SupplyChain-PT-06000-LTLFireability-13
FORMULA_NAME SupplyChain-PT-06000-LTLFireability-14
FORMULA_NAME SupplyChain-PT-06000-LTLFireability-15
=== Now, execution of the tool begins
BK_START 1780346152408
gold2025
Got BK_BIN_PATH=/home/mcc/BenchKit/bin/
---> gold2025 --- TAPAAL 2025-v2
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.FVMLN15Iqq
MF=/home/mcc/BenchKit/bin/tmp/tmp.x9vG6jrppk
Time left: 3590
---------------------------------------------------
Step -1: Stripping Colors
---------------------------------------------------
Verifying stripped models (16 in total)
Time left: 3590
---------------------------------------------------
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.FVMLN15Iqq --write-reduced /home/mcc/BenchKit/bin/tmp/tmp.x9vG6jrppk -x 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16 ./model.pnml ./LTLFireability.xml
FORMULA SupplyChain-PT-06000-LTLFireability-05 FALSE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT LP_APPROX
Query index 5 was solved
Query is NOT satisfied.
FORMULA SupplyChain-PT-06000-LTLFireability-06 TRUE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT LP_APPROX
Query index 6 was solved
Query is satisfied.
FORMULA SupplyChain-PT-06000-LTLFireability-08 FALSE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT LP_APPROX
Query index 8 was solved
Query is NOT satisfied.
FORMULA SupplyChain-PT-06000-LTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT LP_APPROX
Query index 15 was solved
Query is NOT satisfied.
Solution found by parallel simplification (step 0)
Solution found by parallel simplification (step 0)
Solution found by parallel simplification (step 0)
Solution found by parallel simplification (step 0)
Time left: 3465
---------------------------------------------------
Step 1: Parallel processing
---------------------------------------------------
Doing parallel verification of individual queries (12 in total)
Each query is verified by 4 parallel strategies for 299 seconds
------------------- QUERY 1 ----------------------
Solution found by parallel processing (step 1)
Query index 0 was solved
Query is NOT satisfied.
Spent 0.011035 on verification
@@@19.65,258028@@@
parallel: This job succeeded:
eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan --ltl-heur fire-count -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.x9vG6jrppk /home/mcc/BenchKit/bin/tmp/tmp.FVMLN15Iqq --binary-query-io 1 -x 1 -n
FORMULA SupplyChain-PT-06000-LTLFireability-00 FALSE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT EXPLICIT STATE_COMPRESSION STUBBORN_SETS
Time left: 3445
------------------- QUERY 2 ----------------------
Solution found by parallel processing (step 1)
Query index 0 was solved
Query is NOT satisfied.
Spent 5.02595 on verification
@@@24.22,349220@@@
parallel: This job succeeded:
eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan --ltl-heur aut -s DFS -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.x9vG6jrppk /home/mcc/BenchKit/bin/tmp/tmp.FVMLN15Iqq --binary-query-io 1 -x 2 -n
FORMULA SupplyChain-PT-06000-LTLFireability-03 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP OPTIM-1
Time left: 3421
------------------- QUERY 3 ----------------------
Solution found by parallel processing (step 1)
Query index 0 was solved
Query is NOT satisfied.
Spent 4.99567 on verification
@@@24.42,348820@@@
parallel: This job succeeded:
eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan --ltl-heur aut -s DFS -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.x9vG6jrppk /home/mcc/BenchKit/bin/tmp/tmp.FVMLN15Iqq --binary-query-io 1 -x 3 -n
FORMULA SupplyChain-PT-06000-LTLFireability-09 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP OPTIM-1
Time left: 3396
------------------- QUERY 4 ----------------------
Solution found by parallel processing (step 1)
Query index 0 was solved
Query is NOT satisfied.
Spent 4.98633 on verification
@@@24.24,349172@@@
parallel: This job succeeded:
eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan --ltl-heur aut -s DFS -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.x9vG6jrppk /home/mcc/BenchKit/bin/tmp/tmp.FVMLN15Iqq --binary-query-io 1 -x 4 -n
FORMULA SupplyChain-PT-06000-LTLFireability-14 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP OPTIM-1
Time left: 3372
------------------- QUERY 5 ----------------------
No solution found
Spent 0.068977 on 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,349048@@@
Spent 0.051993 on 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,349036@@@
Spent 0.005449 on 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,262428@@@
Spent 0.069014 on 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,348804@@@
Time left: 3350
------------------- QUERY 6 ----------------------
No solution found
Spent 0.003709 on 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.03,259568@@@
Spent 0.053389 on verification
Spent 0.062707 on verification
Spent 0.067408 on 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,348432@@@
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,348244@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.12,349396@@@
Time left: 3329
------------------- QUERY 7 ----------------------
No solution found
Spent 0.067985 on 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,347988@@@
Spent 0.004275 on verification
Spent 0.05452 on verification
Spent 0.062164 on 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,258216@@@
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,349396@@@
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,347964@@@
Time left: 3308
------------------- QUERY 8 ----------------------
No solution found
Spent 0.068998 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.28,348584@@@
Spent 0.072956 on 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,347816@@@
Spent 0.005162 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.57,260640@@@
Spent 0.050427 on 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,348884@@@
Time left: 3286
------------------- QUERY 9 ----------------------
No solution found
Spent 0.004826 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.40,259524@@@
Spent 0.073917 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.59,348372@@@
Spent 0.056275 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.067594 on verification
Command exited with non-zero status 255
@@@21.75,349216@@@
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,348144@@@
Time left: 3264
------------------- QUERY 10 ----------------------
No solution found
Spent 0.048453 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.42,349044@@@
Spent 0.069931 on 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,348796@@@
Spent 0.061805 on 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,348172@@@
Spent 0.004059 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.00,262476@@@
Time left: 3241
------------------- QUERY 11 ----------------------
No solution found
Spent 0.060952 on 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,348244@@@
Spent 0.004068 on 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,260884@@@
Spent 0.062651 on verification
Spent 0.049052 on 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.60,348788@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@28.68,349520@@@
Time left: 3213
------------------- QUERY 12 ----------------------
No solution found
Spent 0.135817 on verification
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,349584@@@
Spent 0.069548 on 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.48,348308@@@
Spent 0.014446 on 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.38,259816@@@
Spent 0.056572 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@31.35,349480@@@
Time left: 3181
---------------------------------------------------
Step 2: Sequential processing
---------------------------------------------------
Remaining 8 queries are verified sequentially.
Each query is verified for a dynamic timeout (at least 598 seconds)
Time left: 3181
------------------- QUERY 5 ----------------------
Running query 5 for 598 seconds. Remaining: 8 queries and 3181 seconds
No solution found
Spent 0.058748 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.41,359076@@@
Time left: 3157
------------------- QUERY 6 ----------------------
Running query 6 for 598 seconds. Remaining: 7 queries and 3157 seconds
No solution found
Spent 0.06492 on 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,412232@@@
Time left: 3134
------------------- QUERY 7 ----------------------
Running query 7 for 598 seconds. Remaining: 6 queries and 3134 seconds
No solution found
Spent 0.062488 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.65,362060@@@
Time left: 3110
------------------- QUERY 8 ----------------------
Running query 8 for 622 seconds. Remaining: 5 queries and 3110 seconds
No solution found
Spent 0.066978 on 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.15,411492@@@
Time left: 3085
------------------- QUERY 9 ----------------------
Running query 9 for 771 seconds. Remaining: 4 queries and 3085 seconds
No solution found
Spent 0.068212 on 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.07,410748@@@
Time left: 3050
------------------- QUERY 10 ----------------------
Running query 10 for 1016 seconds. Remaining: 3 queries and 3050 seconds
No solution found
Spent 0.059253 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@36.03,414708@@@
Time left: 3014
------------------- QUERY 11 ----------------------
Running query 11 for 1507 seconds. Remaining: 2 queries and 3014 seconds
No solution found
Spent 0.055012 on 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.36,410444@@@
Time left: 2986
------------------- QUERY 12 ----------------------
Running query 12 for 2986 seconds. Remaining: 1 queries and 2986 seconds
No solution found
Spent 0.067314 on 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.40,412128@@@
Time left: 2951
Time left: 2951
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (8 in total)
Each query is verified by 4 parallel strategies for 368 seconds
------------------- QUERY 5 ----------------------
No solution found
Spent 0.059707 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.09,351280@@@
Spent 0.0557 on verification
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,349256@@@
Spent 0.058904 on verification
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,348708@@@
Spent 0.064336 on 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.11,348640@@@
Time left: 2927
------------------- QUERY 6 ----------------------
No solution found
Spent 0.058895 on 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.43,348020@@@
Spent 0.053331 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.45,348512@@@
Spent 0.06298 on verification
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,348220@@@
Spent 0.047388 on verification
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,348380@@@
Time left: 2905
------------------- QUERY 7 ----------------------
No solution found
Spent 0.056089 on 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,348196@@@
Spent 0.053478 on 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,349516@@@
Spent 0.072517 on verification
Spent 0.071691 on 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,349224@@@
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,349200@@@
Time left: 2883
------------------- QUERY 8 ----------------------
No solution found
Spent 0.061728 on 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.48,347916@@@
Spent 0.047976 on 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,349492@@@
Spent 0.065182 on verification
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,347932@@@
Spent 0.04693 on verification
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,348308@@@
Time left: 2860
------------------- QUERY 9 ----------------------
No solution found
Spent 0.048129 on 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,347852@@@
Spent 0.047881 on 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,349476@@@
Spent 0.070586 on verification
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,349296@@@
Spent 0.068546 on verification
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,348368@@@
Time left: 2838
------------------- QUERY 10 ----------------------
No solution found
Spent 0.070175 on 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,349628@@@
Spent 0.071082 on 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,349528@@@
Spent 0.053581 on verification
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,349260@@@
Spent 0.064384 on verification
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,348680@@@
Time left: 2815
------------------- QUERY 11 ----------------------
No solution found
Spent 0.051701 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.30,348080@@@
Spent 0.052354 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.40,347928@@@
Spent 0.062163 on verification
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,347948@@@
Spent 0.04905 on verification
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,347632@@@
Time left: 2793
------------------- QUERY 12 ----------------------
No solution found
Spent 0.058502 on 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,351328@@@
Spent 0.072761 on 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.38,348332@@@
Spent 0.057304 on 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,348096@@@
Spent 0.072081 on 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,348912@@@
Time left: 2771
Time left: 2771
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (8 in total)
Each query is verified by 4 parallel strategies for 346 seconds
------------------- QUERY 5 ----------------------
No solution found
Spent 0.05648 on 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.38,348140@@@
Spent 0.056412 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.41,348528@@@
Spent 0.06642 on verification
Spent 0.069358 on 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,347960@@@
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,348212@@@
Time left: 2749
------------------- QUERY 6 ----------------------
No solution found
Spent 0.052267 on 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,348288@@@
Spent 0.054764 on 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,349592@@@
Spent 0.065618 on verification
Spent 0.064975 on 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,348272@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.78,347804@@@
Time left: 2727
------------------- QUERY 7 ----------------------
No solution found
Spent 0.061494 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.36,348856@@@
Spent 0.055886 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.45,347820@@@
Spent 0.053876 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.56,348120@@@
Spent 0.061665 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.59,348244@@@
Time left: 2705
------------------- QUERY 8 ----------------------
No solution found
Spent 0.06016 on 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,349224@@@
Spent 0.049471 on 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,347828@@@
Spent 0.059264 on verification
Spent 0.047035 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.54,347776@@@
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,349516@@@
Time left: 2683
------------------- QUERY 9 ----------------------
No solution found
Spent 0.052991 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.39,348664@@@
Spent 0.053172 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.46,349528@@@
Spent 0.059905 on verification
Spent 0.051707 on 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,351284@@@
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,348904@@@
Time left: 2661
------------------- QUERY 10 ----------------------
No solution found
Spent 0.048042 on 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,349704@@@
Spent 0.067718 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.85,349756@@@
Spent 0.065757 on verification
Spent 0.054406 on 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,349544@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.85,348680@@@
Time left: 2639
------------------- QUERY 11 ----------------------
No solution found
Spent 0.050439 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.57,348688@@@
Spent 0.050687 on 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,351196@@@
Spent 0.060354 on 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.82,349500@@@
Spent 0.061345 on 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,348840@@@
Time left: 2617
------------------- QUERY 12 ----------------------
No solution found
Spent 0.063572 on 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,348400@@@
Spent 0.06009 on verification
Spent 0.064658 on verification
Spent 0.061296 on 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,348408@@@
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,348336@@@
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,348664@@@
Time left: 2595
Time left: 2595
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (8 in total)
Each query is verified by 4 parallel strategies for 324 seconds
------------------- QUERY 5 ----------------------
No solution found
Spent 0.06339 on 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,348240@@@
Spent 0.065996 on 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,348508@@@
Spent 0.045534 on verification
Spent 0.044863 on verification
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,348020@@@
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,351284@@@
Time left: 2572
------------------- QUERY 6 ----------------------
No solution found
Spent 0.061429 on verification
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,349040@@@
Spent 0.057798 on verification
Spent 0.059272 on verification
Spent 0.059516 on verification
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,349372@@@
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,348604@@@
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,351280@@@
Time left: 2549
------------------- QUERY 7 ----------------------
No solution found
Spent 0.051407 on verification
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,349004@@@
Spent 0.052572 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.67,348936@@@
Spent 0.064881 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.80,348636@@@
Spent 0.065213 on verification
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,349192@@@
Time left: 2526
------------------- QUERY 8 ----------------------
No solution found
Spent 0.061873 on verification
Spent 0.061105 on verification
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,351320@@@
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,348268@@@
Spent 0.052292 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.63,348416@@@
Spent 0.051672 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.67,349636@@@
Time left: 2503
------------------- QUERY 9 ----------------------
No solution found
Spent 0.057493 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.52,347776@@@
Spent 0.058299 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.57,349056@@@
Spent 0.051458 on verification
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,348268@@@
Spent 0.05291 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.63,348624@@@
Time left: 2481
------------------- QUERY 10 ----------------------
No solution found
Spent 0.057021 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.61,348300@@@
Spent 0.058651 on 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,349280@@@
Spent 0.052402 on verification
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,347904@@@
Spent 0.056549 on verification
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,351284@@@
Time left: 2458
------------------- QUERY 11 ----------------------
No solution found
Spent 0.056481 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.52,347964@@@
Spent 0.057633 on 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,351192@@@
Spent 0.053471 on verification
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,351196@@@
Spent 0.052768 on verification
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,348908@@@
Time left: 2435
------------------- QUERY 12 ----------------------
No solution found
Spent 0.068269 on verification
Spent 0.065486 on 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,351328@@@
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,348512@@@
Spent 0.055383 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.05,348440@@@
Spent 0.070587 on verification
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,348528@@@
Time left: 2413
Time left: 2413
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (8 in total)
Each query is verified by 4 parallel strategies for 301 seconds
------------------- QUERY 5 ----------------------
No solution found
Spent 0.058376 on 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.43,348936@@@
Spent 0.059841 on 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,349604@@@
Spent 0.050562 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.89,349732@@@
Spent 0.051969 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.92,348616@@@
Time left: 2391
------------------- QUERY 6 ----------------------
No solution found
Spent 0.056023 on 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,347940@@@
Spent 0.049276 on 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,348604@@@
Spent 0.05967 on 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,347772@@@
Spent 0.048289 on 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,349440@@@
Time left: 2369
------------------- QUERY 7 ----------------------
No solution found
Spent 0.054485 on verification
Spent 0.05284 on 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,349664@@@
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,348512@@@
Spent 0.061769 on verification
Spent 0.062122 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.66,348916@@@
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,349444@@@
Time left: 2347
------------------- QUERY 8 ----------------------
No solution found
Spent 0.053729 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.42,348236@@@
Spent 0.055146 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.42,349432@@@
Spent 0.056328 on 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,348596@@@
Spent 0.057526 on 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,348780@@@
Time left: 2325
------------------- QUERY 9 ----------------------
No solution found
Spent 0.054009 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.45,347780@@@
Spent 0.051782 on verification
Spent 0.057957 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.47,348388@@@
Spent 0.053804 on 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,351284@@@
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,349248@@@
Time left: 2303
------------------- QUERY 10 ----------------------
No solution found
Spent 0.048585 on verification
Spent 0.049176 on 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,348960@@@
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,348084@@@
Spent 0.055603 on 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,349112@@@
Spent 0.057026 on 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,348132@@@
Time left: 2281
------------------- QUERY 11 ----------------------
No solution found
Spent 0.055305 on 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,348792@@@
Spent 0.054373 on 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,349336@@@
Spent 0.057804 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.99,348880@@@
Spent 0.058166 on verification
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,349380@@@
Time left: 2259
------------------- QUERY 12 ----------------------
No solution found
Spent 0.062442 on 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,348504@@@
Spent 0.063609 on 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,348152@@@
Spent 0.057198 on verification
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,348180@@@
Spent 0.062785 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.63,349036@@@
Time left: 2236
Time left: 2236
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (8 in total)
Each query is verified by 4 parallel strategies for 279 seconds
------------------- QUERY 5 ----------------------
No solution found
Spent 0.056255 on 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,348468@@@
Spent 0.050633 on 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,348340@@@
Spent 0.050758 on verification
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,347964@@@
Spent 0.053266 on verification
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,348440@@@
Time left: 2213
------------------- QUERY 6 ----------------------
No solution found
Spent 0.052039 on 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,348696@@@
Spent 0.05215 on 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.82,348092@@@
Spent 0.051689 on verification
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,349056@@@
Spent 0.053974 on verification
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,348756@@@
Time left: 2190
------------------- QUERY 7 ----------------------
No solution found
Spent 0.051336 on verification
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,349728@@@
Spent 0.052746 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.29,348040@@@
Spent 0.055365 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.05386 on verification
Command exited with non-zero status 255
@@@22.61,349436@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.63,348296@@@
Time left: 2167
------------------- QUERY 8 ----------------------
No solution found
Spent 0.049891 on verification
Spent 0.053096 on verification
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,347900@@@
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,351320@@@
Spent 0.055414 on verification
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,347892@@@
Spent 0.052653 on verification
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,347920@@@
Time left: 2144
------------------- QUERY 9 ----------------------
No solution found
Spent 0.054381 on verification
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,348752@@@
Spent 0.052927 on verification
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,348916@@@
Spent 0.051302 on verification
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,351280@@@
Spent 0.052487 on verification
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,349684@@@
Time left: 2122
------------------- QUERY 10 ----------------------
No solution found
Spent 0.054502 on 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,349436@@@
Spent 0.053037 on 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,348608@@@
Spent 0.054724 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.90,347976@@@
Spent 0.054337 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.90,348060@@@
Time left: 2100
------------------- QUERY 11 ----------------------
No solution found
Spent 0.052545 on 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,347844@@@
Spent 0.052042 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.61,348880@@@
Spent 0.053543 on 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,349536@@@
Spent 0.0496 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.85,348864@@@
Time left: 2077
------------------- QUERY 12 ----------------------
No solution found
Spent 0.057515 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.40,348272@@@
Spent 0.062014 on 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.48,351328@@@
Spent 0.060774 on verification
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,348572@@@
Spent 0.064607 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.29,347860@@@
Time left: 2055
Time left: 2055
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (8 in total)
Each query is verified by 4 parallel strategies for 256 seconds
------------------- QUERY 5 ----------------------
No solution found
Spent 0.05241 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.52,351284@@@
Spent 0.051948 on 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,348160@@@
Spent 0.051967 on verification
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,348268@@@
Spent 0.050193 on verification
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,348136@@@
Time left: 2033
------------------- QUERY 6 ----------------------
No solution found
Spent 0.052586 on 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,348848@@@
Spent 0.051888 on 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,351280@@@
Spent 0.052777 on 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,347960@@@
Spent 0.052624 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.93,349760@@@
Time left: 2010
------------------- QUERY 7 ----------------------
No solution found
Spent 0.052414 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.78,347736@@@
Spent 0.055847 on 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,348080@@@
Spent 0.058356 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.86,347816@@@
Spent 0.05323 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.89,349008@@@
Time left: 1988
------------------- QUERY 8 ----------------------
No solution found
Spent 0.052225 on 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,349000@@@
Spent 0.053577 on 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,348180@@@
Spent 0.052426 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.85,348708@@@
Spent 0.051956 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.93,349040@@@
Time left: 1966
------------------- QUERY 9 ----------------------
No solution found
Spent 0.051503 on 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,349608@@@
Spent 0.053298 on 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,348064@@@
Spent 0.052549 on 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,348844@@@
Spent 0.052194 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.93,348804@@@
Time left: 1944
------------------- QUERY 10 ----------------------
No solution found
Spent 0.053449 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.56,347920@@@
Spent 0.054309 on 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,347780@@@
Spent 0.052879 on 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,348660@@@
Spent 0.051995 on 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.97,349212@@@
Time left: 1922
------------------- QUERY 11 ----------------------
No solution found
Spent 0.052073 on 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,348144@@@
Spent 0.051955 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.57,348736@@@
Spent 0.054322 on verification
Spent 0.05576 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.09,348392@@@
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,347856@@@
Time left: 1900
------------------- QUERY 12 ----------------------
No solution found
Spent 0.059772 on 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,349468@@@
Spent 0.059885 on 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,349424@@@
Spent 0.063928 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.93,348348@@@
Spent 0.063292 on 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,347860@@@
Time left: 1877
Time left: 1877
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (8 in total)
Each query is verified by 4 parallel strategies for 234 seconds
------------------- QUERY 5 ----------------------
No solution found
Spent 0.054813 on 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,348536@@@
Spent 0.053389 on 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,348548@@@
Spent 0.057371 on 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.94,347868@@@
Spent 0.059919 on verification
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,347972@@@
Time left: 1855
------------------- QUERY 6 ----------------------
No solution found
Spent 0.055474 on verification
Spent 0.055632 on verification
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,349768@@@
Spent 0.053622 on verification
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,349676@@@
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,349384@@@
Spent 0.057581 on verification
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,349372@@@
Time left: 1832
------------------- QUERY 7 ----------------------
No solution found
Spent 0.050933 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.49,348676@@@
Spent 0.052924 on verification
Spent 0.051375 on verification
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,348928@@@
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,349472@@@
Spent 0.054479 on verification
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,349144@@@
Time left: 1810
------------------- QUERY 8 ----------------------
No solution found
Spent 0.0514 on verification
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,349788@@@
Spent 0.053963 on verification
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,347948@@@
Spent 0.052491 on verification
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,348236@@@
Spent 0.053261 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.63,348692@@@
Time left: 1787
------------------- QUERY 9 ----------------------
No solution found
Spent 0.049581 on verification
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,348992@@@
Spent 0.054708 on verification
Spent 0.052931 on verification
Spent 0.059378 on verification
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,348240@@@
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,349004@@@
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,348068@@@
Time left: 1764
------------------- QUERY 10 ----------------------
No solution found
Spent 0.053079 on verification
Spent 0.051235 on verification
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,348428@@@
Spent 0.054903 on verification
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,347824@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.49,348164@@@
Spent 0.054208 on verification
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,348940@@@
Time left: 1741
------------------- QUERY 11 ----------------------
No solution found
Spent 0.05396 on 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,349648@@@
Spent 0.054724 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.57,347952@@@
Spent 0.051572 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.02,351192@@@
Spent 0.051234 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.06,348164@@@
Time left: 1719
------------------- QUERY 12 ----------------------
No solution found
Spent 0.061047 on verification
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,348832@@@
Spent 0.060709 on verification
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,348508@@@
Spent 0.058477 on verification
Spent 0.059077 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.33,349224@@@
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,348316@@@
Time left: 1696
Time left: 1696
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (8 in total)
Each query is verified by 4 parallel strategies for 212 seconds
------------------- QUERY 5 ----------------------
No solution found
Spent 0.056878 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.54,349256@@@
Spent 0.053383 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.54,349016@@@
Spent 0.056052 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.056483 on verification
Command exited with non-zero status 255
@@@22.04,348520@@@
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,348204@@@
Time left: 1674
------------------- QUERY 6 ----------------------
No solution found
Spent 0.049268 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.13,348420@@@
Spent 0.053584 on 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,348396@@@
Spent 0.049767 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.78,348600@@@
Spent 0.050277 on 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,351280@@@
Time left: 1652
------------------- QUERY 7 ----------------------
No solution found
Spent 0.050998 on 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,348780@@@
Spent 0.052922 on 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,348536@@@
Spent 0.054186 on verification
Spent 0.050522 on 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,349600@@@
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,348800@@@
Time left: 1630
------------------- QUERY 8 ----------------------
No solution found
Spent 0.052289 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.42,348504@@@
Spent 0.049775 on 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,349624@@@
Spent 0.054262 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.91,348052@@@
Spent 0.052189 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.91,348760@@@
Time left: 1608
------------------- QUERY 9 ----------------------
No solution found
Spent 0.05427 on 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,349736@@@
Spent 0.054155 on 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,351284@@@
Spent 0.058045 on verification
Spent 0.055974 on 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,347808@@@
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,349516@@@
Time left: 1586
------------------- QUERY 10 ----------------------
No solution found
Spent 0.061232 on verification
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,349208@@@
Spent 0.060219 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.09,349696@@@
Spent 0.057607 on verification
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,348508@@@
Spent 0.063836 on verification
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,349532@@@
Time left: 1564
------------------- QUERY 11 ----------------------
No solution found
Spent 0.06181 on verification
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,349044@@@
Spent 0.060072 on verification
Spent 0.059885 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.82,348920@@@
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,349032@@@
Spent 0.063405 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.98,348532@@@
Time left: 1540
------------------- QUERY 12 ----------------------
No solution found
Spent 0.066241 on verification
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,349520@@@
Spent 0.066909 on verification
Spent 0.066117 on verification
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,348212@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.068442 on verification
Command exited with non-zero status 255
@@@22.71,351324@@@
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,348964@@@
Time left: 1517
Time left: 1517
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (8 in total)
Each query is verified by 4 parallel strategies for 189 seconds
------------------- QUERY 5 ----------------------
No solution found
Spent 0.050596 on 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.82,348980@@@
Spent 0.051743 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.93,349276@@@
Spent 0.054615 on verification
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,347920@@@
Spent 0.058909 on verification
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,348136@@@
Time left: 1494
------------------- QUERY 6 ----------------------
No solution found
Spent 0.049024 on 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,348496@@@
Spent 0.054622 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.86,348436@@@
Spent 0.053619 on verification
Spent 0.054108 on verification
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,347912@@@
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,347944@@@
Time left: 1472
------------------- QUERY 7 ----------------------
No solution found
Spent 0.05704 on verification
Spent 0.061258 on verification
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,347768@@@
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,349012@@@
Spent 0.054064 on verification
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,348064@@@
Spent 0.050939 on verification
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,348536@@@
Time left: 1449
------------------- QUERY 8 ----------------------
No solution found
Spent 0.052377 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.33,348792@@@
Spent 0.053343 on verification
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,351320@@@
Spent 0.051962 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.053456 on verification
Command exited with non-zero status 255
@@@22.53,349188@@@
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,348684@@@
Time left: 1426
------------------- QUERY 9 ----------------------
No solution found
Spent 0.053801 on verification
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,348884@@@
Spent 0.055676 on verification
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,348664@@@
Spent 0.056633 on 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.17,348860@@@
Spent 0.051909 on 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.14,349216@@@
Time left: 1401
------------------- QUERY 10 ----------------------
No solution found
Spent 0.05408 on 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.94,349528@@@
Spent 0.054996 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.95,347924@@@
Spent 0.051052 on verification
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,349748@@@
Spent 0.056188 on verification
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,351284@@@
Time left: 1378
------------------- QUERY 11 ----------------------
No solution found
Spent 0.055006 on verification
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,348264@@@
Spent 0.051777 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.052479 on verification
Command exited with non-zero status 255
@@@22.49,347852@@@
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,348264@@@
Spent 0.049276 on verification
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,348648@@@
Time left: 1355
------------------- QUERY 12 ----------------------
No solution found
Spent 0.058365 on 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,349592@@@
Spent 0.059555 on 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,348032@@@
Spent 0.065401 on verification
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,348784@@@
Spent 0.063769 on 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,348152@@@
Time left: 1332
Time left: 1332
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (8 in total)
Each query is verified by 4 parallel strategies for 166 seconds
------------------- QUERY 5 ----------------------
No solution found
Spent 0.052877 on verification
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,349736@@@
Spent 0.053106 on verification
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,351284@@@
Spent 0.058923 on verification
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,348944@@@
Spent 0.052091 on verification
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,348216@@@
Time left: 1309
------------------- QUERY 6 ----------------------
No solution found
Spent 0.052997 on 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,351280@@@
Spent 0.053522 on 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,347996@@@
Spent 0.052292 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.31,348064@@@
Spent 0.05729 on verification
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,349028@@@
Time left: 1287
------------------- QUERY 7 ----------------------
No solution found
Spent 0.056219 on verification
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,347800@@@
Spent 0.049222 on verification
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,349428@@@
Spent 0.069019 on verification
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,348432@@@
Spent 0.067641 on verification
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,349528@@@
Time left: 1264
------------------- QUERY 8 ----------------------
No solution found
Spent 0.050174 on verification
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,349252@@@
Spent 0.050956 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.49,349716@@@
Spent 0.064196 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.060572 on verification
Command exited with non-zero status 255
@@@22.66,348056@@@
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,349704@@@
Time left: 1241
------------------- QUERY 9 ----------------------
No solution found
Spent 0.054832 on verification
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,348968@@@
Spent 0.056787 on verification
Spent 0.055338 on verification
Spent 0.058696 on verification
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,347908@@@
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.65,348564@@@
Command exited with non-zero status 255
@@@22.64,348096@@@
Time left: 1218
------------------- QUERY 10 ----------------------
No solution found
Spent 0.059419 on verification
Spent 0.055488 on verification
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,349496@@@
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,349716@@@
Spent 0.049718 on verification
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,347992@@@
Spent 0.058695 on verification
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,349508@@@
Time left: 1195
------------------- QUERY 11 ----------------------
No solution found
Spent 0.051787 on verification
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,348436@@@
Spent 0.051474 on verification
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,348964@@@
Spent 0.062238 on verification
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,349536@@@
Spent 0.060721 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.49,348220@@@
Time left: 1172
------------------- QUERY 12 ----------------------
No solution found
Spent 0.064532 on verification
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,349004@@@
Spent 0.070396 on verification
Spent 0.062594 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.069916 on verification
Command exited with non-zero status 255
@@@22.56,348836@@@
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,347900@@@
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,347884@@@
Time left: 1149
Time left: 1149
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (8 in total)
Each query is verified by 4 parallel strategies for 143 seconds
------------------- QUERY 5 ----------------------
No solution found
Spent 0.048505 on verification
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,348892@@@
Spent 0.058893 on 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.33,347876@@@
Spent 0.046475 on 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.55,348528@@@
Spent 0.055439 on 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.39,347872@@@
Time left: 1124
------------------- QUERY 6 ----------------------
No solution found
Spent 0.05414 on verification
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,348412@@@
Spent 0.056263 on verification
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,348676@@@
Spent 0.047953 on verification
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,348260@@@
Spent 0.04709 on verification
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,348672@@@
Time left: 1101
------------------- QUERY 7 ----------------------
No solution found
Spent 0.064847 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.99,349628@@@
Spent 0.059527 on verification
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,351280@@@
Spent 0.053675 on verification
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,347880@@@
Spent 0.053571 on verification
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,347840@@@
Time left: 1078
------------------- QUERY 8 ----------------------
No solution found
Spent 0.059482 on verification
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,347824@@@
Spent 0.058169 on verification
Spent 0.056384 on verification
Spent 0.056669 on verification
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,349652@@@
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,348076@@@
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,348932@@@
Time left: 1055
------------------- QUERY 9 ----------------------
No solution found
Spent 0.056668 on verification
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,349236@@@
Spent 0.055109 on 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,348528@@@
Spent 0.04805 on 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.61,348364@@@
Spent 0.055023 on 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.84,348956@@@
Time left: 1029
------------------- QUERY 10 ----------------------
No solution found
Spent 0.057509 on verification
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,348596@@@
Spent 0.052443 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@25.02,348824@@@
Spent 0.053413 on 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.09,347828@@@
Spent 0.060644 on 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.18,348400@@@
Time left: 1000
------------------- QUERY 11 ----------------------
No solution found
Spent 0.051254 on verification
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,348268@@@
Spent 0.050308 on verification
Spent 0.066034 on verification
Spent 0.064607 on verification
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,349356@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.67,348700@@@
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,349388@@@
Time left: 977
------------------- QUERY 12 ----------------------
No solution found
Spent 0.057566 on verification
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,349792@@@
Spent 0.069961 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.67,348912@@@
Spent 0.073646 on verification
Spent 0.059328 on verification
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,348460@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.70,351324@@@
Time left: 954
Time left: 954
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (8 in total)
Each query is verified by 4 parallel strategies for 119 seconds
------------------- QUERY 5 ----------------------
No solution found
Spent 0.056465 on verification
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,348256@@@
Spent 0.050962 on verification
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,347744@@@
Spent 0.062194 on verification
Spent 0.063973 on verification
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,349228@@@
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,348364@@@
Time left: 931
------------------- QUERY 6 ----------------------
No solution found
Spent 0.060022 on verification
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,348532@@@
Spent 0.060509 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.049632 on verification
Command exited with non-zero status 255
@@@22.62,348272@@@
Spent 0.049592 on verification
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,348072@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.70,348744@@@
Time left: 908
------------------- QUERY 7 ----------------------
No solution found
Spent 0.064062 on verification
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,348976@@@
Spent 0.053596 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.053834 on verification
Spent 0.056559 on verification
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,349520@@@
Command exited with non-zero status 255
@@@22.65,351284@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.67,348648@@@
Time left: 885
------------------- QUERY 8 ----------------------
No solution found
Spent 0.049804 on verification
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,349468@@@
Spent 0.066496 on verification
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,348020@@@
Spent 0.049833 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.059308 on verification
Command exited with non-zero status 255
@@@22.94,349760@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.98,347768@@@
Time left: 862
------------------- QUERY 9 ----------------------
No solution found
Spent 0.049431 on verification
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,347800@@@
Spent 0.06095 on verification
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,348500@@@
Spent 0.049102 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.80,348616@@@
Spent 0.060319 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.98,349384@@@
Time left: 839
------------------- QUERY 10 ----------------------
No solution found
Spent 0.048587 on verification
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,348428@@@
Spent 0.0471 on verification
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,348268@@@
Spent 0.062338 on verification
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,349560@@@
Spent 0.064574 on verification
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,348680@@@
Time left: 816
------------------- QUERY 11 ----------------------
No solution found
Spent 0.047283 on verification
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,348436@@@
Spent 0.048961 on verification
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,347888@@@
Spent 0.059108 on verification
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,348600@@@
Spent 0.058245 on verification
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,349468@@@
Time left: 793
------------------- QUERY 12 ----------------------
No solution found
Spent 0.055847 on verification
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,348808@@@
Spent 0.055171 on verification
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,347912@@@
Spent 0.060602 on verification
Spent 0.073375 on verification
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,349740@@@
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,349448@@@
Time left: 770
Time left: 770
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (8 in total)
Each query is verified by 4 parallel strategies for 96 seconds
------------------- QUERY 5 ----------------------
No solution found
Spent 0.050406 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.75,348476@@@
Spent 0.062035 on verification
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,347748@@@
Spent 0.046814 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.91,349672@@@
Spent 0.063402 on 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,348608@@@
Time left: 747
------------------- QUERY 6 ----------------------
No solution found
Spent 0.051793 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.87,347824@@@
Spent 0.050333 on verification
Spent 0.061517 on verification
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,349044@@@
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,348596@@@
Spent 0.064433 on 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,349552@@@
Time left: 724
------------------- QUERY 7 ----------------------
No solution found
Spent 0.059573 on verification
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,348780@@@
Spent 0.050609 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.91,349748@@@
Spent 0.048324 on 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,349064@@@
Spent 0.049487 on 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.22,348664@@@
Time left: 699
------------------- QUERY 8 ----------------------
No solution found
Spent 0.05242 on verification
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,348104@@@
Spent 0.049339 on verification
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,351324@@@
Spent 0.064468 on verification
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,348180@@@
Spent 0.053072 on verification
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,348448@@@
Time left: 677
------------------- QUERY 9 ----------------------
No solution found
Spent 0.054204 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.93,348172@@@
Spent 0.051785 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.93,349432@@@
Spent 0.044568 on verification
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,348200@@@
Spent 0.064382 on verification
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,351280@@@
Time left: 654
------------------- QUERY 10 ----------------------
No solution found
Spent 0.046504 on verification
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,349188@@@
Spent 0.047816 on verification
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,349208@@@
Spent 0.061164 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.77,349212@@@
Spent 0.06394 on verification
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,349588@@@
Time left: 631
------------------- QUERY 11 ----------------------
No solution found
Spent 0.046364 on 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,348532@@@
Spent 0.045365 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.85,348552@@@
Spent 0.046045 on verification
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,349344@@@
Spent 0.059445 on verification
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,349500@@@
Time left: 608
------------------- QUERY 12 ----------------------
No solution found
Spent 0.054269 on 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,348168@@@
Spent 0.076447 on verification
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,348136@@@
Spent 0.055722 on 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.22,349520@@@
Spent 0.078159 on 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,349740@@@
Time left: 584
Time left: 584
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (8 in total)
Each query is verified by 4 parallel strategies for 73 seconds
------------------- QUERY 5 ----------------------
No solution found
Spent 0.051722 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.29,348184@@@
Spent 0.053242 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.30,347768@@@
Spent 0.04886 on verification
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,348068@@@
Spent 0.082211 on 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,349480@@@
Time left: 560
------------------- QUERY 6 ----------------------
No solution found
Spent 0.04812 on verification
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,348300@@@
Spent 0.048216 on 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,349232@@@
Spent 0.049844 on 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,349604@@@
Spent 0.076136 on 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.18,348640@@@
Time left: 537
------------------- QUERY 7 ----------------------
No solution found
Spent 0.045248 on 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.97,349396@@@
Spent 0.045448 on verification
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,348656@@@
Spent 0.078062 on verification
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,347952@@@
Spent 0.077105 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.33,348396@@@
Time left: 514
------------------- QUERY 8 ----------------------
No solution found
Spent 0.050442 on 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,348848@@@
Spent 0.049543 on 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,349492@@@
Spent 0.086449 on verification
Spent 0.088235 on verification
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,349008@@@
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,349568@@@
Time left: 492
------------------- QUERY 9 ----------------------
No solution found
Spent 0.045913 on verification
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,348948@@@
Spent 0.08091 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.34,348476@@@
Spent 0.048692 on verification
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,351280@@@
Spent 0.08372 on verification
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,348756@@@
Time left: 469
------------------- QUERY 10 ----------------------
No solution found
Spent 0.074438 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@23.20,348068@@@
Spent 0.044192 on 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.93,347956@@@
Spent 0.043735 on 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.66,351284@@@
Spent 0.044231 on 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.17,348692@@@
Time left: 441
------------------- QUERY 11 ----------------------
No solution found
Spent 0.075305 on verification
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,349336@@@
Spent 0.0503 on verification
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,348652@@@
Spent 0.074069 on 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.07,348684@@@
Spent 0.050117 on 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,348016@@@
Time left: 418
------------------- QUERY 12 ----------------------
No solution found
Spent 0.059652 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.63,348572@@@
Spent 0.058118 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.82,348196@@@
Spent 0.081859 on verification
Spent 0.062379 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.82,349412@@@
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,349196@@@
Time left: 395
Time left: 395
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (8 in total)
Each query is verified by 4 parallel strategies for 49 seconds
------------------- QUERY 5 ----------------------
No solution found
Spent 0.053748 on verification
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,348936@@@
Spent 0.05472 on verification
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,349296@@@
Spent 0.069463 on verification
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,349732@@@
Spent 0.07007 on verification
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,351280@@@
Time left: 371
------------------- QUERY 6 ----------------------
No solution found
Spent 0.04997 on verification
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,348176@@@
Spent 0.051669 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.75,348292@@@
Spent 0.048174 on verification
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,347864@@@
Spent 0.062516 on verification
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,348672@@@
Time left: 348
------------------- QUERY 7 ----------------------
No solution found
Spent 0.058039 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.30,348648@@@
Spent 0.047044 on verification
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,348752@@@
Spent 0.057899 on verification
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,348348@@@
Spent 0.047247 on verification
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,349260@@@
Time left: 325
------------------- QUERY 8 ----------------------
No solution found
Spent 0.047663 on 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,348916@@@
Spent 0.048265 on 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,348120@@@
Spent 0.066198 on 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,349684@@@
Spent 0.046919 on 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,348224@@@
Time left: 304
------------------- QUERY 9 ----------------------
No solution found
Spent 0.047648 on 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.12,348408@@@
Spent 0.04673 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.13,348320@@@
Spent 0.044898 on 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,348988@@@
Spent 0.044761 on 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,347856@@@
Time left: 282
------------------- QUERY 10 ----------------------
No solution found
Spent 0.045845 on 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,348276@@@
Spent 0.045791 on 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,348880@@@
Spent 0.070526 on verification
Spent 0.071603 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.90,351280@@@
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,348396@@@
Time left: 259
------------------- QUERY 11 ----------------------
No solution found
Spent 0.072132 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.53,348540@@@
Spent 0.072986 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.61,348064@@@
Spent 0.051508 on verification
Spent 0.051512 on 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,347944@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.82,348004@@@
Time left: 237
------------------- QUERY 12 ----------------------
No solution found
Spent 0.079139 on 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,351328@@@
Spent 0.079251 on verification
Spent 0.057362 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.66,349052@@@
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,348732@@@
Spent 0.05669 on 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,347944@@@
Time left: 215
Time left: 215
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (8 in total)
Each query is verified by 4 parallel strategies for 26 seconds
------------------- QUERY 5 ----------------------
No solution found
Spent 0.068178 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.52,348676@@@
Spent 0.070666 on 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,347720@@@
Spent 0.047435 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.88,349396@@@
Spent 0.048486 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.91,349708@@@
Time left: 193
------------------- QUERY 6 ----------------------
No solution found
Spent 0.063635 on verification
Spent 0.062165 on 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,347944@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.40,349028@@@
Spent 0.049562 on 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,349196@@@
Spent 0.051438 on 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,349024@@@
Time left: 171
------------------- QUERY 7 ----------------------
No solution found
Spent 0.071187 on verification
Spent 0.04968 on 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,349416@@@
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,348148@@@
Spent 0.051086 on 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,348976@@@
Spent 0.070036 on 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,348944@@@
Time left: 149
------------------- QUERY 8 ----------------------
No solution found
Spent 0.054218 on 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,348712@@@
Spent 0.053637 on 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,349184@@@
Spent 0.070453 on verification
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,349232@@@
Spent 0.070649 on verification
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,351324@@@
Time left: 126
------------------- QUERY 9 ----------------------
No solution found
Spent 0.046464 on 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.82,348120@@@
Spent 0.069379 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.93,349632@@@
Spent 0.050039 on verification
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,347752@@@
Spent 0.068791 on verification
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,348112@@@
Time left: 104
------------------- QUERY 10 ----------------------
No solution found
Spent 0.049543 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.85,348308@@@
Spent 0.070022 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.92,348728@@@
Spent 0.047785 on verification
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,349048@@@
Spent 0.06811 on verification
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,348848@@@
Time left: 81
------------------- QUERY 11 ----------------------
No solution found
Spent 0.047799 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.30,347972@@@
Spent 0.048838 on 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,348156@@@
Spent 0.066242 on verification
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,348260@@@
Spent 0.066336 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@22.29,349120@@@
Time left: 59
------------------- QUERY 12 ----------------------
No solution found
Spent 0.054182 on 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,349680@@@
Spent 0.076459 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.57,348256@@@
Spent 0.054726 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@21.95,348852@@@
Spent 0.07221 on verification
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,349416@@@
Time left: 36
Time left: 36
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (8 in total)
Each query is verified by 4 parallel strategies for 4 seconds
------------------- 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.x9vG6jrppk /home/mcc/BenchKit/bin/tmp/tmp.FVMLN15Iqq --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.x9vG6jrppk /home/mcc/BenchKit/bin/tmp/tmp.FVMLN15Iqq --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.x9vG6jrppk /home/mcc/BenchKit/bin/tmp/tmp.FVMLN15Iqq --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.x9vG6jrppk /home/mcc/BenchKit/bin/tmp/tmp.FVMLN15Iqq --binary-query-io 1 -x 5 -n
Time left: 31
------------------- 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.x9vG6jrppk /home/mcc/BenchKit/bin/tmp/tmp.FVMLN15Iqq --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.x9vG6jrppk /home/mcc/BenchKit/bin/tmp/tmp.FVMLN15Iqq --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.x9vG6jrppk /home/mcc/BenchKit/bin/tmp/tmp.FVMLN15Iqq --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.x9vG6jrppk /home/mcc/BenchKit/bin/tmp/tmp.FVMLN15Iqq --binary-query-io 1 -x 6 -n
Time left: 26
------------------- 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.x9vG6jrppk /home/mcc/BenchKit/bin/tmp/tmp.FVMLN15Iqq --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.x9vG6jrppk /home/mcc/BenchKit/bin/tmp/tmp.FVMLN15Iqq --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.x9vG6jrppk /home/mcc/BenchKit/bin/tmp/tmp.FVMLN15Iqq --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.x9vG6jrppk /home/mcc/BenchKit/bin/tmp/tmp.FVMLN15Iqq --binary-query-io 1 -x 7 -n
Time left: 20
------------------- 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.x9vG6jrppk /home/mcc/BenchKit/bin/tmp/tmp.FVMLN15Iqq --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.x9vG6jrppk /home/mcc/BenchKit/bin/tmp/tmp.FVMLN15Iqq --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.x9vG6jrppk /home/mcc/BenchKit/bin/tmp/tmp.FVMLN15Iqq --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.x9vG6jrppk /home/mcc/BenchKit/bin/tmp/tmp.FVMLN15Iqq --binary-query-io 1 -x 8 -n
Time left: 15
------------------- 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.x9vG6jrppk /home/mcc/BenchKit/bin/tmp/tmp.FVMLN15Iqq --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.x9vG6jrppk /home/mcc/BenchKit/bin/tmp/tmp.FVMLN15Iqq --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.x9vG6jrppk /home/mcc/BenchKit/bin/tmp/tmp.FVMLN15Iqq --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.x9vG6jrppk /home/mcc/BenchKit/bin/tmp/tmp.FVMLN15Iqq --binary-query-io 1 -x 9 -n
Time left: 9
------------------- 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.x9vG6jrppk /home/mcc/BenchKit/bin/tmp/tmp.FVMLN15Iqq --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.x9vG6jrppk /home/mcc/BenchKit/bin/tmp/tmp.FVMLN15Iqq --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.x9vG6jrppk /home/mcc/BenchKit/bin/tmp/tmp.FVMLN15Iqq --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.x9vG6jrppk /home/mcc/BenchKit/bin/tmp/tmp.FVMLN15Iqq --binary-query-io 1 -x 10 -n
Time left: 4
------------------- 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.x9vG6jrppk /home/mcc/BenchKit/bin/tmp/tmp.FVMLN15Iqq --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.x9vG6jrppk /home/mcc/BenchKit/bin/tmp/tmp.FVMLN15Iqq --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.x9vG6jrppk /home/mcc/BenchKit/bin/tmp/tmp.FVMLN15Iqq --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.x9vG6jrppk /home/mcc/BenchKit/bin/tmp/tmp.FVMLN15Iqq --binary-query-io 1 -x 11 -n
Time left: -2
Out of time, terminating!
terminated-with-cleanup
BK_STOP 1780349744642
--------------------
content from stderr:
ERROR: A query could not be translated from CTL* to CTL.
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="SupplyChain-PT-06000"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="gold2025"
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-5973"
echo " Executing tool gold2025"
echo " Input is SupplyChain-PT-06000, 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 r366-tall-178024404600202"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SupplyChain-PT-06000.tgz
mv SupplyChain-PT-06000 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.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 ;