About the Execution of ITS-LoLa for DNAwalker-PT-17redondantChoiceL
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15741.820 | 3600000.00 | 3606022.00 | 1288.80 | ? ? ? ? ? ? 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 '/mnt/tpsp/fkordon/mcc2020-input.r178-tajo-158987882000213.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is DNAwalker-PT-17redondantChoiceL, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r178-tajo-158987882000213
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 376K
-rw-r--r-- 1 mcc users 3.0K Mar 31 05:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 31 05:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 29 20:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 29 20:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 8 14:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 13:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 28 13:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 27 06:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 27 06:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 19 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 211K Mar 24 05:37 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 DNAwalker-PT-17redondantChoiceL-UpperBounds-00
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-UpperBounds-01
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-UpperBounds-02
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-UpperBounds-03
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-UpperBounds-04
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-UpperBounds-05
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-UpperBounds-06
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-UpperBounds-07
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-UpperBounds-08
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-UpperBounds-09
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-UpperBounds-10
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-UpperBounds-11
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-UpperBounds-12
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-UpperBounds-13
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-UpperBounds-14
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1591209631651
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-03 18:40:33] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-03 18:40:33] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-03 18:40:33] [INFO ] Load time of PNML (sax parser for PT used): 68 ms
[2020-06-03 18:40:33] [INFO ] Transformed 43 places.
[2020-06-03 18:40:33] [INFO ] Transformed 490 transitions.
[2020-06-03 18:40:33] [INFO ] Parsed PT model containing 43 places and 490 transitions in 103 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 11 ms.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
[2020-06-03 18:40:33] [INFO ] Flatten gal took : 65 ms
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
[2020-06-03 18:40:33] [INFO ] Flow matrix only has 489 transitions (discarded 1 similar events)
// Phase 1: matrix 489 rows 43 cols
[2020-06-03 18:40:33] [INFO ] Computed 0 place invariants in 10 ms
Support contains 14 out of 43 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 43/43 places, 490/490 transitions.
Discarding 1 places :
Also discarding 1 output transitions
Drop transitions removed 1 transitions
Graph (complete) has 478 edges and 43 vertex of which 42 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.6 ms
Drop transitions removed 13 transitions
Reduce isomorphic transitions removed 13 transitions.
Iterating post reduction 0 with 13 rules applied. Total rules applied 14 place count 42 transition count 476
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 1 with 1 rules applied. Total rules applied 15 place count 41 transition count 475
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 1 with 1 rules applied. Total rules applied 16 place count 40 transition count 474
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 1 with 1 rules applied. Total rules applied 17 place count 39 transition count 473
Applied a total of 17 rules in 65 ms. Remains 39 /43 variables (removed 4) and now considering 473/490 (removed 17) transitions.
// Phase 1: matrix 473 rows 39 cols
[2020-06-03 18:40:33] [INFO ] Computed 0 place invariants in 4 ms
[2020-06-03 18:40:34] [INFO ] Dead Transitions using invariants and state equation in 352 ms returned []
Finished structural reductions, in 1 iterations. Remains : 39/43 places, 473/490 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 2 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 473 rows 39 cols
[2020-06-03 18:40:34] [INFO ] Computed 0 place invariants in 3 ms
Support contains 14 out of 39 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 39/39 places, 473/473 transitions.
Applied a total of 0 rules in 7 ms. Remains 39 /39 variables (removed 0) and now considering 473/473 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 39/39 places, 473/473 transitions.
Starting structural reductions, iteration 0 : 39/39 places, 473/473 transitions.
Applied a total of 0 rules in 5 ms. Remains 39 /39 variables (removed 0) and now considering 473/473 (removed 0) transitions.
// Phase 1: matrix 473 rows 39 cols
[2020-06-03 18:40:34] [INFO ] Computed 0 place invariants in 1 ms
[2020-06-03 18:40:34] [INFO ] Implicit Places using invariants in 38 ms returned []
// Phase 1: matrix 473 rows 39 cols
[2020-06-03 18:40:34] [INFO ] Computed 0 place invariants in 1 ms
[2020-06-03 18:40:34] [INFO ] State equation strengthened by 112 read => feed constraints.
[2020-06-03 18:40:34] [INFO ] Implicit Places using invariants and state equation in 448 ms returned [38]
Discarding 1 places :
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Implicit Place search using SMT with State Equation took 494 ms to find 1 implicit places.
[2020-06-03 18:40:34] [INFO ] Redundant transitions in 75 ms returned []
// Phase 1: matrix 469 rows 38 cols
[2020-06-03 18:40:34] [INFO ] Computed 0 place invariants in 3 ms
[2020-06-03 18:40:35] [INFO ] Dead Transitions using invariants and state equation in 193 ms returned []
Starting structural reductions, iteration 1 : 38/39 places, 469/473 transitions.
Applied a total of 0 rules in 17 ms. Remains 38 /38 variables (removed 0) and now considering 469/469 (removed 0) transitions.
[2020-06-03 18:40:35] [INFO ] Redundant transitions in 22 ms returned []
// Phase 1: matrix 469 rows 38 cols
[2020-06-03 18:40:35] [INFO ] Computed 0 place invariants in 0 ms
[2020-06-03 18:40:35] [INFO ] Dead Transitions using invariants and state equation in 169 ms returned []
Finished structural reductions, in 2 iterations. Remains : 38/39 places, 469/473 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 469 rows 38 cols
[2020-06-03 18:40:35] [INFO ] Computed 0 place invariants in 1 ms
Support contains 14 out of 38 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 38/38 places, 469/469 transitions.
Applied a total of 0 rules in 5 ms. Remains 38 /38 variables (removed 0) and now considering 469/469 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 38/38 places, 469/469 transitions.
Starting structural reductions, iteration 0 : 38/38 places, 469/469 transitions.
Applied a total of 0 rules in 17 ms. Remains 38 /38 variables (removed 0) and now considering 469/469 (removed 0) transitions.
// Phase 1: matrix 469 rows 38 cols
[2020-06-03 18:40:35] [INFO ] Computed 0 place invariants in 1 ms
[2020-06-03 18:40:35] [INFO ] Implicit Places using invariants in 27 ms returned []
// Phase 1: matrix 469 rows 38 cols
[2020-06-03 18:40:35] [INFO ] Computed 0 place invariants in 2 ms
[2020-06-03 18:40:35] [INFO ] State equation strengthened by 112 read => feed constraints.
[2020-06-03 18:40:35] [INFO ] Implicit Places using invariants and state equation in 418 ms returned []
Implicit Place search using SMT with State Equation took 448 ms to find 0 implicit places.
[2020-06-03 18:40:35] [INFO ] Redundant transitions in 38 ms returned []
// Phase 1: matrix 469 rows 38 cols
[2020-06-03 18:40:35] [INFO ] Computed 0 place invariants in 2 ms
[2020-06-03 18:40:35] [INFO ] Dead Transitions using invariants and state equation in 215 ms returned []
Finished structural reductions, in 1 iterations. Remains : 38/38 places, 469/469 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Applied a total of 0 rules in 9 ms. Remains 38 /38 variables (removed 0) and now considering 469/469 (removed 0) transitions.
// Phase 1: matrix 469 rows 38 cols
[2020-06-03 18:40:35] [INFO ] Computed 0 place invariants in 1 ms
[2020-06-03 18:40:36] [INFO ] Export to MCC properties in file /home/mcc/execution/UpperBounds.sr.xml took 2 ms.
[2020-06-03 18:40:36] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 7 ms.
info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ DNAwalker-PT-17redondantChoiceL @ 3570 seconds
FORMULA DNAwalker-PT-17redondantChoiceL-UpperBounds-06 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-17redondantChoiceL-UpperBounds-07 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-17redondantChoiceL-UpperBounds-08 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-17redondantChoiceL-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ DNAwalker-PT-17redondantChoiceL
{
"exit":
{
"memory": 20064,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p5)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"preliminary_value": "unknown unknown unknown unknown unknown unknown 1 1 1 unknown unknown unknown 1 unknown unknown unknown "
},
"task":
{
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 507/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1216
lola: finding significant places
lola: 38 places, 469 transitions, 38 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from UpperBounds.xml
lola: MAX(p5) : MAX(p18) : MAX(p35) : MAX(p28) : MAX(p32) : MAX(p26) : MAX(p9) : MAX(p21) : MAX(p33) : MAX(p2) : MAX(p32) : MAX(p13) : MAX(p24) : MAX(p11) : MAX(p32) : MAX(p23)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 3 markings, 2 edges, 1 markings/sec, 25 secs
lola: 473489 markings, 1364884 edges, 94697 markings/sec, 30 secs
lola: 847116 markings, 2884456 edges, 74725 markings/sec, 35 secs
lola: 1233224 markings, 4467978 edges, 77222 markings/sec, 40 secs
lola: 1663602 markings, 6083913 edges, 86076 markings/sec, 45 secs
lola: 2039197 markings, 7778063 edges, 75119 markings/sec, 50 secs
lola: 2385416 markings, 9560623 edges, 69244 markings/sec, 55 secs
lola: 2723939 markings, 11415200 edges, 67705 markings/sec, 60 secs
lola: 3072687 markings, 13275925 edges, 69750 markings/sec, 65 secs
lola: 3462175 markings, 15164604 edges, 77898 markings/sec, 70 secs
lola: 3833645 markings, 17061167 edges, 74294 markings/sec, 75 secs
lola: 4219275 markings, 18940317 edges, 77126 markings/sec, 80 secs
lola: 4610815 markings, 20793645 edges, 78308 markings/sec, 85 secs
lola: 4988644 markings, 22352846 edges, 75566 markings/sec, 90 secs
lola: 5386308 markings, 24094181 edges, 79533 markings/sec, 95 secs
lola: 5757733 markings, 25918981 edges, 74285 markings/sec, 100 secs
lola: 6141270 markings, 27860246 edges, 76707 markings/sec, 105 secs
lola: 6524388 markings, 29815416 edges, 76624 markings/sec, 110 secs
lola: 6918217 markings, 31690725 edges, 78766 markings/sec, 115 secs
lola: 7279922 markings, 33525823 edges, 72341 markings/sec, 120 secs
lola: 7716547 markings, 35369051 edges, 87325 markings/sec, 125 secs
lola: 8082021 markings, 37322983 edges, 73095 markings/sec, 130 secs
lola: 8548938 markings, 39315112 edges, 93383 markings/sec, 135 secs
lola: 8997323 markings, 41257990 edges, 89677 markings/sec, 140 secs
lola: 9451188 markings, 43146035 edges, 90773 markings/sec, 145 secs
lola: 9861536 markings, 45080728 edges, 82070 markings/sec, 150 secs
lola: 10276008 markings, 46967419 edges, 82894 markings/sec, 155 secs
lola: 10658462 markings, 48854621 edges, 76491 markings/sec, 160 secs
lola: 11066399 markings, 50902828 edges, 81587 markings/sec, 165 secs
lola: 11465777 markings, 52884158 edges, 79876 markings/sec, 170 secs
lola: 11865620 markings, 54829673 edges, 79969 markings/sec, 175 secs
lola: 12219997 markings, 56689167 edges, 70875 markings/sec, 180 secs
lola: 12592469 markings, 58663756 edges, 74494 markings/sec, 185 secs
lola: 12904141 markings, 60718130 edges, 62334 markings/sec, 190 secs
lola: 13202908 markings, 62862480 edges, 59753 markings/sec, 195 secs
lola: 13519144 markings, 65025238 edges, 63247 markings/sec, 200 secs
lola: 13832267 markings, 67249522 edges, 62625 markings/sec, 205 secs
lola: 14163148 markings, 69445306 edges, 66176 markings/sec, 210 secs
lola: 14515413 markings, 71451685 edges, 70453 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 536008 KB
lola: time consumption: 225 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p18)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p18)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 125 markings, 127 edges, 25 markings/sec, 25 secs
lola: 461382 markings, 1123227 edges, 92251 markings/sec, 30 secs
lola: 901490 markings, 2614451 edges, 88022 markings/sec, 35 secs
lola: 1321292 markings, 3892128 edges, 83960 markings/sec, 40 secs
lola: 1714089 markings, 5425407 edges, 78559 markings/sec, 45 secs
lola: 2056426 markings, 6646193 edges, 68467 markings/sec, 50 secs
lola: 2436403 markings, 7876421 edges, 75995 markings/sec, 55 secs
lola: 2879967 markings, 9185738 edges, 88713 markings/sec, 60 secs
lola: 3281310 markings, 10641117 edges, 80269 markings/sec, 65 secs
lola: 3683994 markings, 11891886 edges, 80537 markings/sec, 70 secs
lola: 4130189 markings, 13193340 edges, 89239 markings/sec, 75 secs
lola: 4552366 markings, 14551016 edges, 84435 markings/sec, 80 secs
lola: 4929475 markings, 15919359 edges, 75422 markings/sec, 85 secs
lola: 5505980 markings, 17217228 edges, 115301 markings/sec, 90 secs
lola: 6118863 markings, 18388182 edges, 122577 markings/sec, 95 secs
lola: 6547178 markings, 20050005 edges, 85663 markings/sec, 100 secs
lola: 6962902 markings, 21735322 edges, 83145 markings/sec, 105 secs
lola: 7438636 markings, 23068306 edges, 95147 markings/sec, 110 secs
lola: 7922864 markings, 24394590 edges, 96846 markings/sec, 115 secs
lola: 8317363 markings, 26119555 edges, 78900 markings/sec, 120 secs
lola: 8686432 markings, 27904123 edges, 73814 markings/sec, 125 secs
lola: 9042233 markings, 29991528 edges, 71160 markings/sec, 130 secs
lola: 9343871 markings, 31664078 edges, 60328 markings/sec, 135 secs
lola: 9700862 markings, 33168989 edges, 71398 markings/sec, 140 secs
lola: 10038392 markings, 34883486 edges, 67506 markings/sec, 145 secs
lola: 10373712 markings, 36575520 edges, 67064 markings/sec, 150 secs
lola: 10709223 markings, 38399055 edges, 67102 markings/sec, 155 secs
lola: 11101794 markings, 40136514 edges, 78514 markings/sec, 160 secs
lola: 11543668 markings, 41761395 edges, 88375 markings/sec, 165 secs
lola: 11894110 markings, 43754624 edges, 70088 markings/sec, 170 secs
lola: 12243660 markings, 45784068 edges, 69910 markings/sec, 175 secs
lola: 12573195 markings, 47789684 edges, 65907 markings/sec, 180 secs
lola: 12921246 markings, 49462887 edges, 69610 markings/sec, 185 secs
lola: 13272684 markings, 51185104 edges, 70288 markings/sec, 190 secs
lola: 13573746 markings, 53102019 edges, 60212 markings/sec, 195 secs
lola: 13855631 markings, 54597018 edges, 56377 markings/sec, 200 secs
lola: 14120165 markings, 55775545 edges, 52907 markings/sec, 205 secs
lola: 14412639 markings, 57059406 edges, 58495 markings/sec, 210 secs
lola: 14715082 markings, 58451967 edges, 60489 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 521780 KB
lola: time consumption: 448 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p35)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p35)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 108 markings, 108 edges, 22 markings/sec, 25 secs
lola: 561084 markings, 1466469 edges, 112195 markings/sec, 30 secs
lola: 1006764 markings, 2923959 edges, 89136 markings/sec, 35 secs
lola: 1507042 markings, 4362917 edges, 100056 markings/sec, 40 secs
lola: 1994440 markings, 5840857 edges, 97480 markings/sec, 45 secs
lola: 2472462 markings, 7408845 edges, 95604 markings/sec, 50 secs
lola: 2914698 markings, 8935461 edges, 88447 markings/sec, 55 secs
lola: 3463246 markings, 10667372 edges, 109710 markings/sec, 60 secs
lola: 4000987 markings, 12412995 edges, 107548 markings/sec, 65 secs
lola: 4510140 markings, 14048991 edges, 101831 markings/sec, 70 secs
lola: 5066386 markings, 15682338 edges, 111249 markings/sec, 75 secs
lola: 5592434 markings, 17466473 edges, 105210 markings/sec, 80 secs
lola: 6113572 markings, 19284076 edges, 104228 markings/sec, 85 secs
lola: 6676663 markings, 20987793 edges, 112618 markings/sec, 90 secs
lola: 7230491 markings, 22812639 edges, 110766 markings/sec, 95 secs
lola: 7739466 markings, 24567463 edges, 101795 markings/sec, 100 secs
lola: 8273809 markings, 26366046 edges, 106869 markings/sec, 105 secs
lola: 8767644 markings, 28079613 edges, 98767 markings/sec, 110 secs
lola: 9273334 markings, 29786270 edges, 101138 markings/sec, 115 secs
lola: 9822614 markings, 31465360 edges, 109856 markings/sec, 120 secs
lola: 10397564 markings, 33260115 edges, 114990 markings/sec, 125 secs
lola: 10914890 markings, 35103760 edges, 103465 markings/sec, 130 secs
lola: 11389166 markings, 36843930 edges, 94855 markings/sec, 135 secs
lola: 11839532 markings, 38583910 edges, 90073 markings/sec, 140 secs
lola: 12376932 markings, 40273982 edges, 107480 markings/sec, 145 secs
lola: 12934706 markings, 42097880 edges, 111555 markings/sec, 150 secs
lola: 13448447 markings, 43911283 edges, 102748 markings/sec, 155 secs
lola: 13996483 markings, 45634672 edges, 109607 markings/sec, 160 secs
lola: 14544408 markings, 47483135 edges, 109585 markings/sec, 165 secs
lola: 15042175 markings, 49239122 edges, 99553 markings/sec, 170 secs
lola: 15492241 markings, 51055385 edges, 90013 markings/sec, 175 secs
lola: 15954091 markings, 52793390 edges, 92370 markings/sec, 180 secs
lola: 16391516 markings, 54667864 edges, 87485 markings/sec, 185 secs
lola: 16821672 markings, 56476475 edges, 86031 markings/sec, 190 secs
lola: 17265038 markings, 58401492 edges, 88673 markings/sec, 195 secs
lola: 17675279 markings, 60155528 edges, 82048 markings/sec, 200 secs
lola: 18067806 markings, 62027388 edges, 78505 markings/sec, 205 secs
lola: 18467076 markings, 63807786 edges, 79854 markings/sec, 210 secs
lola: 18875198 markings, 65749583 edges, 81624 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 693844 KB
lola: time consumption: 671 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p28)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p28)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: 630418 markings, 1467965 edges, 126084 markings/sec, 30 secs
lola: 1279353 markings, 3130591 edges, 129787 markings/sec, 35 secs
lola: 1913980 markings, 4752226 edges, 126925 markings/sec, 40 secs
lola: 2444450 markings, 6404061 edges, 106094 markings/sec, 45 secs
lola: 2857962 markings, 7971830 edges, 82702 markings/sec, 50 secs
lola: 3288148 markings, 9571015 edges, 86037 markings/sec, 55 secs
lola: 3715464 markings, 11152763 edges, 85463 markings/sec, 60 secs
lola: 4161698 markings, 12797609 edges, 89247 markings/sec, 65 secs
lola: 4677075 markings, 14443113 edges, 103075 markings/sec, 70 secs
lola: 5212621 markings, 16324102 edges, 107109 markings/sec, 75 secs
lola: 5678689 markings, 18124328 edges, 93214 markings/sec, 80 secs
lola: 6160762 markings, 19952269 edges, 96415 markings/sec, 85 secs
lola: 6643042 markings, 21771339 edges, 96456 markings/sec, 90 secs
lola: 7152625 markings, 23632273 edges, 101917 markings/sec, 95 secs
lola: 7649481 markings, 25460734 edges, 99371 markings/sec, 100 secs
lola: 8156774 markings, 27314025 edges, 101459 markings/sec, 105 secs
lola: 8671347 markings, 29168245 edges, 102915 markings/sec, 110 secs
lola: 9192273 markings, 31012857 edges, 104185 markings/sec, 115 secs
lola: 9700975 markings, 32805894 edges, 101740 markings/sec, 120 secs
lola: 10247955 markings, 34598725 edges, 109396 markings/sec, 125 secs
lola: 10762448 markings, 36350950 edges, 102899 markings/sec, 130 secs
lola: 11231940 markings, 38062224 edges, 93898 markings/sec, 135 secs
lola: 11711557 markings, 39801935 edges, 95923 markings/sec, 140 secs
lola: 12231499 markings, 41570291 edges, 103988 markings/sec, 145 secs
lola: 12727413 markings, 43310228 edges, 99183 markings/sec, 150 secs
lola: 13238918 markings, 45079334 edges, 102301 markings/sec, 155 secs
lola: 13766185 markings, 46875260 edges, 105453 markings/sec, 160 secs
lola: 14311037 markings, 48671588 edges, 108970 markings/sec, 165 secs
lola: 14805830 markings, 50410163 edges, 98959 markings/sec, 170 secs
lola: 15263953 markings, 52035598 edges, 91625 markings/sec, 175 secs
lola: 15741093 markings, 53603331 edges, 95428 markings/sec, 180 secs
lola: 16221155 markings, 55266453 edges, 96012 markings/sec, 185 secs
lola: 16740035 markings, 56978203 edges, 103776 markings/sec, 190 secs
lola: 17275586 markings, 58740217 edges, 107110 markings/sec, 195 secs
lola: 17781634 markings, 60575008 edges, 101210 markings/sec, 200 secs
lola: 18399885 markings, 62260028 edges, 123650 markings/sec, 205 secs
lola: 19024145 markings, 63939947 edges, 124852 markings/sec, 210 secs
lola: 19450151 markings, 65443893 edges, 85201 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 683600 KB
lola: time consumption: 894 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p32)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p32)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 99 markings, 100 edges, 20 markings/sec, 25 secs
lola: 461272 markings, 1477397 edges, 92235 markings/sec, 30 secs
lola: 849974 markings, 2765849 edges, 77740 markings/sec, 35 secs
lola: 1209464 markings, 4150867 edges, 71898 markings/sec, 40 secs
lola: 1543593 markings, 5651337 edges, 66826 markings/sec, 45 secs
lola: 1870327 markings, 7435569 edges, 65347 markings/sec, 50 secs
lola: 2357356 markings, 9330730 edges, 97406 markings/sec, 55 secs
lola: 2853720 markings, 11244636 edges, 99273 markings/sec, 60 secs
lola: 3256764 markings, 12748858 edges, 80609 markings/sec, 65 secs
lola: 3633516 markings, 14267354 edges, 75350 markings/sec, 70 secs
lola: 4057572 markings, 15950732 edges, 84811 markings/sec, 75 secs
lola: 4476789 markings, 17745659 edges, 83843 markings/sec, 80 secs
lola: 4913429 markings, 19397051 edges, 87328 markings/sec, 85 secs
lola: 5278314 markings, 20858008 edges, 72977 markings/sec, 90 secs
lola: 5627403 markings, 22369723 edges, 69818 markings/sec, 95 secs
lola: 5964023 markings, 23945635 edges, 67324 markings/sec, 100 secs
lola: 6263631 markings, 25698393 edges, 59922 markings/sec, 105 secs
lola: 6632677 markings, 27553038 edges, 73809 markings/sec, 110 secs
lola: 7032087 markings, 29507686 edges, 79882 markings/sec, 115 secs
lola: 7374413 markings, 31120119 edges, 68465 markings/sec, 120 secs
lola: 7692063 markings, 32771192 edges, 63530 markings/sec, 125 secs
lola: 8027945 markings, 34477709 edges, 67176 markings/sec, 130 secs
lola: 8364329 markings, 36204451 edges, 67277 markings/sec, 135 secs
lola: 8773773 markings, 37561664 edges, 81889 markings/sec, 140 secs
lola: 9197883 markings, 38904196 edges, 84822 markings/sec, 145 secs
lola: 9604194 markings, 40390814 edges, 81262 markings/sec, 150 secs
lola: 9982422 markings, 41952704 edges, 75646 markings/sec, 155 secs
lola: 10326769 markings, 43637471 edges, 68869 markings/sec, 160 secs
lola: 10721301 markings, 45399431 edges, 78906 markings/sec, 165 secs
lola: 11197446 markings, 46999223 edges, 95229 markings/sec, 170 secs
lola: 11605670 markings, 48577952 edges, 81645 markings/sec, 175 secs
lola: 12028984 markings, 49922978 edges, 84663 markings/sec, 180 secs
lola: 12477596 markings, 51435886 edges, 89722 markings/sec, 185 secs
lola: 12856883 markings, 52787313 edges, 75857 markings/sec, 190 secs
lola: 13245258 markings, 54125608 edges, 77675 markings/sec, 195 secs
lola: 13680335 markings, 55552920 edges, 87015 markings/sec, 200 secs
lola: 14052136 markings, 56956693 edges, 74360 markings/sec, 205 secs
lola: 14444811 markings, 58262240 edges, 78535 markings/sec, 210 secs
lola: 14800616 markings, 59634842 edges, 71161 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 523844 KB
lola: time consumption: 1117 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p26)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p26)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 3 markings, 2 edges, 1 markings/sec, 25 secs
lola: 454156 markings, 977221 edges, 90831 markings/sec, 30 secs
lola: 850103 markings, 2056625 edges, 79189 markings/sec, 35 secs
lola: 1237674 markings, 3172800 edges, 77514 markings/sec, 40 secs
lola: 1663870 markings, 4275087 edges, 85239 markings/sec, 45 secs
lola: 2088846 markings, 5379189 edges, 84995 markings/sec, 50 secs
lola: 2518244 markings, 6491260 edges, 85880 markings/sec, 55 secs
lola: 2952813 markings, 7625807 edges, 86914 markings/sec, 60 secs
lola: 3440750 markings, 8908754 edges, 97587 markings/sec, 65 secs
lola: 3903786 markings, 10281197 edges, 92607 markings/sec, 70 secs
lola: 4355729 markings, 11670051 edges, 90389 markings/sec, 75 secs
lola: 4855153 markings, 13124172 edges, 99885 markings/sec, 80 secs
lola: 5301058 markings, 14677554 edges, 89181 markings/sec, 85 secs
lola: 5684491 markings, 16274037 edges, 76687 markings/sec, 90 secs
lola: 6086397 markings, 17873458 edges, 80381 markings/sec, 95 secs
lola: 6482706 markings, 19517831 edges, 79262 markings/sec, 100 secs
lola: 6917379 markings, 21178557 edges, 86935 markings/sec, 105 secs
lola: 7311403 markings, 22791333 edges, 78805 markings/sec, 110 secs
lola: 7735927 markings, 24447283 edges, 84905 markings/sec, 115 secs
lola: 8163382 markings, 26146975 edges, 85491 markings/sec, 120 secs
lola: 8606159 markings, 27769045 edges, 88555 markings/sec, 125 secs
lola: 9063799 markings, 29422882 edges, 91528 markings/sec, 130 secs
lola: 9489952 markings, 31085245 edges, 85231 markings/sec, 135 secs
lola: 9875235 markings, 32715267 edges, 77057 markings/sec, 140 secs
lola: 10263396 markings, 34366145 edges, 77632 markings/sec, 145 secs
lola: 10684665 markings, 36047473 edges, 84254 markings/sec, 150 secs
lola: 11079948 markings, 37740513 edges, 79057 markings/sec, 155 secs
lola: 11479476 markings, 39379832 edges, 79906 markings/sec, 160 secs
lola: 11921146 markings, 41104531 edges, 88334 markings/sec, 165 secs
lola: 12336219 markings, 42751215 edges, 83015 markings/sec, 170 secs
lola: 12744292 markings, 44446150 edges, 81615 markings/sec, 175 secs
lola: 13161603 markings, 46201980 edges, 83462 markings/sec, 180 secs
lola: 13575899 markings, 47906353 edges, 82859 markings/sec, 185 secs
lola: 14022016 markings, 49606288 edges, 89223 markings/sec, 190 secs
lola: 14459398 markings, 51282703 edges, 87476 markings/sec, 195 secs
lola: 14893794 markings, 52859360 edges, 86879 markings/sec, 200 secs
lola: 15377673 markings, 54125391 edges, 96776 markings/sec, 205 secs
lola: 15872521 markings, 55409166 edges, 98970 markings/sec, 210 secs
lola: 16390866 markings, 56806781 edges, 103669 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 581200 KB
lola: time consumption: 1340 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p9)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 244 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p21)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p21)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 8 will run for 271 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p33)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p33)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 9 will run for 305 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 278 markings, 305 edges, 56 markings/sec, 25 secs
lola: 423057 markings, 1601596 edges, 84556 markings/sec, 30 secs
lola: 781290 markings, 3085998 edges, 71647 markings/sec, 35 secs
lola: 1184085 markings, 4482449 edges, 80559 markings/sec, 40 secs
lola: 1495631 markings, 6137032 edges, 62309 markings/sec, 45 secs
lola: 1849980 markings, 7887929 edges, 70870 markings/sec, 50 secs
lola: 2187102 markings, 9846503 edges, 67424 markings/sec, 55 secs
lola: 2528156 markings, 11804375 edges, 68211 markings/sec, 60 secs
lola: 2867688 markings, 13769635 edges, 67906 markings/sec, 65 secs
lola: 3201661 markings, 15720821 edges, 66795 markings/sec, 70 secs
lola: 3521537 markings, 17243922 edges, 63975 markings/sec, 75 secs
lola: 3874220 markings, 18718559 edges, 70537 markings/sec, 80 secs
lola: 4195194 markings, 20441288 edges, 64195 markings/sec, 85 secs
lola: 4578569 markings, 22193468 edges, 76675 markings/sec, 90 secs
lola: 4954451 markings, 24042147 edges, 75176 markings/sec, 95 secs
lola: 5323686 markings, 25947797 edges, 73847 markings/sec, 100 secs
lola: 5828640 markings, 27587261 edges, 100991 markings/sec, 105 secs
lola: 6281858 markings, 29388483 edges, 90644 markings/sec, 110 secs
lola: 6646664 markings, 31337835 edges, 72961 markings/sec, 115 secs
lola: 6984490 markings, 33363416 edges, 67565 markings/sec, 120 secs
lola: 7311161 markings, 35434734 edges, 65334 markings/sec, 125 secs
lola: 7724045 markings, 37340866 edges, 82577 markings/sec, 130 secs
lola: 8096138 markings, 39301198 edges, 74419 markings/sec, 135 secs
lola: 8495270 markings, 41003554 edges, 79826 markings/sec, 140 secs
lola: 8830959 markings, 43018151 edges, 67138 markings/sec, 145 secs
lola: 9150669 markings, 45080682 edges, 63942 markings/sec, 150 secs
lola: 9465979 markings, 47209671 edges, 63062 markings/sec, 155 secs
lola: 9799166 markings, 49166931 edges, 66637 markings/sec, 160 secs
lola: 10157629 markings, 51059676 edges, 71693 markings/sec, 165 secs
lola: 10499895 markings, 53008750 edges, 68453 markings/sec, 170 secs
lola: 10833063 markings, 54976141 edges, 66634 markings/sec, 175 secs
lola: 11195248 markings, 56985379 edges, 72437 markings/sec, 180 secs
lola: 11486339 markings, 59150323 edges, 58218 markings/sec, 185 secs
lola: 11846619 markings, 61129797 edges, 72056 markings/sec, 190 secs
lola: 12236422 markings, 62932848 edges, 77961 markings/sec, 195 secs
lola: 12588946 markings, 64900423 edges, 70505 markings/sec, 200 secs
lola: 12912399 markings, 67012676 edges, 64691 markings/sec, 205 secs
lola: 13226260 markings, 69188865 edges, 62772 markings/sec, 210 secs
lola: 13545048 markings, 71331276 edges, 63758 markings/sec, 215 secs
lola: 13884985 markings, 73329122 edges, 67987 markings/sec, 220 secs
lola: 14235507 markings, 75317985 edges, 70104 markings/sec, 225 secs
lola: 14546594 markings, 77473221 edges, 62217 markings/sec, 230 secs
lola: 14885331 markings, 79433462 edges, 67747 markings/sec, 235 secs
lola: 15192861 markings, 81528112 edges, 61506 markings/sec, 240 secs
lola: 15575473 markings, 83585847 edges, 76522 markings/sec, 245 secs
lola: 15998348 markings, 85322598 edges, 84575 markings/sec, 250 secs
lola: 16406082 markings, 87013107 edges, 81547 markings/sec, 255 secs
lola: 16776239 markings, 88852961 edges, 74031 markings/sec, 260 secs
lola: 17160244 markings, 90654061 edges, 76801 markings/sec, 265 secs
lola: 17550291 markings, 92434899 edges, 78009 markings/sec, 270 secs
lola: 17935624 markings, 94250812 edges, 77067 markings/sec, 275 secs
lola: 18395283 markings, 95986272 edges, 91932 markings/sec, 280 secs
lola: 18823963 markings, 97845321 edges, 85736 markings/sec, 285 secs
lola: 19163187 markings, 99840804 edges, 67845 markings/sec, 290 secs
lola: 19514814 markings, 101846485 edges, 70325 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 1 1 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 683600 KB
lola: time consumption: 1735 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 305 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p32)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p32)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 300 markings, 305 edges, 60 markings/sec, 25 secs
lola: 414318 markings, 1314035 edges, 82804 markings/sec, 30 secs
lola: 797547 markings, 2575671 edges, 76646 markings/sec, 35 secs
lola: 1156047 markings, 3934311 edges, 71700 markings/sec, 40 secs
lola: 1484307 markings, 5372705 edges, 65652 markings/sec, 45 secs
lola: 1790436 markings, 6930261 edges, 61226 markings/sec, 50 secs
lola: 2148836 markings, 8610594 edges, 71680 markings/sec, 55 secs
lola: 2622166 markings, 10255155 edges, 94666 markings/sec, 60 secs
lola: 3009514 markings, 11824173 edges, 77470 markings/sec, 65 secs
lola: 3357886 markings, 13106794 edges, 69674 markings/sec, 70 secs
lola: 3683972 markings, 14489652 edges, 65217 markings/sec, 75 secs
lola: 4076247 markings, 16020191 edges, 78455 markings/sec, 80 secs
lola: 4506512 markings, 17851403 edges, 86053 markings/sec, 85 secs
lola: 4941568 markings, 19514787 edges, 87011 markings/sec, 90 secs
lola: 5313473 markings, 20990679 edges, 74381 markings/sec, 95 secs
lola: 5670780 markings, 22542707 edges, 71461 markings/sec, 100 secs
lola: 6009415 markings, 24155714 edges, 67727 markings/sec, 105 secs
lola: 6314865 markings, 25997159 edges, 61090 markings/sec, 110 secs
lola: 6717289 markings, 27946053 edges, 80485 markings/sec, 115 secs
lola: 7105529 markings, 29879509 edges, 77648 markings/sec, 120 secs
lola: 7450257 markings, 31457548 edges, 68946 markings/sec, 125 secs
lola: 7764940 markings, 33239644 edges, 62937 markings/sec, 130 secs
lola: 8128413 markings, 35125694 edges, 72695 markings/sec, 135 secs
lola: 8556261 markings, 36873552 edges, 85570 markings/sec, 140 secs
lola: 9017786 markings, 38355552 edges, 92305 markings/sec, 145 secs
lola: 9445233 markings, 39766595 edges, 85489 markings/sec, 150 secs
lola: 9850240 markings, 41320250 edges, 81001 markings/sec, 155 secs
lola: 10216854 markings, 43078052 edges, 73323 markings/sec, 160 secs
lola: 10560208 markings, 44860573 edges, 68671 markings/sec, 165 secs
lola: 11102727 markings, 46675191 edges, 108504 markings/sec, 170 secs
lola: 11574000 markings, 48498781 edges, 94255 markings/sec, 175 secs
lola: 12044127 markings, 49965379 edges, 94025 markings/sec, 180 secs
lola: 12508248 markings, 51538248 edges, 92824 markings/sec, 185 secs
lola: 12946344 markings, 53094222 edges, 87619 markings/sec, 190 secs
lola: 13385027 markings, 54690172 edges, 87737 markings/sec, 195 secs
lola: 13828626 markings, 56111985 edges, 88720 markings/sec, 200 secs
lola: 14254796 markings, 57615341 edges, 85234 markings/sec, 205 secs
lola: 14669906 markings, 59124094 edges, 83022 markings/sec, 210 secs
lola: 15064882 markings, 60700006 edges, 78995 markings/sec, 215 secs
lola: 15464654 markings, 62385187 edges, 79954 markings/sec, 220 secs
lola: 15862510 markings, 64184193 edges, 79571 markings/sec, 225 secs
lola: 16237775 markings, 65962688 edges, 75053 markings/sec, 230 secs
lola: 16622310 markings, 67750716 edges, 76907 markings/sec, 235 secs
lola: 17051356 markings, 69583766 edges, 85809 markings/sec, 240 secs
lola: 17389547 markings, 71492280 edges, 67638 markings/sec, 245 secs
lola: 17795328 markings, 73516830 edges, 81156 markings/sec, 250 secs
lola: 18424632 markings, 75238369 edges, 125861 markings/sec, 255 secs
lola: 19029401 markings, 76975983 edges, 120954 markings/sec, 260 secs
lola: 19640812 markings, 78738321 edges, 122282 markings/sec, 265 secs
lola: 20199187 markings, 80560096 edges, 111675 markings/sec, 270 secs
lola: 20807206 markings, 82342904 edges, 121604 markings/sec, 275 secs
lola: 21196434 markings, 83790331 edges, 77846 markings/sec, 280 secs
lola: 21526751 markings, 85344330 edges, 66063 markings/sec, 285 secs
lola: 21914704 markings, 87106845 edges, 77591 markings/sec, 290 secs
lola: 22334010 markings, 88802882 edges, 83861 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 1 1 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 779860 KB
lola: time consumption: 2040 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 306 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p13)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p13)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 122 markings, 121 edges, 24 markings/sec, 25 secs
lola: 451564 markings, 1517803 edges, 90288 markings/sec, 30 secs
lola: 841123 markings, 3120360 edges, 77912 markings/sec, 35 secs
lola: 1200754 markings, 4730759 edges, 71926 markings/sec, 40 secs
lola: 1577583 markings, 6428500 edges, 75366 markings/sec, 45 secs
lola: 1995247 markings, 7960869 edges, 83533 markings/sec, 50 secs
lola: 2395256 markings, 9484885 edges, 80002 markings/sec, 55 secs
lola: 2738899 markings, 11257192 edges, 68729 markings/sec, 60 secs
lola: 3196212 markings, 12799715 edges, 91463 markings/sec, 65 secs
lola: 3671763 markings, 14298170 edges, 95110 markings/sec, 70 secs
lola: 4123636 markings, 15791540 edges, 90375 markings/sec, 75 secs
lola: 4470178 markings, 17520851 edges, 69308 markings/sec, 80 secs
lola: 4907512 markings, 19185274 edges, 87467 markings/sec, 85 secs
lola: 5358395 markings, 20508947 edges, 90177 markings/sec, 90 secs
lola: 5812983 markings, 21822324 edges, 90918 markings/sec, 95 secs
lola: 6275034 markings, 23430163 edges, 92410 markings/sec, 100 secs
lola: 6785820 markings, 24871415 edges, 102157 markings/sec, 105 secs
lola: 7276268 markings, 26504589 edges, 98090 markings/sec, 110 secs
lola: 7758440 markings, 28226691 edges, 96434 markings/sec, 115 secs
lola: 8260313 markings, 29913653 edges, 100375 markings/sec, 120 secs
lola: 8746865 markings, 31558500 edges, 97310 markings/sec, 125 secs
lola: 9274886 markings, 33123314 edges, 105604 markings/sec, 130 secs
lola: 9741169 markings, 34845946 edges, 93257 markings/sec, 135 secs
lola: 10245945 markings, 36507287 edges, 100955 markings/sec, 140 secs
lola: 10734307 markings, 38121192 edges, 97672 markings/sec, 145 secs
lola: 11210672 markings, 39794590 edges, 95273 markings/sec, 150 secs
lola: 11682525 markings, 41540000 edges, 94371 markings/sec, 155 secs
lola: 12051875 markings, 43431265 edges, 73870 markings/sec, 160 secs
lola: 12360662 markings, 45527789 edges, 61757 markings/sec, 165 secs
lola: 12673399 markings, 47652593 edges, 62547 markings/sec, 170 secs
lola: 13014482 markings, 49478899 edges, 68217 markings/sec, 175 secs
lola: 13351169 markings, 51435877 edges, 67337 markings/sec, 180 secs
lola: 13700909 markings, 53283861 edges, 69948 markings/sec, 185 secs
lola: 14020217 markings, 55094557 edges, 63862 markings/sec, 190 secs
lola: 14320979 markings, 56684401 edges, 60152 markings/sec, 195 secs
lola: 14598031 markings, 58167705 edges, 55410 markings/sec, 200 secs
lola: 14908370 markings, 60023277 edges, 62068 markings/sec, 205 secs
lola: 15259072 markings, 61737887 edges, 70140 markings/sec, 210 secs
lola: 15578044 markings, 63631158 edges, 63794 markings/sec, 215 secs
lola: 15904413 markings, 65716640 edges, 65274 markings/sec, 220 secs
lola: 16245531 markings, 67506568 edges, 68224 markings/sec, 225 secs
lola: 16568683 markings, 69379037 edges, 64630 markings/sec, 230 secs
lola: 16884079 markings, 71347299 edges, 63079 markings/sec, 235 secs
lola: 17187343 markings, 73482258 edges, 60653 markings/sec, 240 secs
lola: 17530784 markings, 75282284 edges, 68688 markings/sec, 245 secs
lola: 17877018 markings, 77088268 edges, 69247 markings/sec, 250 secs
lola: 18207828 markings, 78943998 edges, 66162 markings/sec, 255 secs
lola: 18552512 markings, 80627953 edges, 68937 markings/sec, 260 secs
lola: 18906229 markings, 82478468 edges, 70743 markings/sec, 265 secs
lola: 19249886 markings, 84256253 edges, 68731 markings/sec, 270 secs
lola: 19564420 markings, 86108659 edges, 62907 markings/sec, 275 secs
lola: 19898108 markings, 88045316 edges, 66738 markings/sec, 280 secs
lola: 20232223 markings, 89947050 edges, 66823 markings/sec, 285 secs
lola: 20542469 markings, 91810328 edges, 62049 markings/sec, 290 secs
lola: 20863538 markings, 93665013 edges, 64214 markings/sec, 295 secs
lola: 21160607 markings, 95771434 edges, 59414 markings/sec, 300 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 1 1 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 767456 KB
lola: time consumption: 2346 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 306 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p24)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 1 markings, 0 edges
lola: 1 markings, 0 edges, 0 markings/sec, 25 secs
lola: ========================================
lola: subprocess 13 will run for 398 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p11)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 152 markings, 154 edges, 30 markings/sec, 25 secs
lola: 433193 markings, 1405723 edges, 86608 markings/sec, 30 secs
lola: 814814 markings, 2991759 edges, 76324 markings/sec, 35 secs
lola: 1195871 markings, 4551767 edges, 76211 markings/sec, 40 secs
lola: 1576744 markings, 6090805 edges, 76175 markings/sec, 45 secs
lola: 1956375 markings, 7669176 edges, 75926 markings/sec, 50 secs
lola: 2335322 markings, 9196084 edges, 75789 markings/sec, 55 secs
lola: 2828006 markings, 10366245 edges, 98537 markings/sec, 60 secs
lola: 3299344 markings, 11741224 edges, 94268 markings/sec, 65 secs
lola: 3716330 markings, 13331569 edges, 83397 markings/sec, 70 secs
lola: 4101132 markings, 15082665 edges, 76960 markings/sec, 75 secs
lola: 4451399 markings, 16959073 edges, 70053 markings/sec, 80 secs
lola: 4782426 markings, 18853337 edges, 66205 markings/sec, 85 secs
lola: 5096962 markings, 20733009 edges, 62907 markings/sec, 90 secs
lola: 5473155 markings, 22312848 edges, 75239 markings/sec, 95 secs
lola: 5806817 markings, 24314507 edges, 66732 markings/sec, 100 secs
lola: 6113560 markings, 26403576 edges, 61349 markings/sec, 105 secs
lola: 6451669 markings, 28210457 edges, 67622 markings/sec, 110 secs
lola: 6795428 markings, 29876232 edges, 68752 markings/sec, 115 secs
lola: 7114443 markings, 31759346 edges, 63803 markings/sec, 120 secs
lola: 7435454 markings, 33579247 edges, 64202 markings/sec, 125 secs
lola: 7735560 markings, 35427001 edges, 60021 markings/sec, 130 secs
lola: 8034366 markings, 37200572 edges, 59761 markings/sec, 135 secs
lola: 8333967 markings, 39005900 edges, 59920 markings/sec, 140 secs
lola: 8619548 markings, 41152530 edges, 57116 markings/sec, 145 secs
lola: 8902763 markings, 43111253 edges, 56643 markings/sec, 150 secs
lola: 9193560 markings, 45008378 edges, 58159 markings/sec, 155 secs
lola: 9495909 markings, 46907780 edges, 60470 markings/sec, 160 secs
lola: 9796659 markings, 48749848 edges, 60150 markings/sec, 165 secs
lola: 10110069 markings, 50655042 edges, 62682 markings/sec, 170 secs
lola: 10418566 markings, 52415437 edges, 61699 markings/sec, 175 secs
lola: 10736856 markings, 54214810 edges, 63658 markings/sec, 180 secs
lola: 11030993 markings, 56300762 edges, 58827 markings/sec, 185 secs
lola: 11306774 markings, 58342145 edges, 55156 markings/sec, 190 secs
lola: 11567315 markings, 60468472 edges, 52108 markings/sec, 195 secs
lola: 11879482 markings, 62266095 edges, 62433 markings/sec, 200 secs
lola: 12185495 markings, 63977576 edges, 61203 markings/sec, 205 secs
lola: 12458355 markings, 65925775 edges, 54572 markings/sec, 210 secs
lola: 12725439 markings, 67967615 edges, 53417 markings/sec, 215 secs
lola: 13009623 markings, 69841351 edges, 56837 markings/sec, 220 secs
lola: 13292478 markings, 71696134 edges, 56571 markings/sec, 225 secs
lola: 13662008 markings, 73240904 edges, 73906 markings/sec, 230 secs
lola: 14041011 markings, 74803179 edges, 75801 markings/sec, 235 secs
lola: 14415461 markings, 76329274 edges, 74890 markings/sec, 240 secs
lola: 14822984 markings, 77519357 edges, 81505 markings/sec, 245 secs
lola: 15180601 markings, 78959978 edges, 71523 markings/sec, 250 secs
lola: 15483816 markings, 80520098 edges, 60643 markings/sec, 255 secs
lola: 15774029 markings, 82324240 edges, 58043 markings/sec, 260 secs
lola: 16076680 markings, 84158344 edges, 60530 markings/sec, 265 secs
lola: 16372011 markings, 85974664 edges, 59066 markings/sec, 270 secs
lola: 16675962 markings, 87762847 edges, 60790 markings/sec, 275 secs
lola: 16983707 markings, 89642846 edges, 61549 markings/sec, 280 secs
lola: 17267535 markings, 91257621 edges, 56766 markings/sec, 285 secs
lola: 17516802 markings, 92844645 edges, 49853 markings/sec, 290 secs
lola: 17802930 markings, 94327199 edges, 57226 markings/sec, 295 secs
lola: 18059367 markings, 95967684 edges, 51287 markings/sec, 300 secs
lola: 18371849 markings, 97402076 edges, 62496 markings/sec, 305 secs
lola: 18695103 markings, 98708896 edges, 64651 markings/sec, 310 secs
lola: 19039238 markings, 100067944 edges, 68827 markings/sec, 315 secs
lola: 19333070 markings, 101701977 edges, 58766 markings/sec, 320 secs
lola: 19606469 markings, 103264870 edges, 54680 markings/sec, 325 secs
lola: 19873207 markings, 104867082 edges, 53348 markings/sec, 330 secs
lola: 20193908 markings, 106635352 edges, 64140 markings/sec, 335 secs
lola: 20489142 markings, 108548185 edges, 59047 markings/sec, 340 secs
lola: 20871799 markings, 110255798 edges, 76531 markings/sec, 345 secs
lola: 21202350 markings, 112126128 edges, 66110 markings/sec, 350 secs
lola: 21533811 markings, 113974724 edges, 66292 markings/sec, 355 secs
lola: 21857655 markings, 115712773 edges, 64769 markings/sec, 360 secs
lola: 22234439 markings, 117529563 edges, 75357 markings/sec, 365 secs
lola: 22666855 markings, 119262591 edges, 86483 markings/sec, 370 secs
lola: 23004438 markings, 121071534 edges, 67517 markings/sec, 375 secs
lola: 23492910 markings, 122638805 edges, 97694 markings/sec, 380 secs
lola: 23977827 markings, 124140446 edges, 96983 markings/sec, 385 secs
lola: 24440170 markings, 125909309 edges, 92469 markings/sec, 390 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 1 1 1 unknown unknown unknown 1 unknown unknown unknown
lola: memory consumption: 851536 KB
lola: time consumption: 2774 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 398 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p32)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p32)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 111 markings, 113 edges, 22 markings/sec, 25 secs
lola: 466044 markings, 1492703 edges, 93187 markings/sec, 30 secs
lola: 900802 markings, 2946163 edges, 86952 markings/sec, 35 secs
lola: 1297872 markings, 4502822 edges, 79414 markings/sec, 40 secs
lola: 1665177 markings, 6203579 edges, 73461 markings/sec, 45 secs
lola: 1979648 markings, 8023974 edges, 62894 markings/sec, 50 secs
lola: 2529327 markings, 9914298 edges, 109936 markings/sec, 55 secs
lola: 2979549 markings, 11724012 edges, 90044 markings/sec, 60 secs
lola: 3378023 markings, 13180000 edges, 79695 markings/sec, 65 secs
lola: 3740007 markings, 14739590 edges, 72397 markings/sec, 70 secs
lola: 4179892 markings, 16438380 edges, 87977 markings/sec, 75 secs
lola: 4598044 markings, 18173556 edges, 83630 markings/sec, 80 secs
lola: 4998223 markings, 19746726 edges, 80036 markings/sec, 85 secs
lola: 5364374 markings, 21190513 edges, 73230 markings/sec, 90 secs
lola: 5672593 markings, 22553138 edges, 61644 markings/sec, 95 secs
lola: 5970075 markings, 23971692 edges, 59496 markings/sec, 100 secs
lola: 6248152 markings, 25583730 edges, 55615 markings/sec, 105 secs
lola: 6592320 markings, 27373704 edges, 68834 markings/sec, 110 secs
lola: 6993760 markings, 29287500 edges, 80288 markings/sec, 115 secs
lola: 7341745 markings, 30967316 edges, 69597 markings/sec, 120 secs
lola: 7662145 markings, 32593306 edges, 64080 markings/sec, 125 secs
lola: 8022580 markings, 34444540 edges, 72087 markings/sec, 130 secs
lola: 8388044 markings, 36348496 edges, 73093 markings/sec, 135 secs
lola: 8851604 markings, 37809520 edges, 92712 markings/sec, 140 secs
lola: 9293663 markings, 39218545 edges, 88412 markings/sec, 145 secs
lola: 9705097 markings, 40722594 edges, 82287 markings/sec, 150 secs
lola: 10067666 markings, 42348063 edges, 72514 markings/sec, 155 secs
lola: 10404251 markings, 44084783 edges, 67317 markings/sec, 160 secs
lola: 10869524 markings, 45883688 edges, 93055 markings/sec, 165 secs
lola: 11362919 markings, 47671187 edges, 98679 markings/sec, 170 secs
lola: 11805651 markings, 49216970 edges, 88546 markings/sec, 175 secs
lola: 12291963 markings, 50789845 edges, 97262 markings/sec, 180 secs
lola: 12726452 markings, 52326628 edges, 86898 markings/sec, 185 secs
lola: 13164739 markings, 53871030 edges, 87657 markings/sec, 190 secs
lola: 13619442 markings, 55369945 edges, 90941 markings/sec, 195 secs
lola: 14004480 markings, 56815062 edges, 77008 markings/sec, 200 secs
lola: 14451693 markings, 58292011 edges, 89443 markings/sec, 205 secs
lola: 14845824 markings, 59820900 edges, 78826 markings/sec, 210 secs
lola: 15236399 markings, 61426687 edges, 78115 markings/sec, 215 secs
lola: 15612135 markings, 63146858 edges, 75147 markings/sec, 220 secs
lola: 16017394 markings, 64956899 edges, 81052 markings/sec, 225 secs
lola: 16419874 markings, 66668427 edges, 80496 markings/sec, 230 secs
lola: 16792334 markings, 68462225 edges, 74492 markings/sec, 235 secs
lola: 17156671 markings, 70226301 edges, 72867 markings/sec, 240 secs
lola: 17526114 markings, 72154103 edges, 73889 markings/sec, 245 secs
lola: 17988648 markings, 74023688 edges, 92507 markings/sec, 250 secs
lola: 18598951 markings, 75758700 edges, 122061 markings/sec, 255 secs
lola: 19191964 markings, 77460240 edges, 118603 markings/sec, 260 secs
lola: 19795726 markings, 79179052 edges, 120752 markings/sec, 265 secs
lola: 20347980 markings, 80997573 edges, 110451 markings/sec, 270 secs
lola: 20913457 markings, 82705314 edges, 113095 markings/sec, 275 secs
lola: 21275750 markings, 84130615 edges, 72459 markings/sec, 280 secs
lola: 21613503 markings, 85752691 edges, 67551 markings/sec, 285 secs
lola: 22007359 markings, 87528341 edges, 78771 markings/sec, 290 secs
lola: 22392291 markings, 89024219 edges, 76986 markings/sec, 295 secs
lola: 22698943 markings, 90323869 edges, 61330 markings/sec, 300 secs
lola: 23034325 markings, 91864338 edges, 67076 markings/sec, 305 secs
lola: 23387608 markings, 93550315 edges, 70657 markings/sec, 310 secs
lola: 23797360 markings, 95096444 edges, 81950 markings/sec, 315 secs
lola: 24203324 markings, 96572992 edges, 81193 markings/sec, 320 secs
lola: 24550712 markings, 98035624 edges, 69478 markings/sec, 325 secs
lola: 24904597 markings, 99470733 edges, 70777 markings/sec, 330 secs
lola: 25251391 markings, 101038904 edges, 69359 markings/sec, 335 secs
lola: 25571955 markings, 102743807 edges, 64113 markings/sec, 340 secs
lola: 25897366 markings, 104436765 edges, 65082 markings/sec, 345 secs
lola: 26165305 markings, 106146335 edges, 53588 markings/sec, 350 secs
lola: 26835875 markings, 107886121 edges, 134114 markings/sec, 355 secs
lola: 27452134 markings, 109628754 edges, 123252 markings/sec, 360 secs
lola: 27974881 markings, 111451038 edges, 104549 markings/sec, 365 secs
lola: 28286066 markings, 113398352 edges, 62237 markings/sec, 370 secs
lola: 28740084 markings, 114825934 edges, 90804 markings/sec, 375 secs
lola: 29144049 markings, 116207545 edges, 80793 markings/sec, 380 secs
lola: 29552981 markings, 117607522 edges, 81786 markings/sec, 385 secs
lola: 29952499 markings, 119111409 edges, 79904 markings/sec, 390 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 1 1 1 unknown unknown unknown 1 unknown unknown unknown
lola: memory consumption: 1031780 KB
lola: time consumption: 3173 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 397 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p23)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p23)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 461 markings, 488 edges, 92 markings/sec, 25 secs
lola: 451830 markings, 1174683 edges, 90274 markings/sec, 30 secs
lola: 853699 markings, 2478326 edges, 80374 markings/sec, 35 secs
lola: 1242122 markings, 3833171 edges, 77685 markings/sec, 40 secs
lola: 1596160 markings, 5400030 edges, 70808 markings/sec, 45 secs
lola: 2032363 markings, 6704862 edges, 87241 markings/sec, 50 secs
lola: 2452035 markings, 8118254 edges, 83934 markings/sec, 55 secs
lola: 2890443 markings, 9543389 edges, 87682 markings/sec, 60 secs
lola: 3262897 markings, 10988052 edges, 74491 markings/sec, 65 secs
lola: 3695206 markings, 12464050 edges, 86462 markings/sec, 70 secs
lola: 4135283 markings, 13897860 edges, 88015 markings/sec, 75 secs
lola: 4566813 markings, 15347908 edges, 86306 markings/sec, 80 secs
lola: 5003122 markings, 16755208 edges, 87262 markings/sec, 85 secs
lola: 5484510 markings, 18021090 edges, 96278 markings/sec, 90 secs
lola: 5978751 markings, 19330511 edges, 98848 markings/sec, 95 secs
lola: 6436274 markings, 20487448 edges, 91505 markings/sec, 100 secs
lola: 6921281 markings, 21767171 edges, 97001 markings/sec, 105 secs
lola: 7392041 markings, 23230246 edges, 94152 markings/sec, 110 secs
lola: 7854018 markings, 24587808 edges, 92395 markings/sec, 115 secs
lola: 8314762 markings, 26011073 edges, 92149 markings/sec, 120 secs
lola: 8756502 markings, 27350721 edges, 88348 markings/sec, 125 secs
lola: 9217658 markings, 28695402 edges, 92231 markings/sec, 130 secs
lola: 9682465 markings, 30028772 edges, 92961 markings/sec, 135 secs
lola: 10187174 markings, 31338255 edges, 100942 markings/sec, 140 secs
lola: 10552204 markings, 32739058 edges, 73006 markings/sec, 145 secs
lola: 10863600 markings, 34076861 edges, 62279 markings/sec, 150 secs
lola: 11186547 markings, 35534700 edges, 64589 markings/sec, 155 secs
lola: 11489521 markings, 37106709 edges, 60595 markings/sec, 160 secs
lola: 11821280 markings, 38604234 edges, 66352 markings/sec, 165 secs
lola: 12131488 markings, 40280013 edges, 62042 markings/sec, 170 secs
lola: 12448417 markings, 41861174 edges, 63386 markings/sec, 175 secs
lola: 12753437 markings, 43505802 edges, 61004 markings/sec, 180 secs
lola: 13079952 markings, 45268892 edges, 65303 markings/sec, 185 secs
lola: 13407709 markings, 47022119 edges, 65551 markings/sec, 190 secs
lola: 13833623 markings, 48614656 edges, 85183 markings/sec, 195 secs
lola: 14323604 markings, 50191790 edges, 97996 markings/sec, 200 secs
lola: 14790386 markings, 51911982 edges, 93356 markings/sec, 205 secs
lola: 15287343 markings, 53544022 edges, 99391 markings/sec, 210 secs
lola: 15765917 markings, 55179072 edges, 95715 markings/sec, 215 secs
lola: 16221690 markings, 56698214 edges, 91155 markings/sec, 220 secs
lola: 16658748 markings, 58550330 edges, 87412 markings/sec, 225 secs
lola: 17091933 markings, 60295253 edges, 86637 markings/sec, 230 secs
lola: 17554861 markings, 61968930 edges, 92586 markings/sec, 235 secs
lola: 18001215 markings, 63629230 edges, 89271 markings/sec, 240 secs
lola: 18430884 markings, 65382802 edges, 85934 markings/sec, 245 secs
lola: 18842646 markings, 67366958 edges, 82352 markings/sec, 250 secs
lola: 19247449 markings, 69057377 edges, 80961 markings/sec, 255 secs
lola: 19660147 markings, 70805043 edges, 82540 markings/sec, 260 secs
lola: 20089615 markings, 72475547 edges, 85894 markings/sec, 265 secs
lola: 20504342 markings, 74286687 edges, 82945 markings/sec, 270 secs
lola: 20904460 markings, 76134361 edges, 80024 markings/sec, 275 secs
lola: 21273033 markings, 77750582 edges, 73715 markings/sec, 280 secs
lola: 21622181 markings, 79155638 edges, 69830 markings/sec, 285 secs
lola: 21928322 markings, 80598115 edges, 61228 markings/sec, 290 secs
lola: 22217200 markings, 82072253 edges, 57776 markings/sec, 295 secs
lola: 22502165 markings, 83651148 edges, 56993 markings/sec, 300 secs
lola: 22883517 markings, 85014805 edges, 76270 markings/sec, 305 secs
lola: 23226968 markings, 86531257 edges, 68690 markings/sec, 310 secs
lola: 23569994 markings, 88073103 edges, 68605 markings/sec, 315 secs
lola: 23904691 markings, 89722096 edges, 66939 markings/sec, 320 secs
lola: 24212815 markings, 91499273 edges, 61625 markings/sec, 325 secs
lola: 24527104 markings, 92880566 edges, 62858 markings/sec, 330 secs
lola: 24815657 markings, 94387206 edges, 57711 markings/sec, 335 secs
lola: 25094212 markings, 95824329 edges, 55711 markings/sec, 340 secs
lola: 25361978 markings, 97357758 edges, 53553 markings/sec, 345 secs
lola: 25722474 markings, 98986307 edges, 72099 markings/sec, 350 secs
lola: 26098215 markings, 100772893 edges, 75148 markings/sec, 355 secs
lola: 26457829 markings, 102519102 edges, 71923 markings/sec, 360 secs
lola: 26813050 markings, 104179475 edges, 71044 markings/sec, 365 secs
lola: 27113567 markings, 105865636 edges, 60103 markings/sec, 370 secs
lola: 27492999 markings, 107657385 edges, 75886 markings/sec, 375 secs
lola: 27852122 markings, 109619075 edges, 71825 markings/sec, 380 secs
lola: 28221554 markings, 111406258 edges, 73886 markings/sec, 385 secs
lola: 28579746 markings, 113301060 edges, 71638 markings/sec, 390 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 1 1 1 unknown unknown unknown 1 unknown unknown unknown
lola: memory consumption: 978520 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(p5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 1 1 1 unknown unknown unknown 1 unknown unknown unknown
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 1 1 1 unknown unknown unknown 1 unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 1 1 1 unknown unknown unknown 1 unknown unknown unknown
lola: memory consumption: 20920 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 1 1 1 unknown unknown unknown 1 unknown unknown unknown
lola: memory consumption: 20064 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
rslt: finished
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DNAwalker-PT-17redondantChoiceL"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="itslola"
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-4028"
echo " Executing tool itslola"
echo " Input is DNAwalker-PT-17redondantChoiceL, 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 r178-tajo-158987882000213"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-17redondantChoiceL.tgz
mv DNAwalker-PT-17redondantChoiceL execution
cd execution
if [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "UpperBounds" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] || [ "UpperBounds" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "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
elif [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] ; then
echo "FORMULA_NAME UpperBounds"
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 ;