About the Execution of Tapaal for JoinFreeModules-PT-2000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 527.676 | 537208.00 | 1350300.00 | 650.00 | TT??F?????F??F?T | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2022-input.r129-tall-165271816500219.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool tapaal
Input is JoinFreeModules-PT-2000, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r129-tall-165271816500219
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.5M
-rw-r--r-- 1 mcc users 9.2K Apr 30 02:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 102K Apr 30 02:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Apr 30 02:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Apr 30 02:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 6 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 4.2K May 10 09:34 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 10 09:34 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 5 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 3.8K May 9 08:08 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 9 08:08 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 9 08:08 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 9 08:08 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.2M May 10 09:34 model.pnml
-rw-r--r-- 1 mcc users 1.7K May 9 08:08 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 9 08:08 UpperBounds.xml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME JoinFreeModules-PT-2000-LTLCardinality-00
FORMULA_NAME JoinFreeModules-PT-2000-LTLCardinality-01
FORMULA_NAME JoinFreeModules-PT-2000-LTLCardinality-02
FORMULA_NAME JoinFreeModules-PT-2000-LTLCardinality-03
FORMULA_NAME JoinFreeModules-PT-2000-LTLCardinality-04
FORMULA_NAME JoinFreeModules-PT-2000-LTLCardinality-05
FORMULA_NAME JoinFreeModules-PT-2000-LTLCardinality-06
FORMULA_NAME JoinFreeModules-PT-2000-LTLCardinality-07
FORMULA_NAME JoinFreeModules-PT-2000-LTLCardinality-08
FORMULA_NAME JoinFreeModules-PT-2000-LTLCardinality-09
FORMULA_NAME JoinFreeModules-PT-2000-LTLCardinality-10
FORMULA_NAME JoinFreeModules-PT-2000-LTLCardinality-11
FORMULA_NAME JoinFreeModules-PT-2000-LTLCardinality-12
FORMULA_NAME JoinFreeModules-PT-2000-LTLCardinality-13
FORMULA_NAME JoinFreeModules-PT-2000-LTLCardinality-14
FORMULA_NAME JoinFreeModules-PT-2000-LTLCardinality-15
=== Now, execution of the tool begins
BK_START 1652754781673
tapaal
Got BK_BIN_PATH=/home/mcc/BenchKit/bin/
---> tapaal --- TAPAAL v5
Setting MODEL_PATH=.
Setting VERIFYPN=/home/mcc/BenchKit/bin/verifypn
Got BK_TIME_CONFINEMENT=3600
Setting TEMPDIR=/home/mcc/BenchKit/bin/tmp
Got BK_MEMORY_CONFINEMENT=16384
Limiting to 16265216 kB
Total timeout: 3590
Time left: 3590
*************************************
* TAPAAL verifying LTLCardinality *
*************************************
TEMPDIR=/home/mcc/BenchKit/bin/tmp
QF=/home/mcc/BenchKit/bin/tmp/tmp.OLi5N60yQT
MF=/home/mcc/BenchKit/bin/tmp/tmp.0V6pBVmcBC
Time left: 3590
---------------------------------------------------
Step -1: Stripping Colors
---------------------------------------------------
Verifying stripped models (16 in total)
/home/mcc/BenchKit/bin/verifypn -n -c -q 718 -ltl -l 29 -d 299 -z 4 -x 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16 ./model.pnml ./LTLCardinality.xml
CPN OverApproximation is only usable on colored models
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.OLi5N60yQT --write-reduced /home/mcc/BenchKit/bin/tmp/tmp.0V6pBVmcBC -x 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16 ./model.pnml ./LTLCardinality.xml
FORMULA JoinFreeModules-PT-2000-LTLCardinality-00 TRUE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT LP_APPROX
Query index 0 was solved
Query is satisfied.
FORMULA JoinFreeModules-PT-2000-LTLCardinality-01 TRUE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT LP_APPROX
Query index 1 was solved
Query is satisfied.
FORMULA JoinFreeModules-PT-2000-LTLCardinality-04 FALSE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT LP_APPROX
Query index 4 was solved
Query is NOT satisfied.
FORMULA JoinFreeModules-PT-2000-LTLCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT LP_APPROX
Query index 10 was solved
Query is NOT satisfied.
FORMULA JoinFreeModules-PT-2000-LTLCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT LP_APPROX
Query index 13 was solved
Query is NOT satisfied.
FORMULA JoinFreeModules-PT-2000-LTLCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT LP_APPROX
Query index 15 was solved
Query is satisfied.
Solution found by parallel simplification (step 0)
Solution found by parallel simplification (step 0)
Solution found by parallel simplification (step 0)
Solution found by parallel simplification (step 0)
Solution found by parallel simplification (step 0)
Solution found by parallel simplification (step 0)
Time left: 3443
---------------------------------------------------
Step 1: Parallel processing
---------------------------------------------------
Doing parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 299 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.111152 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.57,196152@@@
Spent 0.119553 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.57,196008@@@
Spent 0.002663 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.87,75868@@@
Spent 0.045163 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.91,196008@@@
Time left: 3440
------------------- QUERY 2 ----------------------
No solution found
Spent 0.043568 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196240@@@
Spent 0.040934 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.36,196064@@@
Spent 0.003451 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.54,75488@@@
Spent 0.043643 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.62,196272@@@
Time left: 3438
------------------- QUERY 3 ----------------------
No solution found
Spent 0.047406 on verification
Spent 0.046402 on verification
Spent 0.00275 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.30,75616@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196244@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196112@@@
Spent 0.069219 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.39,196244@@@
Time left: 3437
------------------- QUERY 4 ----------------------
No solution found
Spent 0.004201 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.28,75176@@@
Spent 0.046363 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196096@@@
Spent 0.045153 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196140@@@
Spent 0.068675 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.39,196028@@@
Time left: 3435
------------------- QUERY 5 ----------------------
No solution found
Spent 0.002945 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.29,76400@@@
Spent 0.045708 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196244@@@
Spent 0.046611 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.36,196168@@@
Spent 0.067114 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.39,196140@@@
Time left: 3434
------------------- QUERY 6 ----------------------
No solution found
Spent 0.046708 on verification
Spent 0.047211 on verification
Spent 0.04885 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196108@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196160@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196164@@@
Spent 0.003586 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,75816@@@
Time left: 3432
------------------- QUERY 7 ----------------------
No solution found
Spent 0.046386 on verification
Spent 0.002809 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,75316@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196088@@@
Spent 0.043313 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196184@@@
Spent 0.07009 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196064@@@
Time left: 3431
------------------- QUERY 8 ----------------------
No solution found
Spent 0.002842 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.87,75512@@@
Spent 0.045205 on verification
Spent 0.046036 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196092@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,195948@@@
Spent 0.051813 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,195992@@@
Time left: 3430
------------------- QUERY 9 ----------------------
No solution found
Spent 0.047015 on verification
Spent 0.04668 on verification
Spent 0.049287 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196044@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196108@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196148@@@
Spent 0.004019 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,76264@@@
Time left: 3429
------------------- QUERY 10 ----------------------
No solution found
Spent 0.003231 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,74868@@@
Spent 0.044723 on verification
Spent 0.047517 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196100@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196164@@@
Spent 0.069533 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.96,196192@@@
Time left: 3428
---------------------------------------------------
Step 2: Sequential processing
---------------------------------------------------
Remaining 10 queries are verified sequentially.
Each query is verified for a dynamic timeout (at least 512 seconds)
Time left: 3428
------------------- QUERY 1 ----------------------
Running query 1 for 512 seconds. Remaining: 10 queries and 3428 seconds
No solution found
Spent 0.043804 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,212544@@@
Time left: 3426
------------------- QUERY 2 ----------------------
Running query 2 for 512 seconds. Remaining: 9 queries and 3426 seconds
No solution found
Spent 0.068402 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.50,211732@@@
Time left: 3424
------------------- QUERY 3 ----------------------
Running query 3 for 512 seconds. Remaining: 8 queries and 3424 seconds
No solution found
Spent 0.044366 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,211884@@@
Time left: 3423
------------------- QUERY 4 ----------------------
Running query 4 for 512 seconds. Remaining: 7 queries and 3423 seconds
No solution found
Spent 0.046197 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.82,229720@@@
Time left: 3421
------------------- QUERY 5 ----------------------
Running query 5 for 570 seconds. Remaining: 6 queries and 3421 seconds
No solution found
Spent 0.073452 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@16.69,212468@@@
Time left: 3404
------------------- QUERY 6 ----------------------
Running query 6 for 680 seconds. Remaining: 5 queries and 3404 seconds
No solution found
Spent 0.044866 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.05,211864@@@
Time left: 3402
------------------- QUERY 7 ----------------------
Running query 7 for 850 seconds. Remaining: 4 queries and 3402 seconds
No solution found
Spent 0.04438 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,212016@@@
Time left: 3401
------------------- QUERY 8 ----------------------
Running query 8 for 1133 seconds. Remaining: 3 queries and 3401 seconds
No solution found
Spent 0.045479 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.75,228704@@@
Time left: 3399
------------------- QUERY 9 ----------------------
Running query 9 for 1699 seconds. Remaining: 2 queries and 3399 seconds
No solution found
Spent 0.048415 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.58,229576@@@
Time left: 3397
------------------- QUERY 10 ----------------------
Running query 10 for 3397 seconds. Remaining: 1 queries and 3397 seconds
No solution found
Spent 0.046588 on 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.90,212480@@@
Time left: 3370
Time left: 3370
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 337 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.046286 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.57,196236@@@
Spent 0.045696 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.67,196080@@@
Spent 0.044469 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.83,196156@@@
Spent 0.046702 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.91,196052@@@
Time left: 3368
------------------- QUERY 2 ----------------------
No solution found
Spent 0.046446 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.045565 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.41,196136@@@
Command exited with non-zero status 255
@@@1.42,196076@@@
Spent 0.043227 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.93,196092@@@
Spent 0.043277 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@2.04,196096@@@
Time left: 3366
------------------- QUERY 3 ----------------------
No solution found
Spent 0.043103 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.37,196256@@@
Spent 0.043397 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196148@@@
Spent 0.043566 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.95,196092@@@
Spent 0.042864 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@2.00,196020@@@
Time left: 3363
------------------- QUERY 4 ----------------------
No solution found
Spent 0.043575 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196216@@@
Spent 0.042918 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.68,196112@@@
Spent 0.044093 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.84,196220@@@
Spent 0.044922 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.87,196012@@@
Time left: 3361
------------------- QUERY 5 ----------------------
No solution found
Spent 0.061225 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,196292@@@
Spent 0.0797 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.54,196260@@@
Spent 0.046889 on verification
Spent 0.04542 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.94,196148@@@
Command exited with non-zero status 255
@@@1.94,196116@@@
Time left: 3359
------------------- QUERY 6 ----------------------
No solution found
Spent 0.046057 on verification
Spent 0.047611 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,196180@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196104@@@
Spent 0.045676 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.38,196236@@@
Spent 0.04762 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.41,196104@@@
Time left: 3358
------------------- QUERY 7 ----------------------
No solution found
Spent 0.045171 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196180@@@
Spent 0.045098 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196092@@@
Spent 0.044624 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196252@@@
Spent 0.044795 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.42,196108@@@
Time left: 3356
------------------- QUERY 8 ----------------------
No solution found
Spent 0.046237 on verification
Spent 0.045994 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196108@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196172@@@
Spent 0.044088 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.30,196316@@@
Spent 0.073015 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196244@@@
Time left: 3354
------------------- QUERY 9 ----------------------
No solution found
Spent 0.048355 on verification
Spent 0.047699 on verification
Spent 0.050525 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.94,196156@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,196216@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,196148@@@
Spent 0.052501 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196096@@@
Time left: 3353
------------------- QUERY 10 ----------------------
No solution found
Spent 0.045939 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,196180@@@
Spent 0.048009 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.94,196096@@@
Spent 0.050167 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.95,196252@@@
Spent 0.078697 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196012@@@
Time left: 3352
Time left: 3352
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 335 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.0454 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196180@@@
Spent 0.048075 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.38,196128@@@
Spent 0.046555 on verification
Spent 0.067437 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.38,196224@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.37,196168@@@
Time left: 3350
------------------- QUERY 2 ----------------------
No solution found
Spent 0.064747 on verification
Spent 0.046845 on verification
Spent 0.048268 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.36,196140@@@
Spent 0.049729 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196048@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.36,196312@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.37,196180@@@
Time left: 3349
------------------- QUERY 3 ----------------------
No solution found
Spent 0.06581 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.39,196020@@@
Spent 0.045877 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196164@@@
Spent 0.044417 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.65,196236@@@
Spent 0.044213 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.74,196088@@@
Time left: 3347
------------------- QUERY 4 ----------------------
No solution found
Spent 0.046002 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196176@@@
Spent 0.047206 on verification
Spent 0.069819 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.36,196088@@@
Spent 0.048256 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.37,196164@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.38,196164@@@
Time left: 3345
------------------- QUERY 5 ----------------------
No solution found
Spent 0.045314 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196108@@@
Spent 0.04786 on verification
Spent 0.068098 on verification
Spent 0.049197 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196244@@@
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
@@@1.37,196096@@@
Command exited with non-zero status 255
@@@1.38,196152@@@
Time left: 3344
------------------- QUERY 6 ----------------------
No solution found
Spent 0.045874 on verification
Spent 0.046782 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,196252@@@
Spent 0.069898 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.94,196240@@@
Spent 0.048417 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.96,196096@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.95,196064@@@
Time left: 3342
------------------- QUERY 7 ----------------------
No solution found
Spent 0.049473 on verification
Spent 0.046282 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,196248@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,196044@@@
Spent 0.067965 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.047847 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.96,196044@@@
Command exited with non-zero status 255
@@@0.97,195956@@@
Time left: 3341
------------------- QUERY 8 ----------------------
No solution found
Spent 0.044581 on verification
Spent 0.04533 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,196040@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,196108@@@
Spent 0.045078 on verification
Spent 0.075436 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.95,196216@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196096@@@
Time left: 3340
------------------- QUERY 9 ----------------------
No solution found
Spent 0.045746 on verification
Spent 0.046971 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,196188@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.94,196140@@@
Spent 0.048808 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.95,196052@@@
Spent 0.078507 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196024@@@
Time left: 3339
------------------- QUERY 10 ----------------------
No solution found
Spent 0.045386 on verification
Spent 0.04533 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.94,196144@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.95,196180@@@
Spent 0.048325 on verification
Spent 0.075372 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.95,195980@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196008@@@
Time left: 3338
Time left: 3338
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 333 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.043885 on verification
Spent 0.044625 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196240@@@
Spent 0.069127 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.36,196252@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.38,196224@@@
Spent 0.044979 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.39,196172@@@
Time left: 3336
------------------- QUERY 2 ----------------------
No solution found
Spent 0.066635 on verification
Spent 0.044138 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196088@@@
Spent 0.045689 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196104@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.37,196084@@@
Spent 0.046066 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.37,196000@@@
Time left: 3334
------------------- QUERY 3 ----------------------
No solution found
Spent 0.044275 on verification
Spent 0.044467 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196216@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196012@@@
Spent 0.045839 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.37,196312@@@
Spent 0.066246 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.39,196092@@@
Time left: 3333
------------------- QUERY 4 ----------------------
No solution found
Spent 0.045003 on verification
Spent 0.045531 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196316@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196252@@@
Spent 0.04663 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.37,196164@@@
Spent 0.069194 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.38,196148@@@
Time left: 3331
------------------- QUERY 5 ----------------------
No solution found
Spent 0.042447 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196244@@@
Spent 0.04546 on verification
Spent 0.046687 on verification
Spent 0.067893 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.36,196032@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.37,196152@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.38,196172@@@
Time left: 3330
------------------- QUERY 6 ----------------------
No solution found
Spent 0.044746 on verification
Spent 0.043208 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,196072@@@
Spent 0.067549 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,196028@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.95,196028@@@
Spent 0.046097 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.96,196092@@@
Time left: 3328
------------------- QUERY 7 ----------------------
No solution found
Spent 0.043594 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.043902 on verification
Command exited with non-zero status 255
@@@0.93,195952@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,195896@@@
Spent 0.0683 on verification
Spent 0.04596 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.95,195964@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.95,196156@@@
Time left: 3327
------------------- QUERY 8 ----------------------
No solution found
Spent 0.04491 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,196092@@@
Spent 0.069339 on verification
Spent 0.04654 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.95,195932@@@
Spent 0.047271 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.94,196092@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.95,196176@@@
Time left: 3326
------------------- QUERY 9 ----------------------
No solution found
Spent 0.045777 on verification
Spent 0.044858 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196148@@@
Command exited with non-zero status 255
@@@0.93,196260@@@
Spent 0.045473 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.069295 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.95,196100@@@
Command exited with non-zero status 255
@@@0.95,196180@@@
Time left: 3325
------------------- QUERY 10 ----------------------
No solution found
Spent 0.045318 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.04412 on verification
Command exited with non-zero status 255
@@@0.92,196096@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196164@@@
Spent 0.045182 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.94,196108@@@
Spent 0.068049 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196108@@@
Time left: 3324
Time left: 3324
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 332 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.043426 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196292@@@
Spent 0.045884 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196160@@@
Spent 0.046852 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196180@@@
Spent 0.077324 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.39,196184@@@
Time left: 3322
------------------- QUERY 2 ----------------------
No solution found
Spent 0.043379 on verification
Spent 0.043724 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,195952@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196064@@@
Spent 0.04829 on verification
Spent 0.044275 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.37,196108@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.37,196236@@@
Time left: 3320
------------------- QUERY 3 ----------------------
No solution found
Spent 0.045664 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.045008 on verification
Command exited with non-zero status 255
@@@1.34,196188@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196052@@@
Spent 0.044284 on verification
Spent 0.069166 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196316@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.37,196256@@@
Time left: 3319
------------------- QUERY 4 ----------------------
No solution found
Spent 0.045107 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196252@@@
Spent 0.044676 on verification
Spent 0.045031 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196216@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196152@@@
Spent 0.047174 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.38,196216@@@
Time left: 3317
------------------- QUERY 5 ----------------------
No solution found
Spent 0.045373 on verification
Spent 0.043527 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196248@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196112@@@
Spent 0.044772 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196008@@@
Spent 0.067053 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.41,196252@@@
Time left: 3316
------------------- QUERY 6 ----------------------
No solution found
Spent 0.044159 on verification
Spent 0.043631 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196160@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,196016@@@
Spent 0.044771 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,196144@@@
Spent 0.068203 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196112@@@
Time left: 3314
------------------- QUERY 7 ----------------------
No solution found
Spent 0.042294 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,195960@@@
Spent 0.042982 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196180@@@
Spent 0.045036 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196256@@@
Spent 0.068504 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196092@@@
Time left: 3313
------------------- QUERY 8 ----------------------
No solution found
Spent 0.042421 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,195956@@@
Spent 0.04448 on verification
Spent 0.044017 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196176@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,196100@@@
Spent 0.067042 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.96,196032@@@
Time left: 3312
------------------- QUERY 9 ----------------------
No solution found
Spent 0.0452 on verification
Spent 0.045457 on verification
Spent 0.044324 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196148@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196248@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,196040@@@
Spent 0.070059 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196108@@@
Time left: 3311
------------------- QUERY 10 ----------------------
No solution found
Spent 0.042486 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.94,196092@@@
Spent 0.04314 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.96,196068@@@
Spent 0.042011 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.29,196160@@@
Spent 0.043443 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,195956@@@
Time left: 3309
Time left: 3309
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 330 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.042608 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.41,196080@@@
Spent 0.04273 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.58,196248@@@
Spent 0.042235 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.74,196148@@@
Spent 0.041961 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@2.04,196164@@@
Time left: 3307
------------------- QUERY 2 ----------------------
No solution found
Spent 0.094196 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.51,196084@@@
Spent 0.048213 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.55,196148@@@
Spent 0.041286 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.74,196252@@@
Spent 0.04148 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@2.09,196092@@@
Time left: 3305
------------------- QUERY 3 ----------------------
No solution found
Spent 0.042642 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196216@@@
Spent 0.042585 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.37,196252@@@
Spent 0.042215 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196320@@@
Spent 0.04348 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196108@@@
Time left: 3303
------------------- QUERY 4 ----------------------
No solution found
Spent 0.043141 on verification
Spent 0.044217 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196136@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196232@@@
Spent 0.067264 on verification
Spent 0.043036 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.48,196108@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.50,196012@@@
Time left: 3301
------------------- QUERY 5 ----------------------
No solution found
Spent 0.044056 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196012@@@
Spent 0.045273 on verification
Spent 0.045241 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196248@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196108@@@
Spent 0.069482 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.39,196164@@@
Time left: 3300
------------------- QUERY 6 ----------------------
No solution found
Spent 0.0429 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.044394 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196104@@@
Command exited with non-zero status 255
@@@0.90,196168@@@
Spent 0.042641 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196024@@@
Spent 0.067981 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196188@@@
Time left: 3298
------------------- QUERY 7 ----------------------
No solution found
Spent 0.045221 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.045464 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196096@@@
Spent 0.044811 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196252@@@
Command exited with non-zero status 255
@@@0.90,196148@@@
Spent 0.042085 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.96,196100@@@
Time left: 3297
------------------- QUERY 8 ----------------------
No solution found
Spent 0.044297 on verification
Spent 0.043197 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,195952@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196248@@@
Spent 0.045159 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196104@@@
Spent 0.066347 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.96,196000@@@
Time left: 3296
------------------- QUERY 9 ----------------------
No solution found
Spent 0.043707 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,195952@@@
Spent 0.04573 on verification
Spent 0.045415 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196112@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196184@@@
Spent 0.067452 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.95,196144@@@
Time left: 3295
------------------- QUERY 10 ----------------------
No solution found
Spent 0.043732 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196100@@@
Spent 0.044779 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196148@@@
Spent 0.04471 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196092@@@
Spent 0.077658 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196156@@@
Time left: 3294
Time left: 3294
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 329 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.044898 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.044498 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196256@@@
Command exited with non-zero status 255
@@@1.33,196164@@@
Spent 0.044904 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196168@@@
Spent 0.071144 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.39,196008@@@
Time left: 3292
------------------- QUERY 2 ----------------------
No solution found
Spent 0.041737 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196000@@@
Spent 0.044435 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196028@@@
Spent 0.055501 on verification
Spent 0.044584 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196148@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196252@@@
Time left: 3290
------------------- QUERY 3 ----------------------
No solution found
Spent 0.041448 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196092@@@
Spent 0.043419 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.045366 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196096@@@
Spent 0.068152 on verification
Command exited with non-zero status 255
@@@1.35,196236@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.37,196212@@@
Time left: 3289
------------------- QUERY 4 ----------------------
No solution found
Spent 0.043816 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196060@@@
Spent 0.044836 on verification
Spent 0.044541 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196244@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196092@@@
Spent 0.068675 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196324@@@
Time left: 3287
------------------- QUERY 5 ----------------------
No solution found
Spent 0.043692 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196056@@@
Spent 0.045495 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196104@@@
Spent 0.042317 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.97,196164@@@
Spent 0.042354 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@2.01,196240@@@
Time left: 3285
------------------- QUERY 6 ----------------------
No solution found
Spent 0.041467 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196040@@@
Spent 0.043581 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.94,196100@@@
Spent 0.04296 on verification
Spent 0.042048 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196108@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.36,196160@@@
Time left: 3283
------------------- QUERY 7 ----------------------
No solution found
Spent 0.042304 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.02,196140@@@
Spent 0.045474 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196096@@@
Spent 0.042005 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.26,196224@@@
Spent 0.041841 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196196@@@
Time left: 3282
------------------- QUERY 8 ----------------------
No solution found
Spent 0.042137 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,196032@@@
Spent 0.042916 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.96,196152@@@
Spent 0.043011 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196248@@@
Spent 0.043732 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196012@@@
Time left: 3280
------------------- QUERY 9 ----------------------
No solution found
Spent 0.043277 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196152@@@
Spent 0.044252 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.94,196072@@@
Spent 0.042313 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196096@@@
Spent 0.042109 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.39,196176@@@
Time left: 3279
------------------- QUERY 10 ----------------------
No solution found
Spent 0.041576 on verification
Spent 0.04262 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.88,196156@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196092@@@
Spent 0.0415 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196020@@@
Spent 0.070826 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196168@@@
Time left: 3277
Time left: 3277
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 327 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.044285 on verification
Spent 0.04301 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196316@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196252@@@
Spent 0.044583 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196216@@@
Spent 0.069156 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196000@@@
Time left: 3276
------------------- QUERY 2 ----------------------
No solution found
Spent 0.042332 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,195960@@@
Spent 0.042941 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196248@@@
Spent 0.069713 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196100@@@
Spent 0.043522 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.39,196044@@@
Time left: 3274
------------------- QUERY 3 ----------------------
No solution found
Spent 0.043353 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196216@@@
Spent 0.043335 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196244@@@
Spent 0.042891 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196108@@@
Spent 0.04406 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.50,196112@@@
Time left: 3272
------------------- QUERY 4 ----------------------
No solution found
Spent 0.041828 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196220@@@
Spent 0.043521 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196028@@@
Spent 0.041737 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.55,196100@@@
Spent 0.067893 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.62,196016@@@
Time left: 3270
------------------- QUERY 5 ----------------------
No solution found
Spent 0.042377 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196232@@@
Spent 0.041999 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.47,196024@@@
Spent 0.041509 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.89,196148@@@
Spent 0.04153 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.96,196212@@@
Time left: 3268
------------------- QUERY 6 ----------------------
No solution found
Spent 0.042273 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.041925 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,195996@@@
Command exited with non-zero status 255
@@@0.89,196100@@@
Spent 0.041115 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196180@@@
Spent 0.069924 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.04,196188@@@
Time left: 3267
------------------- QUERY 7 ----------------------
No solution found
Spent 0.042313 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196168@@@
Spent 0.0432 on verification
Spent 0.043015 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196100@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.94,196104@@@
Spent 0.068229 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196216@@@
Time left: 3266
------------------- QUERY 8 ----------------------
No solution found
Spent 0.042866 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196100@@@
Spent 0.045074 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196216@@@
Spent 0.044754 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.94,196088@@@
Spent 0.062677 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.95,196188@@@
Time left: 3265
------------------- QUERY 9 ----------------------
No solution found
Spent 0.043923 on verification
Spent 0.043232 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196216@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,196156@@@
Spent 0.04306 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.94,195960@@@
Spent 0.069347 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.96,196092@@@
Time left: 3264
------------------- QUERY 10 ----------------------
No solution found
Spent 0.042628 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196188@@@
Spent 0.04385 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.044306 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,196148@@@
Command exited with non-zero status 255
@@@0.93,196020@@@
Spent 0.069551 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196136@@@
Time left: 3262
Time left: 3262
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 326 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.04355 on verification
Spent 0.045422 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196096@@@
Spent 0.044067 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196012@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.36,196048@@@
Spent 0.072437 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.41,196112@@@
Time left: 3261
------------------- QUERY 2 ----------------------
No solution found
Spent 0.041476 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196248@@@
Spent 0.043801 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196212@@@
Spent 0.059258 on verification
Spent 0.043682 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.36,195948@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.37,196252@@@
Time left: 3259
------------------- QUERY 3 ----------------------
No solution found
Spent 0.040756 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196252@@@
Spent 0.057174 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.42,196220@@@
Spent 0.040472 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.94,196216@@@
Spent 0.040989 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.98,196248@@@
Time left: 3257
------------------- QUERY 4 ----------------------
No solution found
Spent 0.041354 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196188@@@
Spent 0.041537 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.63,196164@@@
Spent 0.041526 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.87,196040@@@
Spent 0.041327 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.89,196020@@@
Time left: 3255
------------------- QUERY 5 ----------------------
No solution found
Spent 0.069989 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196168@@@
Spent 0.040568 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.65,196172@@@
Spent 0.040482 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.74,196224@@@
Spent 0.040306 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.79,196116@@@
Time left: 3253
------------------- QUERY 6 ----------------------
No solution found
Spent 0.041466 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196108@@@
Spent 0.041796 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196188@@@
Spent 0.042997 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196112@@@
Spent 0.067527 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196092@@@
Time left: 3252
------------------- QUERY 7 ----------------------
No solution found
Spent 0.041675 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196112@@@
Spent 0.041173 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196044@@@
Spent 0.054816 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,196240@@@
Spent 0.041049 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.95,196028@@@
Time left: 3250
------------------- QUERY 8 ----------------------
No solution found
Spent 0.040795 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196316@@@
Spent 0.057019 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196204@@@
Spent 0.04154 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196156@@@
Spent 0.042247 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.08,196092@@@
Time left: 3249
------------------- QUERY 9 ----------------------
No solution found
Spent 0.040804 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196100@@@
Spent 0.041437 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196164@@@
Spent 0.041019 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.22,196136@@@
Spent 0.068954 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.28,195960@@@
Time left: 3248
------------------- QUERY 10 ----------------------
No solution found
Spent 0.041156 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196176@@@
Spent 0.041334 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,196108@@@
Spent 0.043302 on verification
Spent 0.043799 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196316@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.05,196148@@@
Time left: 3246
Time left: 3246
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 324 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.040629 on verification
Spent 0.041649 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196160@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196320@@@
Spent 0.040488 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196180@@@
Spent 0.072825 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.41,196048@@@
Time left: 3245
------------------- QUERY 2 ----------------------
No solution found
Spent 0.040594 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.30,196128@@@
Spent 0.057822 on verification
Spent 0.041883 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196152@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196152@@@
Spent 0.040599 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.59,196172@@@
Time left: 3243
------------------- QUERY 3 ----------------------
No solution found
Spent 0.040708 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.29,196116@@@
Spent 0.040392 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196224@@@
Spent 0.041457 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.45,196208@@@
Spent 0.060815 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.49,196108@@@
Time left: 3241
------------------- QUERY 4 ----------------------
No solution found
Spent 0.041208 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196224@@@
Spent 0.041463 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.36,196164@@@
Spent 0.040493 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.74,196108@@@
Spent 0.068767 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.79,196260@@@
Time left: 3239
------------------- QUERY 5 ----------------------
No solution found
Spent 0.044445 on verification
Spent 0.04412 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196232@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196064@@@
Spent 0.043972 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196220@@@
Spent 0.071426 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196032@@@
Time left: 3238
------------------- QUERY 6 ----------------------
No solution found
Spent 0.042802 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196180@@@
Spent 0.043831 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196108@@@
Spent 0.044643 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,196048@@@
Spent 0.071114 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.96,196068@@@
Time left: 3236
------------------- QUERY 7 ----------------------
No solution found
Spent 0.042147 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,195964@@@
Spent 0.043939 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196172@@@
Spent 0.043312 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.079019 on verification
Command exited with non-zero status 255
@@@0.92,196044@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196012@@@
Time left: 3235
------------------- QUERY 8 ----------------------
No solution found
Spent 0.041819 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196112@@@
Spent 0.042969 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,196016@@@
Spent 0.043276 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,195964@@@
Spent 0.078546 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196148@@@
Time left: 3234
------------------- QUERY 9 ----------------------
No solution found
Spent 0.04847 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196176@@@
Spent 0.04458 on verification
Spent 0.045353 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,196064@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,196184@@@
Spent 0.067837 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196216@@@
Time left: 3233
------------------- QUERY 10 ----------------------
No solution found
Spent 0.043678 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196216@@@
Spent 0.04355 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196260@@@
Spent 0.044756 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196096@@@
Spent 0.06766 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.96,196140@@@
Time left: 3232
Time left: 3232
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 323 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.042356 on verification
Spent 0.042359 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196112@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196320@@@
Spent 0.042533 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196244@@@
Spent 0.042014 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.37,196236@@@
Time left: 3230
------------------- QUERY 2 ----------------------
No solution found
Spent 0.041829 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196252@@@
Spent 0.043292 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.04426 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196184@@@
Command exited with non-zero status 255
@@@1.34,195944@@@
Spent 0.068625 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196316@@@
Time left: 3228
------------------- QUERY 3 ----------------------
No solution found
Spent 0.043343 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.38,196064@@@
Spent 0.064333 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196160@@@
Spent 0.04069 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.91,196320@@@
Spent 0.04124 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.98,196056@@@
Time left: 3226
------------------- QUERY 4 ----------------------
No solution found
Spent 0.041387 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196060@@@
Spent 0.041849 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196176@@@
Spent 0.041421 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.61,196152@@@
Spent 0.073444 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.77,196108@@@
Time left: 3224
------------------- QUERY 5 ----------------------
No solution found
Spent 0.042419 on verification
Spent 0.043338 on verification
Spent 0.042717 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196032@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196248@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196060@@@
Spent 0.07035 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196032@@@
Time left: 3222
------------------- QUERY 6 ----------------------
No solution found
Spent 0.042507 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196192@@@
Spent 0.043332 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196312@@@
Spent 0.042466 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196144@@@
Spent 0.068934 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196020@@@
Time left: 3221
------------------- QUERY 7 ----------------------
No solution found
Spent 0.042101 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196192@@@
Spent 0.043566 on verification
Spent 0.042147 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196248@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196080@@@
Spent 0.070187 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196032@@@
Time left: 3220
------------------- QUERY 8 ----------------------
No solution found
Spent 0.043761 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196108@@@
Spent 0.042845 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196156@@@
Spent 0.043395 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196256@@@
Spent 0.068912 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196036@@@
Time left: 3219
------------------- QUERY 9 ----------------------
No solution found
Spent 0.043635 on verification
Spent 0.043165 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196088@@@
Spent 0.042984 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196020@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196148@@@
Spent 0.041505 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196172@@@
Time left: 3218
------------------- QUERY 10 ----------------------
No solution found
Spent 0.042582 on verification
Spent 0.042086 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196000@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.88,196152@@@
Spent 0.043115 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196108@@@
Spent 0.070495 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196224@@@
Time left: 3216
Time left: 3216
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 321 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.041706 on verification
Spent 0.04181 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.30,196236@@@
Spent 0.042315 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.30,196032@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196012@@@
Spent 0.070218 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.42,196004@@@
Time left: 3215
------------------- QUERY 2 ----------------------
No solution found
Spent 0.042129 on verification
Spent 0.042127 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.30,196092@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.30,196236@@@
Spent 0.041971 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196140@@@
Spent 0.070221 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196092@@@
Time left: 3213
------------------- QUERY 3 ----------------------
No solution found
Spent 0.041653 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.30,196168@@@
Spent 0.041533 on verification
Spent 0.043197 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196256@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196248@@@
Spent 0.082444 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.44,196168@@@
Time left: 3211
------------------- QUERY 4 ----------------------
No solution found
Spent 0.04399 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196228@@@
Spent 0.043916 on verification
Spent 0.043683 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196208@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196148@@@
Spent 0.075994 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.41,196068@@@
Time left: 3210
------------------- QUERY 5 ----------------------
No solution found
Spent 0.043233 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.042801 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.30,196140@@@
Command exited with non-zero status 255
@@@1.30,196244@@@
Spent 0.043153 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196164@@@
Spent 0.068879 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.42,196148@@@
Time left: 3208
------------------- QUERY 6 ----------------------
No solution found
Spent 0.042345 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196168@@@
Spent 0.042695 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196112@@@
Spent 0.04318 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196176@@@
Spent 0.069473 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196112@@@
Time left: 3207
------------------- QUERY 7 ----------------------
No solution found
Spent 0.042489 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196188@@@
Spent 0.042797 on verification
Spent 0.041683 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196088@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196152@@@
Spent 0.069248 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196092@@@
Time left: 3206
------------------- QUERY 8 ----------------------
No solution found
Spent 0.042397 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196176@@@
Spent 0.043594 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196096@@@
Spent 0.044417 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196176@@@
Spent 0.06853 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.95,196016@@@
Time left: 3205
------------------- QUERY 9 ----------------------
No solution found
Spent 0.042772 on verification
Spent 0.042306 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196176@@@
Spent 0.04259 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196184@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196184@@@
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
@@@0.97,196152@@@
Time left: 3203
------------------- QUERY 10 ----------------------
No solution found
Spent 0.043265 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.043154 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196168@@@
Command exited with non-zero status 255
@@@0.90,195964@@@
Spent 0.041917 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196064@@@
Spent 0.071803 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196144@@@
Time left: 3202
Time left: 3202
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 320 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.040881 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196156@@@
Spent 0.042615 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196112@@@
Spent 0.04308 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196164@@@
Spent 0.071125 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.38,196148@@@
Time left: 3201
------------------- QUERY 2 ----------------------
No solution found
Spent 0.041498 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196072@@@
Spent 0.042503 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196224@@@
Spent 0.042427 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196100@@@
Spent 0.056747 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.36,196080@@@
Time left: 3199
------------------- QUERY 3 ----------------------
No solution found
Spent 0.04297 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196000@@@
Spent 0.043127 on verification
Spent 0.042665 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196048@@@
Command exited with non-zero status 255
@@@1.31,196256@@@
Spent 0.041048 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.38,196096@@@
Time left: 3197
------------------- QUERY 4 ----------------------
No solution found
Spent 0.041548 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196172@@@
Spent 0.043658 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196048@@@
Spent 0.042771 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196092@@@
Spent 0.070503 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.37,196128@@@
Time left: 3196
------------------- QUERY 5 ----------------------
No solution found
Spent 0.041562 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196252@@@
Spent 0.042214 on verification
Spent 0.042012 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196036@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196212@@@
Spent 0.070881 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.38,196012@@@
Time left: 3194
------------------- QUERY 6 ----------------------
No solution found
Spent 0.041986 on verification
Spent 0.041538 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196160@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196064@@@
Spent 0.04299 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196164@@@
Spent 0.068246 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.96,196088@@@
Time left: 3193
------------------- QUERY 7 ----------------------
No solution found
Spent 0.043132 on verification
Spent 0.042307 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196092@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196108@@@
Spent 0.043455 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196108@@@
Spent 0.068583 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196164@@@
Time left: 3192
------------------- QUERY 8 ----------------------
No solution found
Spent 0.041391 on verification
Spent 0.041407 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196252@@@
Spent 0.068886 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196320@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.94,196192@@@
Spent 0.041521 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.96,196068@@@
Time left: 3191
------------------- QUERY 9 ----------------------
No solution found
Spent 0.042245 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196100@@@
Spent 0.042058 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196064@@@
Spent 0.040599 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196180@@@
Spent 0.041232 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196108@@@
Time left: 3189
------------------- QUERY 10 ----------------------
No solution found
Spent 0.040907 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196176@@@
Spent 0.040781 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196104@@@
Spent 0.040991 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196148@@@
Spent 0.041262 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.37,196252@@@
Time left: 3187
Time left: 3187
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 318 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.041172 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196244@@@
Spent 0.040911 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.36,196248@@@
Spent 0.040481 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.92,196316@@@
Spent 0.040671 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.99,196152@@@
Time left: 3185
------------------- QUERY 2 ----------------------
No solution found
Spent 0.040179 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196252@@@
Spent 0.040891 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196052@@@
Spent 0.040806 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.94,196208@@@
Spent 0.040818 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@2.00,196320@@@
Time left: 3183
------------------- QUERY 3 ----------------------
No solution found
Spent 0.041565 on verification
Spent 0.042043 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196248@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196076@@@
Spent 0.040627 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.99,196252@@@
Spent 0.040715 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@2.00,196016@@@
Time left: 3181
------------------- QUERY 4 ----------------------
No solution found
Spent 0.041367 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196004@@@
Spent 0.041319 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.51,196316@@@
Spent 0.04177 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.81,196152@@@
Spent 0.040903 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.96,196144@@@
Time left: 3179
------------------- QUERY 5 ----------------------
No solution found
Spent 0.041414 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196248@@@
Spent 0.040799 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196236@@@
Spent 0.040336 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.94,196316@@@
Spent 0.041681 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@2.00,196088@@@
Time left: 3176
------------------- QUERY 6 ----------------------
No solution found
Spent 0.041015 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196024@@@
Spent 0.041919 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.05,196152@@@
Spent 0.040853 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.27,196184@@@
Spent 0.040676 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196124@@@
Time left: 3175
------------------- QUERY 7 ----------------------
No solution found
Spent 0.041332 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,195948@@@
Spent 0.043122 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196012@@@
Spent 0.040782 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196216@@@
Spent 0.041053 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196104@@@
Time left: 3173
------------------- QUERY 8 ----------------------
No solution found
Spent 0.041456 on verification
Spent 0.042198 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196040@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196236@@@
Spent 0.041567 on verification
Spent 0.047913 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196108@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.37,196152@@@
Time left: 3172
------------------- QUERY 9 ----------------------
No solution found
Spent 0.040929 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196244@@@
Spent 0.040739 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.09,196184@@@
Spent 0.040892 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.27,196108@@@
Spent 0.041294 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.27,196096@@@
Time left: 3170
------------------- QUERY 10 ----------------------
No solution found
Spent 0.041686 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.042076 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,195956@@@
Command exited with non-zero status 255
@@@0.89,196108@@@
Spent 0.041542 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196160@@@
Spent 0.041867 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.36,196112@@@
Time left: 3169
Time left: 3169
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 316 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.041188 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.041249 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196164@@@
Command exited with non-zero status 255
@@@1.34,196056@@@
Spent 0.040941 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.94,196168@@@
Spent 0.041276 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.98,195944@@@
Time left: 3166
------------------- QUERY 2 ----------------------
No solution found
Spent 0.04115 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196104@@@
Spent 0.042014 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.55,196084@@@
Spent 0.040641 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.75,196316@@@
Spent 0.040323 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@2.01,195948@@@
Time left: 3164
------------------- QUERY 3 ----------------------
No solution found
Spent 0.040799 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196072@@@
Spent 0.040987 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196008@@@
Spent 0.04077 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.95,196096@@@
Spent 0.040691 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.96,196244@@@
Time left: 3162
------------------- QUERY 4 ----------------------
No solution found
Spent 0.041804 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.042018 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196212@@@
Command exited with non-zero status 255
@@@1.34,196148@@@
Spent 0.04183 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.46,196080@@@
Spent 0.068406 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.49,196032@@@
Time left: 3160
------------------- QUERY 5 ----------------------
No solution found
Spent 0.051158 on verification
Spent 0.042951 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196096@@@
Spent 0.049329 on verification
Spent 0.043843 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196016@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196176@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196160@@@
Time left: 3159
------------------- QUERY 6 ----------------------
No solution found
Spent 0.041891 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196096@@@
Spent 0.041922 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196192@@@
Spent 0.043352 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196088@@@
Spent 0.068896 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196148@@@
Time left: 3157
------------------- QUERY 7 ----------------------
No solution found
Spent 0.040812 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196088@@@
Spent 0.041403 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196180@@@
Spent 0.042519 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196108@@@
Spent 0.067742 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196176@@@
Time left: 3156
------------------- QUERY 8 ----------------------
No solution found
Spent 0.042592 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,195940@@@
Spent 0.042202 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196164@@@
Spent 0.043866 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,195964@@@
Spent 0.069206 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196080@@@
Time left: 3155
------------------- QUERY 9 ----------------------
No solution found
Spent 0.042209 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196152@@@
Spent 0.043059 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196024@@@
Spent 0.043444 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196176@@@
Spent 0.069483 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196148@@@
Time left: 3154
------------------- QUERY 10 ----------------------
No solution found
Spent 0.042869 on verification
Spent 0.043324 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196216@@@
Spent 0.043519 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196032@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196152@@@
Spent 0.06895 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.96,196164@@@
Time left: 3153
Time left: 3153
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 315 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.042091 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.30,196256@@@
Spent 0.042607 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196080@@@
Spent 0.043285 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196216@@@
Spent 0.068511 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.36,196096@@@
Time left: 3151
------------------- QUERY 2 ----------------------
No solution found
Spent 0.044012 on verification
Spent 0.044543 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196244@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196104@@@
Spent 0.046331 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.37,196216@@@
Spent 0.07261 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.41,196172@@@
Time left: 3149
------------------- QUERY 3 ----------------------
No solution found
Spent 0.046592 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196140@@@
Spent 0.046981 on verification
Spent 0.046464 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196076@@@
Command exited with non-zero status 255
@@@1.33,196256@@@
Spent 0.073574 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.43,196084@@@
Time left: 3148
------------------- QUERY 4 ----------------------
No solution found
Spent 0.043762 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196024@@@
Spent 0.04637 on verification
Spent 0.045788 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196164@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196156@@@
Spent 0.071609 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196148@@@
Time left: 3146
------------------- QUERY 5 ----------------------
No solution found
Spent 0.047438 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.046203 on verification
Command exited with non-zero status 255
@@@1.33,196216@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196024@@@
Spent 0.04602 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.36,196252@@@
Spent 0.073274 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.39,196108@@@
Time left: 3145
------------------- QUERY 6 ----------------------
No solution found
Spent 0.04433 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196192@@@
Spent 0.045295 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196028@@@
Spent 0.044793 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,196176@@@
Spent 0.073195 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196228@@@
Time left: 3143
------------------- QUERY 7 ----------------------
No solution found
Spent 0.045068 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196016@@@
Spent 0.045792 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196032@@@
Spent 0.045492 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,196104@@@
Spent 0.072669 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196148@@@
Time left: 3142
------------------- QUERY 8 ----------------------
No solution found
Spent 0.045637 on verification
Spent 0.04542 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,195944@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,196248@@@
Spent 0.045256 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196160@@@
Spent 0.073809 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,195952@@@
Time left: 3141
------------------- QUERY 9 ----------------------
No solution found
Spent 0.045049 on verification
Spent 0.046548 on verification
Spent 0.046238 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196104@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,195988@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196092@@@
Spent 0.072676 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196108@@@
Time left: 3140
------------------- QUERY 10 ----------------------
No solution found
Spent 0.044837 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196176@@@
Spent 0.04549 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196068@@@
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
@@@0.93,196016@@@
Spent 0.072332 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196224@@@
Time left: 3138
Time left: 3138
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 313 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.045406 on verification
Spent 0.043462 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196112@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,195952@@@
Spent 0.045253 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196256@@@
Spent 0.071878 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.41,196248@@@
Time left: 3137
------------------- QUERY 2 ----------------------
No solution found
Spent 0.045033 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196180@@@
Spent 0.04482 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196000@@@
Spent 0.044844 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.36,196044@@@
Spent 0.07245 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196080@@@
Time left: 3135
------------------- QUERY 3 ----------------------
No solution found
Spent 0.045426 on verification
Spent 0.044995 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196216@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196256@@@
Spent 0.047802 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.36,196164@@@
Spent 0.073307 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196068@@@
Time left: 3134
------------------- QUERY 4 ----------------------
No solution found
Spent 0.043894 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196136@@@
Spent 0.043375 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196240@@@
Spent 0.043377 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@2.18,196064@@@
Spent 0.072274 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@2.23,196108@@@
Time left: 3131
------------------- QUERY 5 ----------------------
No solution found
Spent 0.044207 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.045621 on verification
Command exited with non-zero status 255
@@@1.32,196176@@@
Spent 0.04579 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196320@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.36,196096@@@
Spent 0.0746 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.41,196224@@@
Time left: 3129
------------------- QUERY 6 ----------------------
No solution found
Spent 0.046917 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.047138 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196144@@@
Spent 0.048002 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196108@@@
Command exited with non-zero status 255
@@@0.93,196100@@@
Spent 0.07624 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.03,196096@@@
Time left: 3128
------------------- QUERY 7 ----------------------
No solution found
Spent 0.045647 on verification
Spent 0.045688 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196012@@@
Spent 0.046536 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,196028@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.94,196160@@@
Spent 0.073323 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196080@@@
Time left: 3127
------------------- QUERY 8 ----------------------
No solution found
Spent 0.045348 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196112@@@
Spent 0.046086 on verification
Spent 0.046016 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196012@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.94,196180@@@
Spent 0.07412 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196032@@@
Time left: 3126
------------------- QUERY 9 ----------------------
No solution found
Spent 0.047089 on verification
Spent 0.046131 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.94,196096@@@
Spent 0.045919 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.94,196164@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.95,196148@@@
Spent 0.074251 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196032@@@
Time left: 3124
------------------- QUERY 10 ----------------------
No solution found
Spent 0.046543 on verification
Spent 0.04738 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,196156@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.95,196020@@@
Spent 0.048836 on verification
Spent 0.074914 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.95,196092@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196164@@@
Time left: 3123
Time left: 3123
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 312 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.04223 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196164@@@
Spent 0.042752 on verification
Spent 0.043864 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.36,196024@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.36,196088@@@
Spent 0.070904 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.39,196012@@@
Time left: 3122
------------------- QUERY 2 ----------------------
No solution found
Spent 0.04337 on verification
Spent 0.042888 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196316@@@
Spent 0.067609 on verification
Spent 0.045071 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196232@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196044@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.37,196152@@@
Time left: 3120
------------------- QUERY 3 ----------------------
No solution found
Spent 0.044041 on verification
Spent 0.042908 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196240@@@
Spent 0.044389 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,195948@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196240@@@
Spent 0.06843 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.38,196068@@@
Time left: 3118
------------------- QUERY 4 ----------------------
No solution found
Spent 0.043214 on verification
Spent 0.04448 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196240@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196320@@@
Spent 0.0433 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.36,196072@@@
Spent 0.070823 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.39,196240@@@
Time left: 3117
------------------- QUERY 5 ----------------------
No solution found
Spent 0.043325 on verification
Spent 0.043412 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196100@@@
Spent 0.044033 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196220@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.35,196104@@@
Spent 0.071712 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196016@@@
Time left: 3115
------------------- QUERY 6 ----------------------
No solution found
Spent 0.043812 on verification
Spent 0.043086 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196172@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196108@@@
Spent 0.043816 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.94,196000@@@
Spent 0.0686 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196180@@@
Time left: 3114
------------------- QUERY 7 ----------------------
No solution found
Spent 0.044047 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196252@@@
Spent 0.044476 on verification
Spent 0.043266 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196036@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,196152@@@
Spent 0.047579 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.96,195960@@@
Time left: 3113
------------------- QUERY 8 ----------------------
No solution found
Spent 0.042171 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196000@@@
Spent 0.043773 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,195984@@@
Spent 0.044929 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.94,196112@@@
Spent 0.068012 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.96,196120@@@
Time left: 3112
------------------- QUERY 9 ----------------------
No solution found
Spent 0.042951 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196188@@@
Spent 0.043699 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196180@@@
Spent 0.043322 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196188@@@
Spent 0.068114 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.96,196088@@@
Time left: 3110
------------------- QUERY 10 ----------------------
No solution found
Spent 0.041968 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196116@@@
Spent 0.043247 on verification
Spent 0.042639 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196012@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196160@@@
Spent 0.069487 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196116@@@
Time left: 3109
Time left: 3109
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 310 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.041644 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.29,196196@@@
Spent 0.042142 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.30,196008@@@
Spent 0.041151 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196248@@@
Spent 0.06784 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196100@@@
Time left: 3108
------------------- QUERY 2 ----------------------
No solution found
Spent 0.040729 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.30,196104@@@
Spent 0.041822 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.042153 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196104@@@
Command exited with non-zero status 255
@@@1.32,196152@@@
Spent 0.070514 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.38,196004@@@
Time left: 3106
------------------- QUERY 3 ----------------------
No solution found
Spent 0.041723 on verification
Spent 0.042024 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.30,196148@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,195964@@@
Spent 0.041039 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196184@@@
Spent 0.068156 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.39,196112@@@
Time left: 3104
------------------- QUERY 4 ----------------------
No solution found
Spent 0.04161 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.30,196236@@@
Spent 0.04236 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.30,196016@@@
Spent 0.042346 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,195960@@@
Spent 0.069516 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.38,196212@@@
Time left: 3103
------------------- QUERY 5 ----------------------
No solution found
Spent 0.041742 on verification
Spent 0.041422 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.30,196108@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196172@@@
Spent 0.042627 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196252@@@
Spent 0.069817 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196084@@@
Time left: 3101
------------------- QUERY 6 ----------------------
No solution found
Spent 0.041515 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196060@@@
Spent 0.042667 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196096@@@
Spent 0.04243 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196116@@@
Spent 0.068819 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196100@@@
Time left: 3100
------------------- QUERY 7 ----------------------
No solution found
Spent 0.041475 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196252@@@
Spent 0.042692 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196212@@@
Spent 0.041588 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196036@@@
Spent 0.041963 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196316@@@
Time left: 3099
------------------- QUERY 8 ----------------------
No solution found
Spent 0.0431 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196000@@@
Spent 0.043009 on verification
Spent 0.04395 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196080@@@
Command exited with non-zero status 255
@@@0.90,195944@@@
Spent 0.070894 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.01,196084@@@
Time left: 3097
------------------- QUERY 9 ----------------------
No solution found
Spent 0.043267 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196224@@@
Spent 0.042706 on verification
Spent 0.043367 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196108@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196192@@@
Spent 0.068829 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196112@@@
Time left: 3096
------------------- QUERY 10 ----------------------
No solution found
Spent 0.043587 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196044@@@
Spent 0.043003 on verification
Spent 0.041868 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196076@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196108@@@
Spent 0.069837 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196156@@@
Time left: 3095
Time left: 3095
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 309 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.040913 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.30,196152@@@
Spent 0.042019 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196104@@@
Spent 0.042703 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196212@@@
Spent 0.068548 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.39,196096@@@
Time left: 3093
------------------- QUERY 2 ----------------------
No solution found
Spent 0.041449 on verification
Spent 0.041328 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.30,196188@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.30,196252@@@
Spent 0.044241 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196184@@@
Spent 0.068241 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.38,196152@@@
Time left: 3092
------------------- QUERY 3 ----------------------
No solution found
Spent 0.04233 on verification
Spent 0.041766 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.30,196148@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.30,196008@@@
Spent 0.042333 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196144@@@
Spent 0.069131 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.38,196112@@@
Time left: 3090
------------------- QUERY 4 ----------------------
No solution found
Spent 0.043326 on verification
Spent 0.0431 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.30,196292@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.30,196108@@@
Spent 0.043862 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196012@@@
Spent 0.071339 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196240@@@
Time left: 3089
------------------- QUERY 5 ----------------------
No solution found
Spent 0.041601 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.30,196252@@@
Spent 0.042095 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196248@@@
Spent 0.04206 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196248@@@
Spent 0.069487 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.39,196224@@@
Time left: 3087
------------------- QUERY 6 ----------------------
No solution found
Spent 0.042748 on verification
Spent 0.041939 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196196@@@
Spent 0.042508 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196008@@@
Command exited with non-zero status 255
@@@0.91,196056@@@
Spent 0.068157 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196080@@@
Time left: 3086
------------------- QUERY 7 ----------------------
No solution found
Spent 0.043347 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196088@@@
Spent 0.043483 on verification
Spent 0.042969 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196004@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196044@@@
Spent 0.067882 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.96,196036@@@
Time left: 3085
------------------- QUERY 8 ----------------------
No solution found
Spent 0.041213 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196180@@@
Spent 0.042392 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,195884@@@
Spent 0.04277 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196160@@@
Spent 0.069566 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196256@@@
Time left: 3083
------------------- QUERY 9 ----------------------
No solution found
Spent 0.043054 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196112@@@
Spent 0.044201 on verification
Spent 0.044578 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196256@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196248@@@
Spent 0.071838 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196148@@@
Time left: 3082
------------------- QUERY 10 ----------------------
No solution found
Spent 0.043137 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196168@@@
Spent 0.044301 on verification
Spent 0.043413 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196076@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.89,196104@@@
Spent 0.062748 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.00,196104@@@
Time left: 3081
Time left: 3081
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 308 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.044156 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.043119 on verification
Spent 0.043369 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196252@@@
Command exited with non-zero status 255
@@@1.33,196152@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196016@@@
Spent 0.0698 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.42,196320@@@
Time left: 3079
------------------- QUERY 2 ----------------------
No solution found
Spent 0.043377 on verification
Spent 0.043132 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196184@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196184@@@
Spent 0.043455 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196188@@@
Spent 0.069056 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.38,196220@@@
Time left: 3078
------------------- QUERY 3 ----------------------
No solution found
Spent 0.043815 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196168@@@
Spent 0.042668 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196248@@@
Spent 0.044032 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196244@@@
Spent 0.068942 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.38,196016@@@
Time left: 3076
------------------- QUERY 4 ----------------------
No solution found
Spent 0.043244 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196260@@@
Spent 0.043795 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196248@@@
Spent 0.042857 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196176@@@
Spent 0.069198 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.42,196148@@@
Time left: 3074
------------------- QUERY 5 ----------------------
No solution found
Spent 0.043832 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196064@@@
Spent 0.043971 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196112@@@
Spent 0.043255 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196052@@@
Spent 0.042707 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.39,196292@@@
Time left: 3073
------------------- QUERY 6 ----------------------
No solution found
Spent 0.042296 on verification
Spent 0.04302 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,195952@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196192@@@
Spent 0.04134 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.93,196212@@@
Spent 0.068528 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196100@@@
Time left: 3072
------------------- QUERY 7 ----------------------
No solution found
Spent 0.044487 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196140@@@
Spent 0.042678 on verification
Spent 0.043741 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,195952@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,195916@@@
Spent 0.041955 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196084@@@
Time left: 3070
------------------- QUERY 8 ----------------------
No solution found
Spent 0.043771 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.043599 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196240@@@
Command exited with non-zero status 255
@@@0.91,196012@@@
Spent 0.043344 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196188@@@
Spent 0.068758 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.99,196248@@@
Time left: 3069
------------------- QUERY 9 ----------------------
No solution found
Spent 0.042744 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196160@@@
Spent 0.044043 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196160@@@
Spent 0.044115 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196092@@@
Spent 0.069457 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196184@@@
Time left: 3068
------------------- QUERY 10 ----------------------
No solution found
Spent 0.043834 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196188@@@
Spent 0.044914 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Spent 0.044764 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196116@@@
Command exited with non-zero status 255
@@@0.93,196012@@@
Spent 0.069757 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196096@@@
Time left: 3067
Time left: 3067
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 306 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 0.042541 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196060@@@
Spent 0.043785 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196160@@@
Spent 0.044236 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196016@@@
Spent 0.068996 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.39,196168@@@
Time left: 3065
------------------- QUERY 2 ----------------------
No solution found
Spent 0.043204 on verification
Spent 0.043213 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196252@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,195988@@@
Spent 0.043815 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.34,196176@@@
Spent 0.068922 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196176@@@
Time left: 3064
------------------- QUERY 3 ----------------------
No solution found
Spent 0.042503 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196044@@@
Spent 0.043476 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196216@@@
Spent 0.044234 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196232@@@
Spent 0.068772 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.40,196164@@@
Time left: 3062
------------------- QUERY 4 ----------------------
No solution found
Spent 0.043397 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196268@@@
Spent 0.043448 on verification
Spent 0.043884 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196064@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196164@@@
Spent 0.06901 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.42,196312@@@
Time left: 3060
------------------- QUERY 5 ----------------------
No solution found
Spent 0.042698 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.31,196140@@@
Spent 0.042833 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.32,196244@@@
Spent 0.04326 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.33,196064@@@
Spent 0.069539 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@1.38,196312@@@
Time left: 3059
------------------- QUERY 6 ----------------------
No solution found
Spent 0.043253 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196252@@@
Spent 0.042737 on verification
Spent 0.043205 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196060@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196064@@@
Spent 0.069255 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196148@@@
Time left: 3057
------------------- QUERY 7 ----------------------
No solution found
Spent 0.042333 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196172@@@
Spent 0.04285 on verification
Spent 0.04348 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196100@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,195996@@@
Spent 0.069466 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196248@@@
Time left: 3056
------------------- QUERY 8 ----------------------
No solution found
Spent 0.043103 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196096@@@
Spent 0.043951 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,195960@@@
Spent 0.044608 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,195980@@@
Spent 0.067615 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.98,196148@@@
Time left: 3055
------------------- QUERY 9 ----------------------
No solution found
Spent 0.042639 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196176@@@
Spent 0.043765 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196068@@@
Spent 0.044489 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.94,196188@@@
Spent 0.069745 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.96,196076@@@
Time left: 3054
------------------- QUERY 10 ----------------------
No solution found
Spent 0.043541 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.90,196148@@@
Spent 0.044039 on verification
Spent 0.04425 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.91,196104@@@
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.92,196008@@@
Spent 0.069006 on verification
ERROR: Marking could not be encoded into less than 2^16 bytes, current limit of PTries
Command exited with non-zero status 255
@@@0.97,196104@@@
Time left: 3053
Time left: 3053
End of script.
terminated-with-cleanup
BK_STOP 1652755318881
--------------------
content from stderr:
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="JoinFreeModules-PT-2000"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="tapaal"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool tapaal"
echo " Input is JoinFreeModules-PT-2000, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r129-tall-165271816500219"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/JoinFreeModules-PT-2000.tgz
mv JoinFreeModules-PT-2000 execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;