About the Execution of 2018-Gold for Vasy2003-PT-none
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.080 | 3570550.00 | 3711108.00 | 3202.00 | 1 ? 1 ? 1 1 1 ? 1 1 1 1 ? 1 1 ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2019-input.r176-oct2-155297760900151.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is Vasy2003-PT-none, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r176-oct2-155297760900151
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 376K
-rw-r--r-- 1 mcc users 4.8K Feb 12 21:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Feb 12 21:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 9 05:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 9 05:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 103 Feb 24 15:06 GlobalProperties.txt
-rw-r--r-- 1 mcc users 341 Feb 24 15:06 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 5 01:55 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 5 01:55 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.2K Feb 4 22:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Feb 4 22:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 4 22:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 1 23:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Feb 1 23:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 equiv_col
-rw-r--r-- 1 mcc users 5 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 0 Jan 29 09:35 model-fix.log
-rw-r--r-- 1 mcc users 207K Mar 10 17:31 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME Vasy2003-PT-none-UpperBounds-00
FORMULA_NAME Vasy2003-PT-none-UpperBounds-01
FORMULA_NAME Vasy2003-PT-none-UpperBounds-02
FORMULA_NAME Vasy2003-PT-none-UpperBounds-03
FORMULA_NAME Vasy2003-PT-none-UpperBounds-04
FORMULA_NAME Vasy2003-PT-none-UpperBounds-05
FORMULA_NAME Vasy2003-PT-none-UpperBounds-06
FORMULA_NAME Vasy2003-PT-none-UpperBounds-07
FORMULA_NAME Vasy2003-PT-none-UpperBounds-08
FORMULA_NAME Vasy2003-PT-none-UpperBounds-09
FORMULA_NAME Vasy2003-PT-none-UpperBounds-10
FORMULA_NAME Vasy2003-PT-none-UpperBounds-11
FORMULA_NAME Vasy2003-PT-none-UpperBounds-12
FORMULA_NAME Vasy2003-PT-none-UpperBounds-13
FORMULA_NAME Vasy2003-PT-none-UpperBounds-14
FORMULA_NAME Vasy2003-PT-none-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1554533961702
info: Time: 3600 - MCC
===========================================================================================
prep: translating Vasy2003-PT-none Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Vasy2003-PT-none formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Vasy2003-PT-none @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 1261/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 485
lola: finding significant places
lola: 485 places, 776 transitions, 419 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 962 transition conflict sets
lola: TASK
lola: reading formula from Vasy2003-PT-none-UpperBounds.task
lola: MAX(p470) : MAX(p433) : MAX(p475) : MAX(p412) : MAX(p175) : MAX(p57) : MAX(p455) : MAX(p301) : MAX(p19) : MAX(p139) : MAX(p52) : MAX(p137) : MAX(p275) : MAX(p159) : MAX(p57) : MAX(p329)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p470)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p470)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Vasy2003-PT-none-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 5 markings, 4 edges
FORMULA Vasy2003-PT-none-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p433)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p433)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Vasy2003-PT-none-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 399655 markings, 676444 edges, 79931 markings/sec, 0 secs
lola: 801313 markings, 1365139 edges, 80332 markings/sec, 5 secs
lola: 1201137 markings, 2070588 edges, 79965 markings/sec, 10 secs
lola: 1604047 markings, 2779291 edges, 80582 markings/sec, 15 secs
lola: 2003296 markings, 3483805 edges, 79850 markings/sec, 20 secs
lola: 2404880 markings, 4189834 edges, 80317 markings/sec, 25 secs
lola: 2808235 markings, 4893374 edges, 80671 markings/sec, 30 secs
lola: 3210782 markings, 5589255 edges, 80509 markings/sec, 35 secs
lola: 3616670 markings, 6285554 edges, 81178 markings/sec, 40 secs
lola: 4017035 markings, 6987437 edges, 80073 markings/sec, 45 secs
lola: 4409278 markings, 7693491 edges, 78449 markings/sec, 50 secs
lola: 4807114 markings, 8389899 edges, 79567 markings/sec, 55 secs
lola: 5212393 markings, 9094920 edges, 81056 markings/sec, 60 secs
lola: 5620236 markings, 9811730 edges, 81569 markings/sec, 65 secs
lola: 6022620 markings, 10530930 edges, 80477 markings/sec, 70 secs
lola: 6421839 markings, 11240600 edges, 79844 markings/sec, 75 secs
lola: 6824526 markings, 11955765 edges, 80537 markings/sec, 80 secs
lola: 7232752 markings, 12669223 edges, 81645 markings/sec, 85 secs
lola: 7636308 markings, 13364075 edges, 80711 markings/sec, 90 secs
lola: 8045057 markings, 14075010 edges, 81750 markings/sec, 95 secs
lola: 8453918 markings, 14789820 edges, 81772 markings/sec, 100 secs
lola: 8861429 markings, 15504332 edges, 81502 markings/sec, 105 secs
lola: 9267843 markings, 16210629 edges, 81283 markings/sec, 110 secs
lola: 9671355 markings, 16918638 edges, 80702 markings/sec, 115 secs
lola: 10068956 markings, 17641147 edges, 79520 markings/sec, 120 secs
lola: 10471776 markings, 18350502 edges, 80564 markings/sec, 125 secs
lola: 10879313 markings, 19065702 edges, 81507 markings/sec, 130 secs
lola: 11280813 markings, 19777108 edges, 80300 markings/sec, 135 secs
lola: 11685766 markings, 20480447 edges, 80991 markings/sec, 140 secs
lola: 12088745 markings, 21194354 edges, 80596 markings/sec, 145 secs
lola: 12491155 markings, 21907550 edges, 80482 markings/sec, 150 secs
lola: 12897011 markings, 22613664 edges, 81171 markings/sec, 155 secs
lola: 13305469 markings, 23332459 edges, 81692 markings/sec, 160 secs
lola: 13720121 markings, 24044056 edges, 82930 markings/sec, 165 secs
lola: 14126859 markings, 24754479 edges, 81348 markings/sec, 170 secs
lola: 14537230 markings, 25468973 edges, 82074 markings/sec, 175 secs
lola: 14942602 markings, 26187340 edges, 81074 markings/sec, 180 secs
lola: 15355611 markings, 26897862 edges, 82602 markings/sec, 185 secs
lola: 15763529 markings, 27605146 edges, 81584 markings/sec, 190 secs
lola: 16167903 markings, 28315310 edges, 80875 markings/sec, 195 secs
lola: 16576821 markings, 29028914 edges, 81784 markings/sec, 200 secs
lola: 16982271 markings, 29744311 edges, 81090 markings/sec, 205 secs
lola: 17382861 markings, 30462389 edges, 80118 markings/sec, 210 secs
lola: 17788112 markings, 31170108 edges, 81050 markings/sec, 215 secs
lola: 18192860 markings, 31877604 edges, 80950 markings/sec, 220 secs
lola: 18596076 markings, 32587483 edges, 80643 markings/sec, 225 secs
lola: 18993938 markings, 33309269 edges, 79572 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2324344 KB
lola: time consumption: 238 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p475)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p475)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Vasy2003-PT-none-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 5 markings, 4 edges
FORMULA Vasy2003-PT-none-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 3 will run for 256 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p412)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p412)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Vasy2003-PT-none-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 431608 markings, 732159 edges, 86322 markings/sec, 0 secs
lola: 860424 markings, 1468626 edges, 85763 markings/sec, 5 secs
lola: 1278636 markings, 2207867 edges, 83642 markings/sec, 10 secs
lola: 1699207 markings, 2942296 edges, 84114 markings/sec, 15 secs
lola: 2115833 markings, 3678674 edges, 83325 markings/sec, 20 secs
lola: 2531628 markings, 4410068 edges, 83159 markings/sec, 25 secs
lola: 2949269 markings, 5139789 edges, 83528 markings/sec, 30 secs
lola: 3369328 markings, 5864913 edges, 84012 markings/sec, 35 secs
lola: 3792273 markings, 6598727 edges, 84589 markings/sec, 40 secs
lola: 4208950 markings, 7334654 edges, 83335 markings/sec, 45 secs
lola: 4624651 markings, 8063513 edges, 83140 markings/sec, 50 secs
lola: 5037844 markings, 8793648 edges, 82639 markings/sec, 55 secs
lola: 5454241 markings, 9527062 edges, 83279 markings/sec, 60 secs
lola: 5871872 markings, 10254959 edges, 83526 markings/sec, 65 secs
lola: 6276517 markings, 10984894 edges, 80929 markings/sec, 70 secs
lola: 6683962 markings, 11709407 edges, 81489 markings/sec, 75 secs
lola: 7102977 markings, 12439742 edges, 83803 markings/sec, 80 secs
lola: 7518217 markings, 13160297 edges, 83048 markings/sec, 85 secs
lola: 7935647 markings, 13883056 edges, 83486 markings/sec, 90 secs
lola: 8351459 markings, 14612752 edges, 83162 markings/sec, 95 secs
lola: 8769517 markings, 15345016 edges, 83612 markings/sec, 100 secs
lola: 9185385 markings, 16064492 edges, 83174 markings/sec, 105 secs
lola: 9596683 markings, 16784880 edges, 82260 markings/sec, 110 secs
lola: 10001110 markings, 17521675 edges, 80885 markings/sec, 115 secs
lola: 10414367 markings, 18243314 edges, 82651 markings/sec, 120 secs
lola: 10828754 markings, 18971038 edges, 82877 markings/sec, 125 secs
lola: 11240665 markings, 19699495 edges, 82382 markings/sec, 130 secs
lola: 11652707 markings, 20418912 edges, 82408 markings/sec, 135 secs
lola: 12062816 markings, 21147902 edges, 82022 markings/sec, 140 secs
lola: 12473332 markings, 21874105 edges, 82103 markings/sec, 145 secs
lola: 12886358 markings, 22593480 edges, 82605 markings/sec, 150 secs
lola: 13302882 markings, 23325365 edges, 83305 markings/sec, 155 secs
lola: 13725672 markings, 24051879 edges, 84558 markings/sec, 160 secs
lola: 14140208 markings, 24776188 edges, 82907 markings/sec, 165 secs
lola: 14559186 markings, 25506592 edges, 83796 markings/sec, 170 secs
lola: 14973903 markings, 26237944 edges, 82943 markings/sec, 175 secs
lola: 15393895 markings, 26962446 edges, 83998 markings/sec, 180 secs
lola: 15811371 markings, 27683535 edges, 83495 markings/sec, 185 secs
lola: 16222705 markings, 28406567 edges, 82267 markings/sec, 190 secs
lola: 16639453 markings, 29136636 edges, 83350 markings/sec, 195 secs
lola: 17051092 markings, 29865133 edges, 82328 markings/sec, 200 secs
lola: 17456877 markings, 30595092 edges, 81157 markings/sec, 205 secs
lola: 17872384 markings, 31314699 edges, 83101 markings/sec, 210 secs
lola: 18283822 markings, 32038674 edges, 82288 markings/sec, 215 secs
lola: 18696394 markings, 32761746 edges, 82514 markings/sec, 220 secs
lola: 19099198 markings, 33494828 edges, 80561 markings/sec, 225 secs
lola: 19512624 markings, 34214273 edges, 82685 markings/sec, 230 secs
lola: 19928414 markings, 34941437 edges, 83158 markings/sec, 235 secs
lola: 20347522 markings, 35669438 edges, 83822 markings/sec, 240 secs
lola: 20754370 markings, 36397695 edges, 81370 markings/sec, 245 secs
lola: 21161009 markings, 37121847 edges, 81328 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2571676 KB
lola: time consumption: 494 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 256 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p175)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p175)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Vasy2003-PT-none-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 17 markings, 16 edges
lola: ========================================
FORMULA Vasy2003-PT-none-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 279 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p57)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p57)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file Vasy2003-PT-none-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: ========================================
FORMULA Vasy2003-PT-none-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 307 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p455)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p455)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Vasy2003-PT-none-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 5 markings, 4 edges
lola: ========================================
FORMULA Vasy2003-PT-none-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 341 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p301)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p301)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Vasy2003-PT-none-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 395937 markings, 703616 edges, 79187 markings/sec, 0 secs
lola: 784925 markings, 1430987 edges, 77798 markings/sec, 5 secs
lola: 1173376 markings, 2161790 edges, 77690 markings/sec, 10 secs
lola: 1566912 markings, 2865183 edges, 78707 markings/sec, 15 secs
lola: 1953572 markings, 3570580 edges, 77332 markings/sec, 20 secs
lola: 2344586 markings, 4274786 edges, 78203 markings/sec, 25 secs
lola: 2728644 markings, 4992956 edges, 76812 markings/sec, 30 secs
lola: 3111787 markings, 5708115 edges, 76629 markings/sec, 35 secs
lola: 3498331 markings, 6419342 edges, 77309 markings/sec, 40 secs
lola: 3884301 markings, 7118523 edges, 77194 markings/sec, 45 secs
lola: 4271782 markings, 7821850 edges, 77496 markings/sec, 50 secs
lola: 4654542 markings, 8519943 edges, 76552 markings/sec, 55 secs
lola: 5040225 markings, 9227416 edges, 77137 markings/sec, 60 secs
lola: 5421708 markings, 9936044 edges, 76297 markings/sec, 65 secs
lola: 5798692 markings, 10658434 edges, 75397 markings/sec, 70 secs
lola: 6198572 markings, 11377910 edges, 79976 markings/sec, 75 secs
lola: 6589075 markings, 12110639 edges, 78101 markings/sec, 80 secs
lola: 6979361 markings, 12840347 edges, 78057 markings/sec, 85 secs
lola: 7373709 markings, 13563071 edges, 78870 markings/sec, 90 secs
lola: 7769949 markings, 14291515 edges, 79248 markings/sec, 95 secs
lola: 8166983 markings, 15010519 edges, 79407 markings/sec, 100 secs
lola: 8556277 markings, 15749105 edges, 77859 markings/sec, 105 secs
lola: 8946846 markings, 16481864 edges, 78114 markings/sec, 110 secs
lola: 9340909 markings, 17204664 edges, 78813 markings/sec, 115 secs
lola: 9736155 markings, 17927952 edges, 79049 markings/sec, 120 secs
lola: 10124963 markings, 18658463 edges, 77762 markings/sec, 125 secs
lola: 10524506 markings, 19380545 edges, 79909 markings/sec, 130 secs
lola: 10913190 markings, 20101431 edges, 77737 markings/sec, 135 secs
lola: 11306403 markings, 20821963 edges, 78643 markings/sec, 140 secs
lola: 11699427 markings, 21534472 edges, 78605 markings/sec, 145 secs
lola: 12093713 markings, 22256840 edges, 78857 markings/sec, 150 secs
lola: 12483972 markings, 22994984 edges, 78052 markings/sec, 155 secs
lola: 12867879 markings, 23719803 edges, 76781 markings/sec, 160 secs
lola: 13249483 markings, 24446270 edges, 76321 markings/sec, 165 secs
lola: 13641658 markings, 25166978 edges, 78435 markings/sec, 170 secs
lola: 14028965 markings, 25886545 edges, 77461 markings/sec, 175 secs
lola: 14421408 markings, 26618234 edges, 78489 markings/sec, 180 secs
lola: 14801455 markings, 27353227 edges, 76009 markings/sec, 185 secs
lola: 15184342 markings, 28082311 edges, 76577 markings/sec, 190 secs
lola: 15574501 markings, 28805313 edges, 78032 markings/sec, 195 secs
lola: 15965323 markings, 29527266 edges, 78164 markings/sec, 200 secs
lola: 16352491 markings, 30246348 edges, 77434 markings/sec, 205 secs
lola: 16737529 markings, 30976244 edges, 77008 markings/sec, 210 secs
lola: 17125111 markings, 31702166 edges, 77516 markings/sec, 215 secs
lola: 17514384 markings, 32426603 edges, 77855 markings/sec, 220 secs
lola: 17908146 markings, 33149879 edges, 78752 markings/sec, 225 secs
lola: 18291545 markings, 33883318 edges, 76680 markings/sec, 230 secs
lola: 18684901 markings, 34607028 edges, 78671 markings/sec, 235 secs
lola: 19071059 markings, 35333094 edges, 77232 markings/sec, 240 secs
lola: 19447348 markings, 36069754 edges, 75258 markings/sec, 245 secs
lola: 19833246 markings, 36809804 edges, 77180 markings/sec, 250 secs
lola: 20214885 markings, 37549576 edges, 76328 markings/sec, 255 secs
lola: 20613001 markings, 38275492 edges, 79623 markings/sec, 260 secs
lola: 21002090 markings, 38997205 edges, 77818 markings/sec, 265 secs
lola: 21385454 markings, 39727376 edges, 76673 markings/sec, 270 secs
lola: 21770027 markings, 40459603 edges, 76915 markings/sec, 275 secs
lola: 22159862 markings, 41188813 edges, 77967 markings/sec, 280 secs
lola: 22548203 markings, 41898119 edges, 77668 markings/sec, 285 secs
lola: 22940878 markings, 42617178 edges, 78535 markings/sec, 290 secs
lola: 23330229 markings, 43348025 edges, 77870 markings/sec, 295 secs
lola: 23726005 markings, 44065753 edges, 79155 markings/sec, 300 secs
lola: 24107275 markings, 44801062 edges, 76254 markings/sec, 305 secs
lola: 24498852 markings, 45521508 edges, 78315 markings/sec, 310 secs
lola: 24888819 markings, 46240850 edges, 77993 markings/sec, 315 secs
lola: 25264903 markings, 46983643 edges, 75217 markings/sec, 320 secs
lola: 25642966 markings, 47722072 edges, 75613 markings/sec, 325 secs
lola: 26025419 markings, 48453730 edges, 76491 markings/sec, 330 secs
lola: 26410489 markings, 49183748 edges, 77014 markings/sec, 335 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown 1 unknown 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3188644 KB
lola: time consumption: 835 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 341 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p19)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file Vasy2003-PT-none-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 4 markings, 3 edges
lola: ========================================
FORMULA Vasy2003-PT-none-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 390 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p139)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p139)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Vasy2003-PT-none-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 16 markings, 15 edges
lola: ========================================
FORMULA Vasy2003-PT-none-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 455 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p52)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p52)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file Vasy2003-PT-none-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 8 markings, 7 edges
lola: ========================================
FORMULA Vasy2003-PT-none-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 547 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p137)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p137)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Vasy2003-PT-none-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 16 markings, 15 edges
lola: ========================================
FORMULA Vasy2003-PT-none-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 683 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p275)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p275)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Vasy2003-PT-none-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 438977 markings, 667782 edges, 87795 markings/sec, 0 secs
lola: 874962 markings, 1349694 edges, 87197 markings/sec, 5 secs
lola: 1303751 markings, 2025688 edges, 85758 markings/sec, 10 secs
lola: 1734538 markings, 2700409 edges, 86157 markings/sec, 15 secs
lola: 2167940 markings, 3369422 edges, 86680 markings/sec, 20 secs
lola: 2593974 markings, 4043848 edges, 85207 markings/sec, 25 secs
lola: 3028175 markings, 4715094 edges, 86840 markings/sec, 30 secs
lola: 3452948 markings, 5384008 edges, 84955 markings/sec, 35 secs
lola: 3888250 markings, 6058042 edges, 87060 markings/sec, 40 secs
lola: 4318602 markings, 6731816 edges, 86070 markings/sec, 45 secs
lola: 4749929 markings, 7402353 edges, 86265 markings/sec, 50 secs
lola: 5164892 markings, 8063475 edges, 82993 markings/sec, 55 secs
lola: 5590338 markings, 8738961 edges, 85089 markings/sec, 60 secs
lola: 6019459 markings, 9409122 edges, 85824 markings/sec, 65 secs
lola: 6448827 markings, 10084668 edges, 85874 markings/sec, 70 secs
lola: 6872645 markings, 10761321 edges, 84764 markings/sec, 75 secs
lola: 7304587 markings, 11443608 edges, 86388 markings/sec, 80 secs
lola: 7729262 markings, 12102898 edges, 84935 markings/sec, 85 secs
lola: 8152314 markings, 12775919 edges, 84610 markings/sec, 90 secs
lola: 8573419 markings, 13447162 edges, 84221 markings/sec, 95 secs
lola: 8994838 markings, 14121864 edges, 84284 markings/sec, 100 secs
lola: 9412901 markings, 14787674 edges, 83613 markings/sec, 105 secs
lola: 9836081 markings, 15449276 edges, 84636 markings/sec, 110 secs
lola: 10245841 markings, 16128090 edges, 81952 markings/sec, 115 secs
lola: 10661683 markings, 16806434 edges, 83168 markings/sec, 120 secs
lola: 11073714 markings, 17476173 edges, 82406 markings/sec, 125 secs
lola: 11479611 markings, 18144541 edges, 81179 markings/sec, 130 secs
lola: 11905182 markings, 18812527 edges, 85114 markings/sec, 135 secs
lola: 12332127 markings, 19487014 edges, 85389 markings/sec, 140 secs
lola: 12747118 markings, 20156176 edges, 82998 markings/sec, 145 secs
lola: 13165643 markings, 20825506 edges, 83705 markings/sec, 150 secs
lola: 13584579 markings, 21487863 edges, 83787 markings/sec, 155 secs
lola: 14004849 markings, 22151808 edges, 84054 markings/sec, 160 secs
lola: 14425700 markings, 22819493 edges, 84170 markings/sec, 165 secs
lola: 14843942 markings, 23497392 edges, 83648 markings/sec, 170 secs
lola: 15254808 markings, 24175698 edges, 82173 markings/sec, 175 secs
lola: 15672771 markings, 24846337 edges, 83593 markings/sec, 180 secs
lola: 16087267 markings, 25513396 edges, 82899 markings/sec, 185 secs
lola: 16490755 markings, 26192656 edges, 80698 markings/sec, 190 secs
lola: 16913532 markings, 26862934 edges, 84555 markings/sec, 195 secs
lola: 17348798 markings, 27537325 edges, 87053 markings/sec, 200 secs
lola: 17775982 markings, 28214163 edges, 85437 markings/sec, 205 secs
lola: 18203422 markings, 28891890 edges, 85488 markings/sec, 210 secs
lola: 18638482 markings, 29565508 edges, 87012 markings/sec, 215 secs
lola: 19060196 markings, 30235288 edges, 84343 markings/sec, 220 secs
lola: 19489001 markings, 30910877 edges, 85761 markings/sec, 225 secs
lola: 19912059 markings, 31588063 edges, 84612 markings/sec, 230 secs
lola: 20334547 markings, 32258923 edges, 84498 markings/sec, 235 secs
lola: 20760891 markings, 32935598 edges, 85269 markings/sec, 240 secs
lola: 21181262 markings, 33613992 edges, 84074 markings/sec, 245 secs
lola: 21610693 markings, 34285164 edges, 85886 markings/sec, 250 secs
lola: 22034082 markings, 34955126 edges, 84678 markings/sec, 255 secs
lola: 22466007 markings, 35638251 edges, 86385 markings/sec, 260 secs
lola: 22896021 markings, 36310578 edges, 86003 markings/sec, 265 secs
lola: 23327768 markings, 36984387 edges, 86349 markings/sec, 270 secs
lola: 23759831 markings, 37664407 edges, 86413 markings/sec, 275 secs
lola: 24187283 markings, 38340085 edges, 85490 markings/sec, 280 secs
lola: 24608123 markings, 39010648 edges, 84168 markings/sec, 285 secs
lola: 25030929 markings, 39681577 edges, 84561 markings/sec, 290 secs
lola: 25464950 markings, 40354007 edges, 86804 markings/sec, 295 secs
lola: 25890966 markings, 41031349 edges, 85203 markings/sec, 300 secs
lola: 26311319 markings, 41700625 edges, 84071 markings/sec, 305 secs
lola: 26737502 markings, 42363832 edges, 85237 markings/sec, 310 secs
lola: 27153507 markings, 43040287 edges, 83201 markings/sec, 315 secs
lola: 27574891 markings, 43698481 edges, 84277 markings/sec, 320 secs
lola: 28009321 markings, 44380087 edges, 86886 markings/sec, 325 secs
lola: 28427421 markings, 45051421 edges, 83620 markings/sec, 330 secs
lola: 28853056 markings, 45725370 edges, 85127 markings/sec, 335 secs
lola: 29279932 markings, 46395624 edges, 85375 markings/sec, 340 secs
lola: 29703394 markings, 47072266 edges, 84692 markings/sec, 345 secs
lola: 30126130 markings, 47742757 edges, 84547 markings/sec, 350 secs
lola: 30545703 markings, 48416020 edges, 83915 markings/sec, 355 secs
lola: 30968099 markings, 49086250 edges, 84479 markings/sec, 360 secs
lola: 31391996 markings, 49757536 edges, 84779 markings/sec, 365 secs
lola: 31816344 markings, 50430638 edges, 84870 markings/sec, 370 secs
lola: 32242211 markings, 51104687 edges, 85173 markings/sec, 375 secs
lola: 32670194 markings, 51778136 edges, 85597 markings/sec, 380 secs
lola: 33101457 markings, 52442517 edges, 86253 markings/sec, 385 secs
lola: 33516005 markings, 53122927 edges, 82910 markings/sec, 390 secs
lola: 33938570 markings, 53805620 edges, 84513 markings/sec, 395 secs
lola: 34367392 markings, 54477337 edges, 85764 markings/sec, 400 secs
lola: 34791513 markings, 55153485 edges, 84824 markings/sec, 405 secs
lola: 35215547 markings, 55828792 edges, 84807 markings/sec, 410 secs
lola: 35634473 markings, 56506801 edges, 83785 markings/sec, 415 secs
lola: 36066638 markings, 57182310 edges, 86433 markings/sec, 420 secs
lola: 36490362 markings, 57853563 edges, 84745 markings/sec, 425 secs
lola: 36902322 markings, 58526129 edges, 82392 markings/sec, 430 secs
lola: 37320629 markings, 59199513 edges, 83661 markings/sec, 435 secs
lola: 37741994 markings, 59869074 edges, 84273 markings/sec, 440 secs
lola: 38158413 markings, 60545225 edges, 83284 markings/sec, 445 secs
lola: 38575769 markings, 61212086 edges, 83471 markings/sec, 450 secs
lola: 38988439 markings, 61896569 edges, 82534 markings/sec, 455 secs
lola: 39412265 markings, 62572650 edges, 84765 markings/sec, 460 secs
lola: 39840028 markings, 63246615 edges, 85553 markings/sec, 465 secs
lola: 40264691 markings, 63925228 edges, 84933 markings/sec, 470 secs
lola: 40684182 markings, 64603864 edges, 83898 markings/sec, 475 secs
lola: 41115138 markings, 65283223 edges, 86191 markings/sec, 480 secs
lola: 41535254 markings, 65962782 edges, 84023 markings/sec, 485 secs
lola: 41967885 markings, 66646162 edges, 86526 markings/sec, 490 secs
lola: 42393253 markings, 67326602 edges, 85074 markings/sec, 495 secs
lola: 42812836 markings, 68002116 edges, 83917 markings/sec, 500 secs
lola: 43226830 markings, 68670266 edges, 82799 markings/sec, 505 secs
lola: 43648271 markings, 69342698 edges, 84288 markings/sec, 510 secs
lola: 44064775 markings, 70007831 edges, 83301 markings/sec, 515 secs
lola: 44493001 markings, 70678422 edges, 85645 markings/sec, 520 secs
lola: 44917461 markings, 71347933 edges, 84892 markings/sec, 525 secs
lola: 45326313 markings, 72001757 edges, 81770 markings/sec, 530 secs
lola: 45744945 markings, 72679253 edges, 83726 markings/sec, 535 secs
lola: 46162531 markings, 73359641 edges, 83517 markings/sec, 540 secs
lola: 46572071 markings, 74006304 edges, 81908 markings/sec, 545 secs
lola: 46996624 markings, 74671161 edges, 84911 markings/sec, 550 secs
lola: 47412525 markings, 75341116 edges, 83180 markings/sec, 555 secs
lola: 47839172 markings, 76025601 edges, 85329 markings/sec, 560 secs
lola: 48249611 markings, 76701173 edges, 82088 markings/sec, 565 secs
lola: 48668115 markings, 77369128 edges, 83701 markings/sec, 570 secs
lola: 49077188 markings, 78048116 edges, 81815 markings/sec, 575 secs
lola: 49497576 markings, 78718787 edges, 84078 markings/sec, 580 secs
lola: 49926760 markings, 79396201 edges, 85837 markings/sec, 585 secs
lola: 50340854 markings, 80061488 edges, 82819 markings/sec, 590 secs
lola: 50747461 markings, 80727874 edges, 81321 markings/sec, 595 secs
lola: 51172207 markings, 81386847 edges, 84949 markings/sec, 600 secs
lola: 51595015 markings, 82057863 edges, 84562 markings/sec, 605 secs
lola: 52002569 markings, 82737818 edges, 81511 markings/sec, 610 secs
lola: 52413170 markings, 83407316 edges, 82120 markings/sec, 615 secs
lola: 52839005 markings, 84068506 edges, 85167 markings/sec, 620 secs
lola: 53264979 markings, 84746318 edges, 85195 markings/sec, 625 secs
lola: 53676456 markings, 85418273 edges, 82295 markings/sec, 630 secs
lola: 54094722 markings, 86094370 edges, 83653 markings/sec, 635 secs
lola: 54510688 markings, 86758035 edges, 83193 markings/sec, 640 secs
lola: 54915663 markings, 87422375 edges, 80995 markings/sec, 645 secs
lola: 55334773 markings, 88093512 edges, 83822 markings/sec, 650 secs
lola: 55752073 markings, 88760054 edges, 83460 markings/sec, 655 secs
lola: 56165622 markings, 89431921 edges, 82710 markings/sec, 660 secs
lola: 56587512 markings, 90100295 edges, 84378 markings/sec, 665 secs
lola: 56994330 markings, 90767723 edges, 81364 markings/sec, 670 secs
lola: 57416659 markings, 91437999 edges, 84466 markings/sec, 675 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown 1 unknown 1 1 1 unknown 1 1 1 1 unknown unknown unknown unknown
lola: memory consumption: 7185148 KB
lola: time consumption: 1518 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 683 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p159)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p159)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Vasy2003-PT-none-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 16 markings, 15 edges
FORMULA Vasy2003-PT-none-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 1025 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p57)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p57)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file Vasy2003-PT-none-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: ========================================
FORMULA Vasy2003-PT-none-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2051 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p329)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p329)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Vasy2003-PT-none-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 466973 markings, 711153 edges, 93395 markings/sec, 0 secs
lola: 930511 markings, 1417844 edges, 92708 markings/sec, 5 secs
lola: 1390519 markings, 2119870 edges, 92002 markings/sec, 10 secs
lola: 1837259 markings, 2815761 edges, 89348 markings/sec, 15 secs
lola: 2303685 markings, 3527475 edges, 93285 markings/sec, 20 secs
lola: 2760566 markings, 4242276 edges, 91376 markings/sec, 25 secs
lola: 3220491 markings, 4964135 edges, 91985 markings/sec, 30 secs
lola: 3682998 markings, 5679101 edges, 92501 markings/sec, 35 secs
lola: 4145980 markings, 6397299 edges, 92596 markings/sec, 40 secs
lola: 4603226 markings, 7104560 edges, 91449 markings/sec, 45 secs
lola: 5056470 markings, 7818522 edges, 90649 markings/sec, 50 secs
lola: 5508420 markings, 8526929 edges, 90390 markings/sec, 55 secs
lola: 5974996 markings, 9241606 edges, 93315 markings/sec, 60 secs
lola: 6431561 markings, 9965099 edges, 91313 markings/sec, 65 secs
lola: 6885279 markings, 10685817 edges, 90744 markings/sec, 70 secs
lola: 7342985 markings, 11397128 edges, 91541 markings/sec, 75 secs
lola: 7797536 markings, 12107353 edges, 90910 markings/sec, 80 secs
lola: 8255368 markings, 12814849 edges, 91566 markings/sec, 85 secs
lola: 8709588 markings, 13518568 edges, 90844 markings/sec, 90 secs
lola: 9169916 markings, 14224346 edges, 92066 markings/sec, 95 secs
lola: 9621139 markings, 14937639 edges, 90245 markings/sec, 100 secs
lola: 10082793 markings, 15648472 edges, 92331 markings/sec, 105 secs
lola: 10535008 markings, 16353392 edges, 90443 markings/sec, 110 secs
lola: 10992077 markings, 17065067 edges, 91414 markings/sec, 115 secs
lola: 11442449 markings, 17778301 edges, 90074 markings/sec, 120 secs
lola: 11905245 markings, 18495197 edges, 92559 markings/sec, 125 secs
lola: 12366240 markings, 19206250 edges, 92199 markings/sec, 130 secs
lola: 12827651 markings, 19917499 edges, 92282 markings/sec, 135 secs
lola: 13289052 markings, 20625006 edges, 92280 markings/sec, 140 secs
lola: 13748387 markings, 21343872 edges, 91867 markings/sec, 145 secs
lola: 14209297 markings, 22057438 edges, 92182 markings/sec, 150 secs
lola: 14662103 markings, 22759509 edges, 90561 markings/sec, 155 secs
lola: 15116810 markings, 23477104 edges, 90941 markings/sec, 160 secs
lola: 15567573 markings, 24187788 edges, 90153 markings/sec, 165 secs
lola: 16014206 markings, 24892979 edges, 89327 markings/sec, 170 secs
lola: 16468137 markings, 25601006 edges, 90786 markings/sec, 175 secs
lola: 16935768 markings, 26325228 edges, 93526 markings/sec, 180 secs
lola: 17392722 markings, 27032188 edges, 91391 markings/sec, 185 secs
lola: 17832579 markings, 27747726 edges, 87971 markings/sec, 190 secs
lola: 18287500 markings, 28455888 edges, 90984 markings/sec, 195 secs
lola: 18732113 markings, 29165865 edges, 88923 markings/sec, 200 secs
lola: 19191856 markings, 29878177 edges, 91949 markings/sec, 205 secs
lola: 19647313 markings, 30595571 edges, 91091 markings/sec, 210 secs
lola: 20096603 markings, 31301450 edges, 89858 markings/sec, 215 secs
lola: 20551515 markings, 32013916 edges, 90982 markings/sec, 220 secs
lola: 20997644 markings, 32725700 edges, 89226 markings/sec, 225 secs
lola: 21445224 markings, 33445809 edges, 89516 markings/sec, 230 secs
lola: 21884514 markings, 34155912 edges, 87858 markings/sec, 235 secs
lola: 22341191 markings, 34876171 edges, 91335 markings/sec, 240 secs
lola: 22800371 markings, 35589757 edges, 91836 markings/sec, 245 secs
lola: 23247127 markings, 36282797 edges, 89351 markings/sec, 250 secs
lola: 23698117 markings, 36992647 edges, 90198 markings/sec, 255 secs
lola: 24161547 markings, 37708710 edges, 92686 markings/sec, 260 secs
lola: 24623748 markings, 38417209 edges, 92440 markings/sec, 265 secs
lola: 25077667 markings, 39123475 edges, 90784 markings/sec, 270 secs
lola: 25533375 markings, 39837200 edges, 91142 markings/sec, 275 secs
lola: 25988183 markings, 40552196 edges, 90962 markings/sec, 280 secs
lola: 26441173 markings, 41255179 edges, 90598 markings/sec, 285 secs
lola: 26900568 markings, 41966916 edges, 91879 markings/sec, 290 secs
lola: 27349741 markings, 42682090 edges, 89835 markings/sec, 295 secs
lola: 27796173 markings, 43385510 edges, 89286 markings/sec, 300 secs
lola: 28247632 markings, 44096277 edges, 90292 markings/sec, 305 secs
lola: 28700335 markings, 44800402 edges, 90541 markings/sec, 310 secs
lola: 29142078 markings, 45511145 edges, 88349 markings/sec, 315 secs
lola: 29586386 markings, 46221559 edges, 88862 markings/sec, 320 secs
lola: 30035012 markings, 46934030 edges, 89725 markings/sec, 325 secs
lola: 30479460 markings, 47639816 edges, 88890 markings/sec, 330 secs
lola: 30929942 markings, 48353648 edges, 90096 markings/sec, 335 secs
lola: 31378045 markings, 49064614 edges, 89621 markings/sec, 340 secs
lola: 31834531 markings, 49777662 edges, 91297 markings/sec, 345 secs
lola: 32293313 markings, 50489348 edges, 91756 markings/sec, 350 secs
lola: 32737867 markings, 51198571 edges, 88911 markings/sec, 355 secs
lola: 33189279 markings, 51903511 edges, 90282 markings/sec, 360 secs
lola: 33629617 markings, 52614955 edges, 88068 markings/sec, 365 secs
lola: 34072163 markings, 53322042 edges, 88509 markings/sec, 370 secs
lola: 34533798 markings, 54040681 edges, 92327 markings/sec, 375 secs
lola: 34989657 markings, 54752272 edges, 91172 markings/sec, 380 secs
lola: 35451784 markings, 55471520 edges, 92425 markings/sec, 385 secs
lola: 35911441 markings, 56187638 edges, 91931 markings/sec, 390 secs
lola: 36371039 markings, 56897934 edges, 91920 markings/sec, 395 secs
lola: 36831524 markings, 57608912 edges, 92097 markings/sec, 400 secs
lola: 37284184 markings, 58321737 edges, 90532 markings/sec, 405 secs
lola: 37741587 markings, 59030683 edges, 91481 markings/sec, 410 secs
lola: 38190049 markings, 59742067 edges, 89692 markings/sec, 415 secs
lola: 38640836 markings, 60441774 edges, 90157 markings/sec, 420 secs
lola: 39095572 markings, 61151360 edges, 90947 markings/sec, 425 secs
lola: 39553346 markings, 61862963 edges, 91555 markings/sec, 430 secs
lola: 39998779 markings, 62574672 edges, 89087 markings/sec, 435 secs
lola: 40462135 markings, 63288557 edges, 92671 markings/sec, 440 secs
lola: 40904694 markings, 63997106 edges, 88512 markings/sec, 445 secs
lola: 41360797 markings, 64706050 edges, 91221 markings/sec, 450 secs
lola: 41801073 markings, 65417783 edges, 88055 markings/sec, 455 secs
lola: 42264037 markings, 66137668 edges, 92593 markings/sec, 460 secs
lola: 42707844 markings, 66838397 edges, 88761 markings/sec, 465 secs
lola: 43160466 markings, 67549365 edges, 90524 markings/sec, 470 secs
lola: 43616340 markings, 68262470 edges, 91175 markings/sec, 475 secs
lola: 44077786 markings, 68974125 edges, 92289 markings/sec, 480 secs
lola: 44535181 markings, 69687321 edges, 91479 markings/sec, 485 secs
lola: 44985009 markings, 70398656 edges, 89966 markings/sec, 490 secs
lola: 45437375 markings, 71109714 edges, 90473 markings/sec, 495 secs
lola: 45886346 markings, 71826687 edges, 89794 markings/sec, 500 secs
lola: 46327954 markings, 72539365 edges, 88322 markings/sec, 505 secs
lola: 46768789 markings, 73242289 edges, 88167 markings/sec, 510 secs
lola: 47223312 markings, 73958759 edges, 90905 markings/sec, 515 secs
lola: 47677921 markings, 74674345 edges, 90922 markings/sec, 520 secs
lola: 48131622 markings, 75382829 edges, 90740 markings/sec, 525 secs
lola: 48586820 markings, 76086990 edges, 91040 markings/sec, 530 secs
lola: 49039581 markings, 76794643 edges, 90552 markings/sec, 535 secs
lola: 49499434 markings, 77501261 edges, 91971 markings/sec, 540 secs
lola: 49960063 markings, 78216688 edges, 92126 markings/sec, 545 secs
lola: 50406560 markings, 78927092 edges, 89299 markings/sec, 550 secs
lola: 50860827 markings, 79633902 edges, 90853 markings/sec, 555 secs
lola: 51306154 markings, 80339246 edges, 89065 markings/sec, 560 secs
lola: 51759405 markings, 81049346 edges, 90650 markings/sec, 565 secs
lola: 52209451 markings, 81759000 edges, 90009 markings/sec, 570 secs
lola: 52662489 markings, 82464541 edges, 90608 markings/sec, 575 secs
lola: 53112343 markings, 83149167 edges, 89971 markings/sec, 580 secs
lola: 53547344 markings, 83828737 edges, 87000 markings/sec, 585 secs
lola: 53976247 markings, 84503478 edges, 85781 markings/sec, 590 secs
lola: 54407717 markings, 85193864 edges, 86294 markings/sec, 595 secs
lola: 54833273 markings, 85870437 edges, 85111 markings/sec, 600 secs
lola: 55278293 markings, 86557858 edges, 89004 markings/sec, 605 secs
lola: 55707595 markings, 87231846 edges, 85860 markings/sec, 610 secs
lola: 56137733 markings, 87925629 edges, 86028 markings/sec, 615 secs
lola: 56557159 markings, 88599304 edges, 83885 markings/sec, 620 secs
lola: 56988377 markings, 89270293 edges, 86244 markings/sec, 625 secs
lola: 57424194 markings, 89945766 edges, 87163 markings/sec, 630 secs
lola: 57850268 markings, 90614238 edges, 85215 markings/sec, 635 secs
lola: 58281182 markings, 91283376 edges, 86183 markings/sec, 640 secs
lola: 58731687 markings, 91980702 edges, 90101 markings/sec, 645 secs
lola: 59189966 markings, 92686259 edges, 91656 markings/sec, 650 secs
lola: 59650434 markings, 93395494 edges, 92094 markings/sec, 655 secs
lola: 60082089 markings, 94099595 edges, 86331 markings/sec, 660 secs
lola: 60524232 markings, 94798903 edges, 88429 markings/sec, 665 secs
lola: 60971831 markings, 95506887 edges, 89520 markings/sec, 670 secs
lola: 61425323 markings, 96219647 edges, 90698 markings/sec, 675 secs
lola: 61873732 markings, 96924149 edges, 89682 markings/sec, 680 secs
lola: 62318306 markings, 97634662 edges, 88915 markings/sec, 685 secs
lola: 62774555 markings, 98331780 edges, 91250 markings/sec, 690 secs
lola: 63211032 markings, 99041124 edges, 87295 markings/sec, 695 secs
lola: 63648645 markings, 99742177 edges, 87523 markings/sec, 700 secs
lola: 64097331 markings, 100448873 edges, 89737 markings/sec, 705 secs
lola: 64538114 markings, 101167595 edges, 88157 markings/sec, 710 secs
lola: 64985352 markings, 101875054 edges, 89448 markings/sec, 715 secs
lola: 65434888 markings, 102584186 edges, 89907 markings/sec, 720 secs
lola: 65879728 markings, 103280950 edges, 88968 markings/sec, 725 secs
lola: 66319221 markings, 103980735 edges, 87899 markings/sec, 730 secs
lola: 66763574 markings, 104681550 edges, 88871 markings/sec, 735 secs
lola: 67212850 markings, 105381699 edges, 89855 markings/sec, 740 secs
lola: 67669647 markings, 106091016 edges, 91359 markings/sec, 745 secs
lola: 68109837 markings, 106788132 edges, 88038 markings/sec, 750 secs
lola: 68562922 markings, 107508164 edges, 90617 markings/sec, 755 secs
lola: 69005953 markings, 108210140 edges, 88606 markings/sec, 760 secs
lola: 69450634 markings, 108910287 edges, 88936 markings/sec, 765 secs
lola: 69913785 markings, 109622922 edges, 92630 markings/sec, 770 secs
lola: 70360041 markings, 110319697 edges, 89251 markings/sec, 775 secs
lola: 70805625 markings, 111032307 edges, 89117 markings/sec, 780 secs
lola: 71252013 markings, 111729931 edges, 89278 markings/sec, 785 secs
lola: 71709508 markings, 112444280 edges, 91499 markings/sec, 790 secs
lola: 72152852 markings, 113160031 edges, 88669 markings/sec, 795 secs
lola: 72592169 markings, 113865377 edges, 87863 markings/sec, 800 secs
lola: 73054585 markings, 114581322 edges, 92483 markings/sec, 805 secs
lola: 73505607 markings, 115302745 edges, 90204 markings/sec, 810 secs
lola: 73967264 markings, 116029700 edges, 92331 markings/sec, 815 secs
lola: 74420832 markings, 116765364 edges, 90714 markings/sec, 820 secs
lola: 74868774 markings, 117487553 edges, 89588 markings/sec, 825 secs
lola: 75323825 markings, 118209793 edges, 91010 markings/sec, 830 secs
lola: 75789653 markings, 118931100 edges, 93166 markings/sec, 835 secs
lola: 76244290 markings, 119655898 edges, 90927 markings/sec, 840 secs
lola: 76694043 markings, 120376923 edges, 89951 markings/sec, 845 secs
lola: 77143968 markings, 121104338 edges, 89985 markings/sec, 850 secs
lola: 77600105 markings, 121826457 edges, 91227 markings/sec, 855 secs
lola: 78062091 markings, 122559974 edges, 92397 markings/sec, 860 secs
lola: 78513486 markings, 123281392 edges, 90279 markings/sec, 865 secs
lola: 78988605 markings, 124014803 edges, 95024 markings/sec, 870 secs
lola: 79463488 markings, 124750456 edges, 94977 markings/sec, 875 secs
lola: 79908359 markings, 125462664 edges, 88974 markings/sec, 880 secs
lola: 80360474 markings, 126172658 edges, 90423 markings/sec, 885 secs
lola: 80809098 markings, 126868470 edges, 89725 markings/sec, 890 secs
lola: 81255606 markings, 127568239 edges, 89302 markings/sec, 895 secs
lola: 81694042 markings, 128275385 edges, 87687 markings/sec, 900 secs
lola: 82141053 markings, 128981788 edges, 89402 markings/sec, 905 secs
lola: 82601238 markings, 129683631 edges, 92037 markings/sec, 910 secs
lola: 83060030 markings, 130395651 edges, 91758 markings/sec, 915 secs
lola: 83514473 markings, 131104945 edges, 90889 markings/sec, 920 secs
lola: 83970384 markings, 131820756 edges, 91182 markings/sec, 925 secs
lola: 84423479 markings, 132529272 edges, 90619 markings/sec, 930 secs
lola: 84876689 markings, 133247492 edges, 90642 markings/sec, 935 secs
lola: 85321057 markings, 133962324 edges, 88874 markings/sec, 940 secs
lola: 85762964 markings, 134655074 edges, 88381 markings/sec, 945 secs
lola: 86209829 markings, 135357292 edges, 89373 markings/sec, 950 secs
lola: 86662230 markings, 136050716 edges, 90480 markings/sec, 955 secs
lola: 87114701 markings, 136751790 edges, 90494 markings/sec, 960 secs
lola: 87568026 markings, 137457245 edges, 90665 markings/sec, 965 secs
lola: 88021895 markings, 138158611 edges, 90774 markings/sec, 970 secs
lola: 88474372 markings, 138860683 edges, 90495 markings/sec, 975 secs
lola: 88918903 markings, 139557131 edges, 88906 markings/sec, 980 secs
lola: 89368814 markings, 140256502 edges, 89982 markings/sec, 985 secs
lola: 89824002 markings, 140948185 edges, 91038 markings/sec, 990 secs
lola: 90275837 markings, 141656078 edges, 90367 markings/sec, 995 secs
lola: 90720526 markings, 142351743 edges, 88938 markings/sec, 1000 secs
lola: 91167371 markings, 143050144 edges, 89369 markings/sec, 1005 secs
lola: 91622868 markings, 143749589 edges, 91099 markings/sec, 1010 secs
lola: 92075743 markings, 144453368 edges, 90575 markings/sec, 1015 secs
lola: 92519270 markings, 145159467 edges, 88705 markings/sec, 1020 secs
lola: 92975700 markings, 145866173 edges, 91286 markings/sec, 1025 secs
lola: 93427652 markings, 146563402 edges, 90390 markings/sec, 1030 secs
lola: 93874563 markings, 147263188 edges, 89382 markings/sec, 1035 secs
lola: 94303939 markings, 147961197 edges, 85875 markings/sec, 1040 secs
lola: 94745290 markings, 148659205 edges, 88270 markings/sec, 1045 secs
lola: 95190668 markings, 149356713 edges, 89076 markings/sec, 1050 secs
lola: 95644986 markings, 150077536 edges, 90864 markings/sec, 1055 secs
lola: 96092977 markings, 150778806 edges, 89598 markings/sec, 1060 secs
lola: 96547808 markings, 151479433 edges, 90966 markings/sec, 1065 secs
lola: 96997719 markings, 152183101 edges, 89982 markings/sec, 1070 secs
lola: 97453467 markings, 152887792 edges, 91150 markings/sec, 1075 secs
lola: 97911451 markings, 153595206 edges, 91597 markings/sec, 1080 secs
lola: 98354736 markings, 154297905 edges, 88657 markings/sec, 1085 secs
lola: 98802840 markings, 154992688 edges, 89621 markings/sec, 1090 secs
lola: 99252929 markings, 155694752 edges, 90018 markings/sec, 1095 secs
lola: 99703093 markings, 156397790 edges, 90033 markings/sec, 1100 secs
lola: 100149398 markings, 157099599 edges, 89261 markings/sec, 1105 secs
lola: 100587331 markings, 157797438 edges, 87587 markings/sec, 1110 secs
lola: 101031626 markings, 158483916 edges, 88859 markings/sec, 1115 secs
lola: 101490850 markings, 159187370 edges, 91845 markings/sec, 1120 secs
lola: 101931636 markings, 159886110 edges, 88157 markings/sec, 1125 secs
lola: 102387933 markings, 160595658 edges, 91259 markings/sec, 1130 secs
lola: 102853662 markings, 161318922 edges, 93146 markings/sec, 1135 secs
lola: 103311559 markings, 162034821 edges, 91579 markings/sec, 1140 secs
lola: 103776995 markings, 162755401 edges, 93087 markings/sec, 1145 secs
lola: 104226285 markings, 163454777 edges, 89858 markings/sec, 1150 secs
lola: 104682698 markings, 164152685 edges, 91283 markings/sec, 1155 secs
lola: 105133245 markings, 164864373 edges, 90109 markings/sec, 1160 secs
lola: 105592375 markings, 165583893 edges, 91826 markings/sec, 1165 secs
lola: 106059974 markings, 166297767 edges, 93520 markings/sec, 1170 secs
lola: 106516887 markings, 167011361 edges, 91383 markings/sec, 1175 secs
lola: 106974383 markings, 167725670 edges, 91499 markings/sec, 1180 secs
lola: 107439098 markings, 168452355 edges, 92943 markings/sec, 1185 secs
lola: 107901152 markings, 169170985 edges, 92411 markings/sec, 1190 secs
lola: 108362688 markings, 169886839 edges, 92307 markings/sec, 1195 secs
lola: 108813985 markings, 170615776 edges, 90259 markings/sec, 1200 secs
lola: 109263642 markings, 171346083 edges, 89931 markings/sec, 1205 secs
lola: 109730966 markings, 172079625 edges, 93465 markings/sec, 1210 secs
lola: 110191819 markings, 172794635 edges, 92171 markings/sec, 1215 secs
lola: 110648949 markings, 173527091 edges, 91426 markings/sec, 1220 secs
lola: 111105178 markings, 174253011 edges, 91246 markings/sec, 1225 secs
lola: 111557483 markings, 174961742 edges, 90461 markings/sec, 1230 secs
lola: 112020880 markings, 175681271 edges, 92679 markings/sec, 1235 secs
lola: 112486751 markings, 176414229 edges, 93174 markings/sec, 1240 secs
lola: 112935483 markings, 177143310 edges, 89746 markings/sec, 1245 secs
lola: 113399410 markings, 177860839 edges, 92785 markings/sec, 1250 secs
lola: 113858821 markings, 178596761 edges, 91882 markings/sec, 1255 secs
lola: 114319674 markings, 179326936 edges, 92171 markings/sec, 1260 secs
lola: 114771474 markings, 180055072 edges, 90360 markings/sec, 1265 secs
lola: 115221387 markings, 180775743 edges, 89983 markings/sec, 1270 secs
lola: 115685462 markings, 181496249 edges, 92815 markings/sec, 1275 secs
lola: 116152574 markings, 182219044 edges, 93422 markings/sec, 1280 secs
lola: 116620275 markings, 182939477 edges, 93540 markings/sec, 1285 secs
lola: 117073864 markings, 183659400 edges, 90718 markings/sec, 1290 secs
lola: 117545511 markings, 184382985 edges, 94329 markings/sec, 1295 secs
lola: 118008162 markings, 185105664 edges, 92530 markings/sec, 1300 secs
lola: 118470749 markings, 185832731 edges, 92517 markings/sec, 1305 secs
lola: 118920593 markings, 186560949 edges, 89969 markings/sec, 1310 secs
lola: 119367832 markings, 187279773 edges, 89448 markings/sec, 1315 secs
lola: 119836228 markings, 188010114 edges, 93679 markings/sec, 1320 secs
lola: 120288979 markings, 188733825 edges, 90550 markings/sec, 1325 secs
lola: 120751512 markings, 189464173 edges, 92507 markings/sec, 1330 secs
lola: 121214317 markings, 190184896 edges, 92561 markings/sec, 1335 secs
lola: 121670311 markings, 190919657 edges, 91199 markings/sec, 1340 secs
lola: 122130066 markings, 191642173 edges, 91951 markings/sec, 1345 secs
lola: 122594013 markings, 192365208 edges, 92789 markings/sec, 1350 secs
lola: 123057579 markings, 193096459 edges, 92713 markings/sec, 1355 secs
lola: 123498821 markings, 193812623 edges, 88248 markings/sec, 1360 secs
lola: 123951975 markings, 194529303 edges, 90631 markings/sec, 1365 secs
lola: 124407123 markings, 195255281 edges, 91030 markings/sec, 1370 secs
lola: 124865791 markings, 195982991 edges, 91734 markings/sec, 1375 secs
lola: 125339699 markings, 196704289 edges, 94782 markings/sec, 1380 secs
lola: 125792298 markings, 197419484 edges, 90520 markings/sec, 1385 secs
lola: 126243816 markings, 198133042 edges, 90304 markings/sec, 1390 secs
lola: 126694664 markings, 198840986 edges, 90170 markings/sec, 1395 secs
lola: 127153284 markings, 199569576 edges, 91724 markings/sec, 1400 secs
lola: 127616137 markings, 200290006 edges, 92571 markings/sec, 1405 secs
lola: 128069759 markings, 201012706 edges, 90724 markings/sec, 1410 secs
lola: 128529317 markings, 201740633 edges, 91912 markings/sec, 1415 secs
lola: 128970242 markings, 202441022 edges, 88185 markings/sec, 1420 secs
lola: 129186281 markings, 202785424 edges, 43208 markings/sec, 1425 secs
lola: 129208713 markings, 202821202 edges, 4486 markings/sec, 1430 secs
lola: 129212040 markings, 202826317 edges, 665 markings/sec, 1435 secs
lola: 129229643 markings, 202853771 edges, 3521 markings/sec, 1440 secs
lola: 129260827 markings, 202902790 edges, 6237 markings/sec, 1445 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(p433)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p433)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Vasy2003-PT-none-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 453717 markings, 769666 edges, 90743 markings/sec, 0 secs
lola: 906106 markings, 1546470 edges, 90478 markings/sec, 5 secs
lola: 1348957 markings, 2331976 edges, 88570 markings/sec, 10 secs
lola: 1793701 markings, 3106478 edges, 88949 markings/sec, 15 secs
lola: 2236304 markings, 3888730 edges, 88521 markings/sec, 20 secs
lola: 2675300 markings, 4664098 edges, 87799 markings/sec, 25 secs
lola: 3117233 markings, 5431689 edges, 88387 markings/sec, 30 secs
lola: 3544800 markings, 6163834 edges, 85513 markings/sec, 35 secs
lola: 3969178 markings, 6903137 edges, 84876 markings/sec, 40 secs
lola: 4385106 markings, 7650864 edges, 83186 markings/sec, 45 secs
lola: 4805591 markings, 8387031 edges, 84097 markings/sec, 50 secs
lola: 5225854 markings, 9116647 edges, 84053 markings/sec, 55 secs
lola: 5646030 markings, 9855192 edges, 84035 markings/sec, 60 secs
lola: 6059088 markings, 10594395 edges, 82612 markings/sec, 65 secs
lola: 6469789 markings, 11326770 edges, 82140 markings/sec, 70 secs
lola: 6886413 markings, 12064718 edges, 83325 markings/sec, 75 secs
lola: 7306153 markings, 12797161 edges, 83948 markings/sec, 80 secs
lola: 7724496 markings, 13517108 edges, 83669 markings/sec, 85 secs
lola: 8142677 markings, 14255616 edges, 83636 markings/sec, 90 secs
lola: 8566088 markings, 14987656 edges, 84682 markings/sec, 95 secs
lola: 8984567 markings, 15719935 edges, 83696 markings/sec, 100 secs
lola: 9403383 markings, 16444542 edges, 83763 markings/sec, 105 secs
lola: 9816600 markings, 17179300 edges, 82643 markings/sec, 110 secs
lola: 10227322 markings, 17917786 edges, 82144 markings/sec, 115 secs
lola: 10641942 markings, 18648417 edges, 82924 markings/sec, 120 secs
lola: 11058997 markings, 19385135 edges, 83411 markings/sec, 125 secs
lola: 11476471 markings, 20114140 edges, 83495 markings/sec, 130 secs
lola: 11890049 markings, 20840410 edges, 82716 markings/sec, 135 secs
lola: 12303095 markings, 21575187 edges, 82609 markings/sec, 140 secs
lola: 12717984 markings, 22299610 edges, 82978 markings/sec, 145 secs
lola: 13133783 markings, 23036073 edges, 83160 markings/sec, 150 secs
lola: 13564311 markings, 23770563 edges, 86106 markings/sec, 155 secs
lola: 13983073 markings, 24502480 edges, 83752 markings/sec, 160 secs
lola: 14401326 markings, 25235271 edges, 83651 markings/sec, 165 secs
lola: 14819798 markings, 25975220 edges, 83694 markings/sec, 170 secs
lola: 15245040 markings, 26705486 edges, 85048 markings/sec, 175 secs
lola: 15663710 markings, 27434411 edges, 83734 markings/sec, 180 secs
lola: 16082845 markings, 28164745 edges, 83827 markings/sec, 185 secs
lola: 16501544 markings, 28895783 edges, 83740 markings/sec, 190 secs
lola: 16921683 markings, 29633320 edges, 84028 markings/sec, 195 secs
lola: 17332872 markings, 30371496 edges, 82238 markings/sec, 200 secs
lola: 17748939 markings, 31099086 edges, 83213 markings/sec, 205 secs
lola: 18165617 markings, 31825484 edges, 83336 markings/sec, 210 secs
lola: 18578777 markings, 32558102 edges, 82632 markings/sec, 215 secs
lola: 18988991 markings, 33297536 edges, 82043 markings/sec, 220 secs
lola: 19405596 markings, 34031232 edges, 83321 markings/sec, 225 secs
lola: 19828187 markings, 34761645 edges, 84518 markings/sec, 230 secs
lola: 20249344 markings, 35500721 edges, 84231 markings/sec, 235 secs
lola: 20676801 markings, 36261583 edges, 85491 markings/sec, 240 secs
lola: 21113641 markings, 37030285 edges, 87368 markings/sec, 245 secs
lola: 21544136 markings, 37798790 edges, 86099 markings/sec, 250 secs
lola: 21983773 markings, 38570668 edges, 87927 markings/sec, 255 secs
lola: 22423679 markings, 39334722 edges, 87981 markings/sec, 260 secs
lola: 22856033 markings, 40115556 edges, 86471 markings/sec, 265 secs
lola: 23294450 markings, 40887127 edges, 87683 markings/sec, 270 secs
lola: 23737490 markings, 41655217 edges, 88608 markings/sec, 275 secs
lola: 24173018 markings, 42420794 edges, 87106 markings/sec, 280 secs
lola: 24615258 markings, 43194678 edges, 88448 markings/sec, 285 secs
lola: 25054887 markings, 43973908 edges, 87926 markings/sec, 290 secs
lola: 25490690 markings, 44745514 edges, 87161 markings/sec, 295 secs
lola: 25926663 markings, 45520587 edges, 87195 markings/sec, 300 secs
lola: 26361930 markings, 46290825 edges, 87053 markings/sec, 305 secs
lola: 26800980 markings, 47060462 edges, 87810 markings/sec, 310 secs
lola: 27235652 markings, 47826955 edges, 86934 markings/sec, 315 secs
lola: 27670911 markings, 48596831 edges, 87052 markings/sec, 320 secs
lola: 28107030 markings, 49363482 edges, 87224 markings/sec, 325 secs
lola: 28543197 markings, 50130068 edges, 87233 markings/sec, 330 secs
lola: 28977526 markings, 50893445 edges, 86866 markings/sec, 335 secs
lola: 29416196 markings, 51669408 edges, 87734 markings/sec, 340 secs
lola: 29847012 markings, 52427281 edges, 86163 markings/sec, 345 secs
lola: 30283925 markings, 53177538 edges, 87383 markings/sec, 350 secs
lola: 30740245 markings, 53962647 edges, 91264 markings/sec, 355 secs
lola: 31185432 markings, 54758616 edges, 89037 markings/sec, 360 secs
lola: 31627118 markings, 55554411 edges, 88337 markings/sec, 365 secs
lola: 32083418 markings, 56342663 edges, 91260 markings/sec, 370 secs
lola: 32538984 markings, 57136767 edges, 91113 markings/sec, 375 secs
lola: 32989664 markings, 57937669 edges, 90136 markings/sec, 380 secs
lola: 33442899 markings, 58732441 edges, 90647 markings/sec, 385 secs
lola: 33893433 markings, 59533969 edges, 90107 markings/sec, 390 secs
lola: 34345220 markings, 60322357 edges, 90357 markings/sec, 395 secs
lola: 34797854 markings, 61113901 edges, 90527 markings/sec, 400 secs
lola: 35247341 markings, 61905614 edges, 89897 markings/sec, 405 secs
lola: 35703384 markings, 62687552 edges, 91209 markings/sec, 410 secs
lola: 36158235 markings, 63477724 edges, 90970 markings/sec, 415 secs
lola: 36610866 markings, 64269729 edges, 90526 markings/sec, 420 secs
lola: 37058041 markings, 65058871 edges, 89435 markings/sec, 425 secs
lola: 37506608 markings, 65841257 edges, 89713 markings/sec, 430 secs
lola: 37960602 markings, 66627015 edges, 90799 markings/sec, 435 secs
lola: 38408560 markings, 67418704 edges, 89592 markings/sec, 440 secs
lola: 38851617 markings, 68218678 edges, 88611 markings/sec, 445 secs
lola: 39298141 markings, 69013706 edges, 89305 markings/sec, 450 secs
lola: 39748170 markings, 69795316 edges, 90006 markings/sec, 455 secs
lola: 40196079 markings, 70580917 edges, 89582 markings/sec, 460 secs
lola: 40646864 markings, 71365257 edges, 90157 markings/sec, 465 secs
lola: 41102582 markings, 72155448 edges, 91144 markings/sec, 470 secs
lola: 41553025 markings, 72942470 edges, 90089 markings/sec, 475 secs
lola: 42005258 markings, 73731072 edges, 90447 markings/sec, 480 secs
lola: 42452539 markings, 74517951 edges, 89456 markings/sec, 485 secs
lola: 42892209 markings, 75310572 edges, 87934 markings/sec, 490 secs
lola: 43338315 markings, 76102739 edges, 89221 markings/sec, 495 secs
lola: 43789425 markings, 76898274 edges, 90222 markings/sec, 500 secs
lola: 44237699 markings, 77675965 edges, 89655 markings/sec, 505 secs
lola: 44680142 markings, 78467272 edges, 88489 markings/sec, 510 secs
lola: 45125859 markings, 79256048 edges, 89143 markings/sec, 515 secs
lola: 45574132 markings, 80027175 edges, 89655 markings/sec, 520 secs
lola: 46022527 markings, 80814592 edges, 89679 markings/sec, 525 secs
lola: 46464888 markings, 81604664 edges, 88472 markings/sec, 530 secs
lola: 46922365 markings, 82391660 edges, 91495 markings/sec, 535 secs
lola: 47377083 markings, 83178931 edges, 90944 markings/sec, 540 secs
lola: 47827429 markings, 83970272 edges, 90069 markings/sec, 545 secs
lola: 48275830 markings, 84758425 edges, 89680 markings/sec, 550 secs
lola: 48729692 markings, 85546860 edges, 90772 markings/sec, 555 secs
lola: 49172195 markings, 86335748 edges, 88501 markings/sec, 560 secs
lola: 49620168 markings, 87128467 edges, 89595 markings/sec, 565 secs
lola: 50072107 markings, 87921867 edges, 90388 markings/sec, 570 secs
lola: 50519776 markings, 88712308 edges, 89534 markings/sec, 575 secs
lola: 50971376 markings, 89508934 edges, 90320 markings/sec, 580 secs
lola: 51426849 markings, 90295123 edges, 91095 markings/sec, 585 secs
lola: 51878862 markings, 91091332 edges, 90403 markings/sec, 590 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 unknown 1 unknown 1 1 1 unknown 1 1 1 1 unknown 1 1 unknown
lola:
preliminary result: 1 unknown 1 unknown 1 1 1 unknown 1 1 1 1 unknown 1 1 unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 unknown 1 unknown 1 1 1 unknown 1 1 1 1 unknown 1 1 unknown
lola: memory consumption: 6352152 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 unknown 1 unknown 1 1 1 unknown 1 1 1 1 unknown 1 1 unknown
lola: memory consumption: 6352152 KB
lola: time consumption: 3571 seconds
BK_STOP 1554537532252
--------------------
content from stderr:
grep: GenericPropertiesVerdict.xml: No such file or directory
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="Vasy2003-PT-none"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool win2018"
echo " Input is Vasy2003-PT-none, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r176-oct2-155297760900151"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Vasy2003-PT-none.tgz
mv Vasy2003-PT-none execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; 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 [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.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
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 ;