About the Execution of 2020-gold for ViralEpidemic-PT-S04D1C1A04
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 11406.224 | 3600000.00 | 3616996.00 | 8368.90 | FFFFF?TF?FTFTFF? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r284-smll-162123894500146.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2021-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2020
Input is ViralEpidemic-PT-S04D1C1A04, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r284-smll-162123894500146
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.7M
-rw-r--r-- 1 mcc users 17K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 107K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 15K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 102K May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.8K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.0K Mar 28 16:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 28 16:48 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 28 16:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 16:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K Mar 27 15:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 27 15:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 26 06:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 26 06:15 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Mar 22 08:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Mar 22 08:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:52 equiv_col
-rw-r--r-- 1 mcc users 11 May 5 16:52 instance
-rw-r--r-- 1 mcc users 6 May 5 16:52 iscolored
-rw-r--r-- 1 mcc users 2.4M May 5 16:52 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-00
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-01
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-02
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-03
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-04
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-05
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-06
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-07
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-08
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-09
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-10
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-11
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-12
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-13
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-14
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-15
=== Now, execution of the tool begins
BK_START 1621476656497
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-20 02:10:59] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2021-05-20 02:10:59] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-20 02:11:00] [INFO ] Load time of PNML (sax parser for PT used): 545 ms
[2021-05-20 02:11:00] [INFO ] Transformed 2047 places.
[2021-05-20 02:11:00] [INFO ] Transformed 3069 transitions.
[2021-05-20 02:11:00] [INFO ] Found NUPN structural information;
[2021-05-20 02:11:00] [INFO ] Parsed PT model containing 2047 places and 3069 transitions in 658 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 61 ms.
Working with output stream class java.io.PrintStream
Finished random walk after 5732 steps, including 46 resets, run visited all 50 properties in 265 ms. (steps per millisecond=21 )
[2021-05-20 02:11:01] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2021-05-20 02:11:01] [INFO ] Flatten gal took : 379 ms
FORMULA ViralEpidemic-PT-S04D1C1A04-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ViralEpidemic-PT-S04D1C1A04-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ViralEpidemic-PT-S04D1C1A04-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-20 02:11:01] [INFO ] Applying decomposition
[2021-05-20 02:11:01] [INFO ] Flatten gal took : 214 ms
[2021-05-20 02:11:01] [INFO ] Decomposing Gal with order
[2021-05-20 02:11:02] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-20 02:11:02] [INFO ] Removed a total of 3410 redundant transitions.
[2021-05-20 02:11:03] [INFO ] Flatten gal took : 473 ms
[2021-05-20 02:11:03] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 36 ms.
[2021-05-20 02:11:03] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 10 ms.
[2021-05-20 02:11:03] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 56 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ViralEpidemic-PT-S04D1C1A04 @ 3570 seconds
FORMULA ViralEpidemic-PT-S04D1C1A04-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ViralEpidemic-PT-S04D1C1A04-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ViralEpidemic-PT-S04D1C1A04-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ViralEpidemic-PT-S04D1C1A04-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ViralEpidemic-PT-S04D1C1A04-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ViralEpidemic-PT-S04D1C1A04-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ViralEpidemic-PT-S04D1C1A04-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ViralEpidemic-PT-S04D1C1A04-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ViralEpidemic-PT-S04D1C1A04-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ViralEpidemic-PT-S04D1C1A04-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ ViralEpidemic-PT-S04D1C1A04
{
"exit":
{
"memory": 4224816,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 3,
"U": 0,
"X": 1,
"aconj": 2,
"adisj": 0,
"aneg": 1,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "G ((X (G (((1 <= p967) AND (1 <= p970)))) OR G (((p2021 <= 0) OR (p2024 <= 0)))))",
"processed_size": 82,
"rewrites": 70
},
"result":
{
"preliminary_value": "no no no no unknown no unknown no yes no yes no unknown "
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
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: 5116/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 65504
lola: finding significant places
lola: 2047 places, 3069 transitions, 2046 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 LTLFireability.xml
lola: LP says that atomic proposition is always true: (p112 <= 1)
lola: LP says that atomic proposition is always true: (p223 <= 1)
lola: LP says that atomic proposition is always true: (p226 <= 1)
lola: LP says that atomic proposition is always true: (p112 <= 1)
lola: LP says that atomic proposition is always true: (p223 <= 1)
lola: LP says that atomic proposition is always true: (p226 <= 1)
lola: LP says that atomic proposition is always true: (p268 <= 1)
lola: LP says that atomic proposition is always true: (p270 <= 1)
lola: LP says that atomic proposition is always true: (p576 <= 1)
lola: LP says that atomic proposition is always true: (p581 <= 1)
lola: LP says that atomic proposition is always true: (p1828 <= 1)
lola: LP says that atomic proposition is always true: (p1837 <= 1)
lola: LP says that atomic proposition is always true: (p1517 <= 1)
lola: LP says that atomic proposition is always true: (p1521 <= 1)
lola: LP says that atomic proposition is always true: (p615 <= 1)
lola: LP says that atomic proposition is always true: (p623 <= 1)
lola: LP says that atomic proposition is always true: (p1894 <= 1)
lola: LP says that atomic proposition is always true: (p1896 <= 1)
lola: LP says that atomic proposition is always true: (p1894 <= 1)
lola: LP says that atomic proposition is always true: (p1896 <= 1)
lola: LP says that atomic proposition is always true: (p1541 <= 1)
lola: LP says that atomic proposition is always true: (p1573 <= 1)
lola: LP says that atomic proposition is always true: (p1231 <= 1)
lola: LP says that atomic proposition is always true: (p1233 <= 1)
lola: LP says that atomic proposition is always true: (p1231 <= 1)
lola: LP says that atomic proposition is always true: (p1233 <= 1)
lola: LP says that atomic proposition is always true: (p89 <= 1)
lola: LP says that atomic proposition is always true: (p91 <= 1)
lola: LP says that atomic proposition is always true: (p975 <= 1)
lola: LP says that atomic proposition is always true: (p976 <= 1)
lola: LP says that atomic proposition is always true: (p1444 <= 1)
lola: LP says that atomic proposition is always true: (p1446 <= 1)
lola: LP says that atomic proposition is always true: (p1616 <= 1)
lola: LP says that atomic proposition is always true: (p1620 <= 1)
lola: LP says that atomic proposition is always true: (p162 <= 1)
lola: LP says that atomic proposition is always true: (p164 <= 1)
lola: LP says that atomic proposition is always true: (p44 <= 1)
lola: LP says that atomic proposition is always true: (p49 <= 1)
lola: LP says that atomic proposition is always true: (p967 <= 1)
lola: LP says that atomic proposition is always true: (p970 <= 1)
lola: LP says that atomic proposition is always true: (p2021 <= 1)
lola: LP says that atomic proposition is always true: (p2024 <= 1)
lola: LP says that atomic proposition is always true: (p2021 <= 1)
lola: LP says that atomic proposition is always true: (p2024 <= 1)
lola: LP says that atomic proposition is always true: (p1838 <= 1)
lola: LP says that atomic proposition is always true: (p1840 <= 1)
lola: LP says that atomic proposition is always true: (p975 <= 1)
lola: LP says that atomic proposition is always true: (p979 <= 1)
lola: LP says that atomic proposition is always true: (p776 <= 1)
lola: LP says that atomic proposition is always true: (p784 <= 1)
lola: LP says that atomic proposition is always true: (p776 <= 1)
lola: LP says that atomic proposition is always true: (p784 <= 1)
lola: LP says that atomic proposition is always true: (p1863 <= 1)
lola: LP says that atomic proposition is always true: (p1867 <= 1)
lola: LP says that atomic proposition is always true: (p927 <= 1)
lola: LP says that atomic proposition is always true: (p929 <= 1)
lola: LP says that atomic proposition is always true: (p1524 <= 1)
lola: LP says that atomic proposition is always true: (p1528 <= 1)
lola: LP says that atomic proposition is always true: (p1524 <= 1)
lola: LP says that atomic proposition is always true: (p1528 <= 1)
lola: LP says that atomic proposition is always true: (p1184 <= 1)
lola: LP says that atomic proposition is always true: (p1185 <= 1)
lola: LP says that atomic proposition is always true: (p1561 <= 1)
lola: LP says that atomic proposition is always true: (p1565 <= 1)
lola: LP says that atomic proposition is always true: (p487 <= 1)
lola: LP says that atomic proposition is always true: (p489 <= 1)
lola: LP says that atomic proposition is always true: (p21 <= 1)
lola: LP says that atomic proposition is always true: (p25 <= 1)
lola: LP says that atomic proposition is always true: (p487 <= 1)
lola: LP says that atomic proposition is always true: (p489 <= 1)
lola: LP says that atomic proposition is always true: (p358 <= 1)
lola: LP says that atomic proposition is always true: (p359 <= 1)
lola: LP says that atomic proposition is always true: (p193 <= 1)
lola: LP says that atomic proposition is always true: (p195 <= 1)
lola: NOT(((X (NOT(F (((1 <= p112))))) OR (X (X (((1 <= p223) AND (1 <= p226)))) AND X (((1 <= p112))))) U ((1 <= p223) AND (1 <= p226)))) : (G ((G (X (((p268 <= 0) OR (p270 <= 0)))) U ((1 <= p576) AND (1 <= p581)))) OR F (((G (((1 <= p1828) AND (1 <= p1837))) AND ((1 <= p1517))) AND ((1 <= p1521))))) : F ((X (G (F (X (F (((1 <= p615) AND (1 <= p623))))))) AND NOT(X ((NOT(X (((1 <= p1894) AND (1 <= p1896)))) AND ((p1894 <= 0) OR (p1896 <= 0))))))) : (X (F (X (((1 <= p1541) AND (1 <= p1573))))) OR G (((G (((1 <= p1231) AND (1 <= p1233))) AND ((1 <= p1231))) AND ((1 <= p1233))))) : (F (G ((NOT((((1 <= p89) AND (1 <= p91)) U ((1 <= p975) AND (1 <= p976)))) U ((1 <= p1444) AND (1 <= p1446))))) OR G (((1 <= p1616) AND (1 <= p1620)))) : G ((F (X (X (F (G (X (((1 <= p162) AND (1 <= p164)))))))) AND X (X (((p44 <= 0) OR (p49 <= 0)))))) : (G ((G (X (((1 <= p967) AND (1 <= p970)))) OR NOT(F (((1 <= p2021) AND (1 <= p2024)))))) OR G (((1 <= p2021) AND (1 <= p2024)))) : X (F (((F (((1 <= p1838) AND (1 <= p1840))) AND ((1 <= p975))) AND ((1 <= p979))))) : NOT(X ((G (((1 <= p776) AND (1 <= p784))) AND G ((F (((1 <= p776) AND (1 <= p784))) U ((p1863 <= 0) OR (p1867 <= 0))))))) : F (((F (X (G (X (((1 <= p927) AND (1 <= p929)))))) AND F (((1 <= p1524) AND (1 <= p1528)))) U X (((1 <= p1524) AND (1 <= p1528))))) : X ((((1 <= p1184) AND (1 <= p1185)) U ((p1561 <= 0) OR (p1565 <= 0)))) : F ((G ((F (((1 <= p487) AND (1 <= p489))) OR ((1 <= p21) AND (1 <= p25)))) OR ((1 <= p487) AND (1 <= p489)))) : (G (NOT(G (((1 <= p358) AND (1 <= p359))))) OR G (((1 <= p193) AND (1 <= p195))))
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 267 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X ((F (((1 <= p112))) AND (X (((p223 <= 0) OR (p226 <= 0))) OR ((p112 <= 0))))) R ((p223 <= 0) OR (p226 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (X ((F (((1 <= p112))) AND (X (((p223 <= 0) OR (p226 <= 0))) OR ((p112 <= 0))))) R ((p223 <= 0) OR (p226 <= 0)))
lola: processed formula length: 114
lola: 70 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 551 markings, 551 edges
lola: ========================================
lola: subprocess 1 will run for 289 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G ((F (((1 <= p576) AND (1 <= p581))) AND (X (G (((p268 <= 0) OR (p270 <= 0)))) OR ((1 <= p576) AND (1 <= p581))))) OR F ((G (((1 <= p1828) AND (1 <= p1837))) AND (((1 <= p1517)) AND ((1 <= p1521))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 289 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((G (((1 <= p1828) AND (1 <= p1837))) AND (((1 <= p1517)) AND ((1 <= p1521)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((G (((1 <= p1828) AND (1 <= p1837))) AND (((1 <= p1517)) AND ((1 <= p1521)))))
lola: processed formula length: 81
lola: 70 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 155 markings, 155 edges
lola: ========================================
lola: subprocess 2 will run for 316 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((F (((1 <= p576) AND (1 <= p581))) AND (X (G (((p268 <= 0) OR (p270 <= 0)))) OR ((1 <= p576) AND (1 <= p581)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F (((1 <= p576) AND (1 <= p581))) AND (X (G (((p268 <= 0) OR (p270 <= 0)))) OR ((1 <= p576) AND (1 <= p581)))))
lola: processed formula length: 116
lola: 70 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 561 markings, 561 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 2 will run for 316 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((G (F (((1 <= p615) AND (1 <= p623)))) AND X ((X (((1 <= p1894) AND (1 <= p1896))) OR ((1 <= p1894) AND (1 <= p1896))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((G (F (((1 <= p615) AND (1 <= p623)))) AND X ((X (((1 <= p1894) AND (1 <= p1896))) OR ((1 <= p1894) AND (1 <= p1896))))))
lola: processed formula length: 124
lola: 70 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 562 markings, 562 edges
lola: ========================================
lola: subprocess 3 will run for 347 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (X (F (((1 <= p1541) AND (1 <= p1573))))) OR G ((G (((1 <= p1231) AND (1 <= p1233))) AND (((1 <= p1231)) AND ((1 <= p1233))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 347 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((G (((1 <= p1231) AND (1 <= p1233))) AND (((1 <= p1231)) AND ((1 <= p1233)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((G (((1 <= p1231) AND (1 <= p1233))) AND (((1 <= p1231)) AND ((1 <= p1233)))))
lola: processed formula length: 81
lola: 70 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 154 markings, 154 edges
lola: ========================================
lola: subprocess 4 will run for 386 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (F (((1 <= p1541) AND (1 <= p1573)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (F (((1 <= p1541) AND (1 <= p1573)))))
lola: processed formula length: 43
lola: 70 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 562 markings, 562 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 4 will run for 386 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((F (G (((1 <= p162) AND (1 <= p164)))) AND X (X (((p44 <= 0) OR (p49 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F (G (((1 <= p162) AND (1 <= p164)))) AND X (X (((p44 <= 0) OR (p49 <= 0))))))
lola: processed formula length: 83
lola: 70 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 575 markings, 575 edges
lola: ========================================
lola: subprocess 5 will run for 434 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G ((X (G (((1 <= p967) AND (1 <= p970)))) OR G (((p2021 <= 0) OR (p2024 <= 0))))) OR G (((1 <= p2021) AND (1 <= p2024))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 434 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((1 <= p2021) AND (1 <= p2024)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((1 <= p2021) AND (1 <= p2024)))
lola: processed formula length: 35
lola: 70 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 154 markings, 154 edges
lola: ========================================
lola: subprocess 6 will run for 496 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((X (G (((1 <= p967) AND (1 <= p970)))) OR G (((p2021 <= 0) OR (p2024 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((X (G (((1 <= p967) AND (1 <= p970)))) OR G (((p2021 <= 0) OR (p2024 <= 0)))))
lola: processed formula length: 82
lola: 70 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 41326 markings, 282175 edges, 8265 markings/sec, 0 secs
lola: 74748 markings, 563929 edges, 6684 markings/sec, 5 secs
lola: 110715 markings, 846128 edges, 7193 markings/sec, 10 secs
lola: 146216 markings, 1124355 edges, 7100 markings/sec, 15 secs
lola: 176247 markings, 1388003 edges, 6006 markings/sec, 20 secs
lola: 214000 markings, 1664239 edges, 7551 markings/sec, 25 secs
lola: 250029 markings, 1937330 edges, 7206 markings/sec, 30 secs
lola: 279126 markings, 2213662 edges, 5819 markings/sec, 35 secs
lola: 310768 markings, 2492438 edges, 6328 markings/sec, 40 secs
lola: 336898 markings, 2770087 edges, 5226 markings/sec, 45 secs
lola: 361429 markings, 3047695 edges, 4906 markings/sec, 50 secs
lola: 384916 markings, 3327529 edges, 4697 markings/sec, 55 secs
lola: 412365 markings, 3604456 edges, 5490 markings/sec, 60 secs
lola: 439137 markings, 3880374 edges, 5354 markings/sec, 65 secs
lola: 462723 markings, 4156938 edges, 4717 markings/sec, 70 secs
lola: 488757 markings, 4435473 edges, 5207 markings/sec, 75 secs
lola: 526082 markings, 4704571 edges, 7465 markings/sec, 80 secs
lola: 558217 markings, 4973203 edges, 6427 markings/sec, 85 secs
lola: 592692 markings, 5243702 edges, 6895 markings/sec, 90 secs
lola: 627649 markings, 5513309 edges, 6991 markings/sec, 95 secs
lola: 658698 markings, 5785292 edges, 6210 markings/sec, 100 secs
lola: 691410 markings, 6066542 edges, 6542 markings/sec, 105 secs
lola: 716137 markings, 6324230 edges, 4945 markings/sec, 110 secs
lola: 740520 markings, 6598171 edges, 4877 markings/sec, 115 secs
lola: 762314 markings, 6873620 edges, 4359 markings/sec, 120 secs
lola: 790719 markings, 7147386 edges, 5681 markings/sec, 125 secs
lola: 816163 markings, 7419288 edges, 5089 markings/sec, 130 secs
lola: 840646 markings, 7692145 edges, 4897 markings/sec, 135 secs
lola: 863026 markings, 7966427 edges, 4476 markings/sec, 140 secs
lola: 897574 markings, 8237830 edges, 6910 markings/sec, 145 secs
lola: 933647 markings, 8513478 edges, 7215 markings/sec, 150 secs
lola: 964601 markings, 8791586 edges, 6191 markings/sec, 155 secs
lola: 992513 markings, 9070920 edges, 5582 markings/sec, 160 secs
lola: 1017728 markings, 9328666 edges, 5043 markings/sec, 165 secs
lola: 1041431 markings, 9603287 edges, 4741 markings/sec, 170 secs
lola: 1065392 markings, 9879981 edges, 4792 markings/sec, 175 secs
lola: 1092464 markings, 10153828 edges, 5414 markings/sec, 180 secs
lola: 1119075 markings, 10429555 edges, 5322 markings/sec, 185 secs
lola: 1141529 markings, 10708729 edges, 4491 markings/sec, 190 secs
lola: 1166435 markings, 10972607 edges, 4981 markings/sec, 195 secs
lola: 1193482 markings, 11246783 edges, 5409 markings/sec, 200 secs
lola: 1218750 markings, 11520863 edges, 5054 markings/sec, 205 secs
lola: 1240083 markings, 11796540 edges, 4267 markings/sec, 210 secs
lola: 1268377 markings, 12073178 edges, 5659 markings/sec, 215 secs
lola: 1295549 markings, 12352920 edges, 5434 markings/sec, 220 secs
lola: 1320487 markings, 12635451 edges, 4988 markings/sec, 225 secs
lola: 1343722 markings, 12920833 edges, 4647 markings/sec, 230 secs
lola: 1364251 markings, 13178430 edges, 4106 markings/sec, 235 secs
lola: 1381880 markings, 13455866 edges, 3526 markings/sec, 240 secs
lola: 1399882 markings, 13734959 edges, 3600 markings/sec, 245 secs
lola: 1417636 markings, 14020328 edges, 3551 markings/sec, 250 secs
lola: 1433262 markings, 14307134 edges, 3125 markings/sec, 255 secs
lola: 1456438 markings, 14594237 edges, 4635 markings/sec, 260 secs
lola: 1494031 markings, 14880118 edges, 7519 markings/sec, 265 secs
lola: 1525090 markings, 15166848 edges, 6212 markings/sec, 270 secs
lola: 1562408 markings, 15451894 edges, 7464 markings/sec, 275 secs
lola: 1592755 markings, 15736174 edges, 6069 markings/sec, 280 secs
lola: 1622181 markings, 16019419 edges, 5885 markings/sec, 285 secs
lola: 1650944 markings, 16303438 edges, 5753 markings/sec, 290 secs
lola: 1675102 markings, 16589236 edges, 4832 markings/sec, 295 secs
lola: 1706481 markings, 16874624 edges, 6276 markings/sec, 300 secs
lola: 1743883 markings, 17153374 edges, 7480 markings/sec, 305 secs
lola: 1775995 markings, 17432834 edges, 6422 markings/sec, 310 secs
lola: 1813495 markings, 17711352 edges, 7500 markings/sec, 315 secs
lola: 1849871 markings, 17987907 edges, 7275 markings/sec, 320 secs
lola: 1878615 markings, 18264566 edges, 5749 markings/sec, 325 secs
lola: 1917193 markings, 18542048 edges, 7716 markings/sec, 330 secs
lola: 1953746 markings, 18818947 edges, 7311 markings/sec, 335 secs
lola: 1984654 markings, 19096986 edges, 6182 markings/sec, 340 secs
lola: 2013148 markings, 19377048 edges, 5699 markings/sec, 345 secs
lola: 2040274 markings, 19656480 edges, 5425 markings/sec, 350 secs
lola: 2064068 markings, 19936460 edges, 4759 markings/sec, 355 secs
lola: 2088687 markings, 20216752 edges, 4924 markings/sec, 360 secs
lola: 2116483 markings, 20496564 edges, 5559 markings/sec, 365 secs
lola: 2142882 markings, 20775978 edges, 5280 markings/sec, 370 secs
lola: 2164575 markings, 21054541 edges, 4339 markings/sec, 375 secs
lola: 2198101 markings, 21333490 edges, 6705 markings/sec, 380 secs
lola: 2234027 markings, 21610117 edges, 7185 markings/sec, 385 secs
lola: 2262375 markings, 21886642 edges, 5670 markings/sec, 390 secs
lola: 2301927 markings, 22163912 edges, 7910 markings/sec, 395 secs
lola: 2338216 markings, 22439714 edges, 7258 markings/sec, 400 secs
lola: 2368703 markings, 22716344 edges, 6097 markings/sec, 405 secs
lola: 2397859 markings, 22994784 edges, 5831 markings/sec, 410 secs
lola: 2424095 markings, 23271900 edges, 5247 markings/sec, 415 secs
lola: 2448560 markings, 23550348 edges, 4893 markings/sec, 420 secs
lola: 2472488 markings, 23828674 edges, 4786 markings/sec, 425 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no no no unknown no unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no no unknown no unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1387652 KB
lola: time consumption: 526 seconds
lola: print data as JSON (--json)
lola: memory consumption: 1387652 KB
lola: time consumption: 526 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 434 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((F (((1 <= p1838) AND (1 <= p1840))) AND (((1 <= p975)) AND ((1 <= p979))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((F (((1 <= p1838) AND (1 <= p1840))) AND (((1 <= p975)) AND ((1 <= p979))))))
lola: processed formula length: 83
lola: 70 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 562 markings, 562 edges
lola: ========================================
lola: subprocess 7 will run for 507 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((((p776 <= 0) OR (p784 <= 0)) OR (G (((1 <= p1863) AND (1 <= p1867))) OR (G (((p776 <= 0) OR (p784 <= 0))) AND ((1 <= p1863) AND (1 <= p1867)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((((p776 <= 0) OR (p784 <= 0)) OR (G (((1 <= p1863) AND (1 <= p1867))) OR (G (((p776 <= 0) OR (p784 <= 0))) AND ((1 <= p1863) AND (1 <= p1867)))))))
lola: processed formula length: 155
lola: 70 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 8 will run for 608 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F (((1 <= p1524) AND (1 <= p1528))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F (((1 <= p1524) AND (1 <= p1528))))
lola: processed formula length: 39
lola: 70 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 562 markings, 562 edges
lola: ========================================
lola: subprocess 9 will run for 761 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((((1 <= p1184) AND (1 <= p1185)) U ((p1561 <= 0) OR (p1565 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((((1 <= p1184) AND (1 <= p1185)) U ((p1561 <= 0) OR (p1565 <= 0))))
lola: processed formula length: 71
lola: 70 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 10 will run for 1014 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((G ((F (((1 <= p487) AND (1 <= p489))) OR ((1 <= p21) AND (1 <= p25)))) OR ((1 <= p487) AND (1 <= p489))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((G ((F (((1 <= p487) AND (1 <= p489))) OR ((1 <= p21) AND (1 <= p25)))) OR ((1 <= p487) AND (1 <= p489))))
lola: processed formula length: 109
lola: 70 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 158 markings, 158 edges
lola: ========================================
lola: subprocess 11 will run for 1522 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G (F (((p358 <= 0) OR (p359 <= 0)))) OR G (((1 <= p193) AND (1 <= p195))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 1522 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((1 <= p193) AND (1 <= p195)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((1 <= p193) AND (1 <= p195)))
lola: processed formula length: 33
lola: 70 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 154 markings, 154 edges
lola: ========================================
lola: subprocess 12 will run for 3044 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((p358 <= 0) OR (p359 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((p358 <= 0) OR (p359 <= 0))))
lola: processed formula length: 37
lola: 70 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 75035 markings, 237350 edges, 15007 markings/sec, 0 secs
lola: 152480 markings, 491807 edges, 15489 markings/sec, 5 secs
lola: 227023 markings, 750422 edges, 14909 markings/sec, 10 secs
lola: 307477 markings, 1004906 edges, 16091 markings/sec, 15 secs
lola: 378525 markings, 1237963 edges, 14210 markings/sec, 20 secs
lola: 451393 markings, 1493808 edges, 14574 markings/sec, 25 secs
lola: 530513 markings, 1747272 edges, 15824 markings/sec, 30 secs
lola: 607024 markings, 1994393 edges, 15302 markings/sec, 35 secs
lola: 679258 markings, 2249281 edges, 14447 markings/sec, 40 secs
lola: 759389 markings, 2503671 edges, 16026 markings/sec, 45 secs
lola: 837552 markings, 2757660 edges, 15633 markings/sec, 50 secs
lola: 908599 markings, 3012887 edges, 14209 markings/sec, 55 secs
lola: 980800 markings, 3267541 edges, 14440 markings/sec, 60 secs
lola: 1047233 markings, 3522488 edges, 13287 markings/sec, 65 secs
lola: 1113598 markings, 3777596 edges, 13273 markings/sec, 70 secs
lola: 1175126 markings, 4032179 edges, 12306 markings/sec, 75 secs
lola: 1234556 markings, 4288533 edges, 11886 markings/sec, 80 secs
lola: 1293749 markings, 4545320 edges, 11839 markings/sec, 85 secs
lola: 1352880 markings, 4801949 edges, 11826 markings/sec, 90 secs
lola: 1407045 markings, 5060240 edges, 10833 markings/sec, 95 secs
lola: 1462518 markings, 5320968 edges, 11095 markings/sec, 100 secs
lola: 1514375 markings, 5581343 edges, 10371 markings/sec, 105 secs
lola: 1582335 markings, 5840219 edges, 13592 markings/sec, 110 secs
lola: 1661582 markings, 6094395 edges, 15849 markings/sec, 115 secs
lola: 1732570 markings, 6349779 edges, 14198 markings/sec, 120 secs
lola: 1813915 markings, 6606664 edges, 16269 markings/sec, 125 secs
lola: 1893174 markings, 6861581 edges, 15852 markings/sec, 130 secs
lola: 1964093 markings, 7117603 edges, 14184 markings/sec, 135 secs
lola: 2039548 markings, 7373863 edges, 15091 markings/sec, 140 secs
lola: 2105240 markings, 7629731 edges, 13138 markings/sec, 145 secs
lola: 2172757 markings, 7883971 edges, 13503 markings/sec, 150 secs
lola: 2233184 markings, 8139513 edges, 12085 markings/sec, 155 secs
lola: 2293780 markings, 8396217 edges, 12119 markings/sec, 160 secs
lola: 2353357 markings, 8653152 edges, 11915 markings/sec, 165 secs
lola: 2409414 markings, 8911692 edges, 11211 markings/sec, 170 secs
lola: 2464534 markings, 9171603 edges, 11024 markings/sec, 175 secs
lola: 2516461 markings, 9432515 edges, 10385 markings/sec, 180 secs
lola: 2587252 markings, 9692307 edges, 14158 markings/sec, 185 secs
lola: 2666185 markings, 9947342 edges, 15787 markings/sec, 190 secs
lola: 2737006 markings, 10203055 edges, 14164 markings/sec, 195 secs
lola: 2811324 markings, 10458497 edges, 14864 markings/sec, 200 secs
lola: 2877820 markings, 10713844 edges, 13299 markings/sec, 205 secs
lola: 2941005 markings, 10968084 edges, 12637 markings/sec, 210 secs
lola: 2999788 markings, 11225878 edges, 11757 markings/sec, 215 secs
lola: 3059713 markings, 11484282 edges, 11985 markings/sec, 220 secs
lola: 3115379 markings, 11743856 edges, 11133 markings/sec, 225 secs
lola: 3169627 markings, 12005661 edges, 10850 markings/sec, 230 secs
lola: 3224972 markings, 12268276 edges, 11069 markings/sec, 235 secs
lola: 3288159 markings, 12525259 edges, 12637 markings/sec, 240 secs
lola: 3351198 markings, 12781439 edges, 12608 markings/sec, 245 secs
lola: 3411100 markings, 13036673 edges, 11980 markings/sec, 250 secs
lola: 3469458 markings, 13294721 edges, 11672 markings/sec, 255 secs
lola: 3523781 markings, 13554407 edges, 10865 markings/sec, 260 secs
lola: 3580165 markings, 13815910 edges, 11277 markings/sec, 265 secs
lola: 3643909 markings, 14072978 edges, 12749 markings/sec, 270 secs
lola: 3707317 markings, 14329397 edges, 12682 markings/sec, 275 secs
lola: 3766331 markings, 14584921 edges, 11803 markings/sec, 280 secs
lola: 3824916 markings, 14844059 edges, 11717 markings/sec, 285 secs
lola: 3878859 markings, 15105231 edges, 10789 markings/sec, 290 secs
lola: 3946352 markings, 15366914 edges, 13499 markings/sec, 295 secs
lola: 4020518 markings, 15609035 edges, 14833 markings/sec, 300 secs
lola: 4092093 markings, 15867291 edges, 14315 markings/sec, 305 secs
lola: 4160111 markings, 16127348 edges, 13604 markings/sec, 310 secs
lola: 4226630 markings, 16382692 edges, 13304 markings/sec, 315 secs
lola: 4293543 markings, 16637136 edges, 13383 markings/sec, 320 secs
lola: 4355711 markings, 16895821 edges, 12434 markings/sec, 325 secs
lola: 4413497 markings, 17153784 edges, 11557 markings/sec, 330 secs
lola: 4468836 markings, 17414181 edges, 11068 markings/sec, 335 secs
lola: 4521100 markings, 17676427 edges, 10453 markings/sec, 340 secs
lola: 4588568 markings, 17934596 edges, 13494 markings/sec, 345 secs
lola: 4652146 markings, 18193328 edges, 12716 markings/sec, 350 secs
lola: 4709108 markings, 18452075 edges, 11392 markings/sec, 355 secs
lola: 4762799 markings, 18713594 edges, 10738 markings/sec, 360 secs
lola: 4823287 markings, 18974300 edges, 12098 markings/sec, 365 secs
lola: 4884418 markings, 19231711 edges, 12226 markings/sec, 370 secs
lola: 4937704 markings, 19491664 edges, 10657 markings/sec, 375 secs
lola: 4991284 markings, 19752020 edges, 10716 markings/sec, 380 secs
lola: 5043804 markings, 20010950 edges, 10504 markings/sec, 385 secs
lola: 5098629 markings, 20270541 edges, 10965 markings/sec, 390 secs
lola: 5149423 markings, 20531445 edges, 10159 markings/sec, 395 secs
lola: 5222866 markings, 20792928 edges, 14689 markings/sec, 400 secs
lola: 5305065 markings, 21053767 edges, 16440 markings/sec, 405 secs
lola: 5377764 markings, 21315235 edges, 14540 markings/sec, 410 secs
lola: 5460055 markings, 21575198 edges, 16458 markings/sec, 415 secs
lola: 5540227 markings, 21833105 edges, 16034 markings/sec, 420 secs
lola: 5611878 markings, 22091412 edges, 14330 markings/sec, 425 secs
lola: 5694202 markings, 22349847 edges, 16465 markings/sec, 430 secs
lola: 5773588 markings, 22606521 edges, 15877 markings/sec, 435 secs
lola: 5844988 markings, 22864009 edges, 14280 markings/sec, 440 secs
lola: 5927199 markings, 23121997 edges, 16442 markings/sec, 445 secs
lola: 6006555 markings, 23378528 edges, 15871 markings/sec, 450 secs
lola: 6077792 markings, 23635666 edges, 14247 markings/sec, 455 secs
lola: 6154274 markings, 23892941 edges, 15296 markings/sec, 460 secs
lola: 6219052 markings, 24153896 edges, 12956 markings/sec, 465 secs
lola: 6289383 markings, 24411518 edges, 14066 markings/sec, 470 secs
lola: 6355280 markings, 24669315 edges, 13179 markings/sec, 475 secs
lola: 6413851 markings, 24926930 edges, 11714 markings/sec, 480 secs
lola: 6474354 markings, 25180716 edges, 12101 markings/sec, 485 secs
lola: 6532558 markings, 25435316 edges, 11641 markings/sec, 490 secs
lola: 6587483 markings, 25691141 edges, 10985 markings/sec, 495 secs
lola: 6642965 markings, 25950681 edges, 11096 markings/sec, 500 secs
lola: 6695686 markings, 26212138 edges, 10544 markings/sec, 505 secs
lola: 6751185 markings, 26474128 edges, 11100 markings/sec, 510 secs
lola: 6831984 markings, 26731312 edges, 16160 markings/sec, 515 secs
lola: 6910053 markings, 26987257 edges, 15614 markings/sec, 520 secs
lola: 6984295 markings, 27245524 edges, 14848 markings/sec, 525 secs
lola: 7065136 markings, 27501536 edges, 16168 markings/sec, 530 secs
lola: 7141806 markings, 27755705 edges, 15334 markings/sec, 535 secs
lola: 7213696 markings, 28009881 edges, 14378 markings/sec, 540 secs
lola: 7282039 markings, 28263453 edges, 13669 markings/sec, 545 secs
lola: 7348829 markings, 28515966 edges, 13358 markings/sec, 550 secs
lola: 7412227 markings, 28767906 edges, 12680 markings/sec, 555 secs
lola: 7469598 markings, 29022253 edges, 11474 markings/sec, 560 secs
lola: 7529475 markings, 29276654 edges, 11975 markings/sec, 565 secs
lola: 7587747 markings, 29530182 edges, 11654 markings/sec, 570 secs
lola: 7641810 markings, 29786237 edges, 10813 markings/sec, 575 secs
lola: 7693908 markings, 30044883 edges, 10420 markings/sec, 580 secs
lola: 7749425 markings, 30304955 edges, 11103 markings/sec, 585 secs
lola: 7829300 markings, 30559811 edges, 15975 markings/sec, 590 secs
lola: 7907343 markings, 30814610 edges, 15609 markings/sec, 595 secs
lola: 7979555 markings, 31071545 edges, 14442 markings/sec, 600 secs
lola: 8046066 markings, 31328141 edges, 13302 markings/sec, 605 secs
lola: 8114747 markings, 31582243 edges, 13736 markings/sec, 610 secs
lola: 8173766 markings, 31839066 edges, 11804 markings/sec, 615 secs
lola: 8233651 markings, 32096783 edges, 11977 markings/sec, 620 secs
lola: 8292047 markings, 32353595 edges, 11679 markings/sec, 625 secs
lola: 8346573 markings, 32612704 edges, 10905 markings/sec, 630 secs
lola: 8397616 markings, 32873855 edges, 10209 markings/sec, 635 secs
lola: 8460739 markings, 33128582 edges, 12625 markings/sec, 640 secs
lola: 8522944 markings, 33380992 edges, 12441 markings/sec, 645 secs
lola: 8583232 markings, 33633419 edges, 12058 markings/sec, 650 secs
lola: 8639621 markings, 33886891 edges, 11278 markings/sec, 655 secs
lola: 8696703 markings, 34142553 edges, 11416 markings/sec, 660 secs
lola: 8747987 markings, 34400204 edges, 10257 markings/sec, 665 secs
lola: 8810535 markings, 34654872 edges, 12510 markings/sec, 670 secs
lola: 8872827 markings, 34907243 edges, 12458 markings/sec, 675 secs
lola: 8933220 markings, 35159181 edges, 12079 markings/sec, 680 secs
lola: 8989305 markings, 35411907 edges, 11217 markings/sec, 685 secs
lola: 9046317 markings, 35666690 edges, 11402 markings/sec, 690 secs
lola: 9097582 markings, 35923869 edges, 10253 markings/sec, 695 secs
lola: 9172517 markings, 36180340 edges, 14987 markings/sec, 700 secs
lola: 9250856 markings, 36437608 edges, 15668 markings/sec, 705 secs
lola: 9318709 markings, 36695661 edges, 13571 markings/sec, 710 secs
lola: 9386414 markings, 36952996 edges, 13541 markings/sec, 715 secs
lola: 9453482 markings, 37208404 edges, 13414 markings/sec, 720 secs
lola: 9518650 markings, 37462653 edges, 13034 markings/sec, 725 secs
lola: 9578573 markings, 37715961 edges, 11985 markings/sec, 730 secs
lola: 9633694 markings, 37971376 edges, 11024 markings/sec, 735 secs
lola: 9686247 markings, 38227278 edges, 10511 markings/sec, 740 secs
lola: 9742686 markings, 38483712 edges, 11288 markings/sec, 745 secs
lola: 9808923 markings, 38737425 edges, 13247 markings/sec, 750 secs
lola: 9870060 markings, 38991769 edges, 12227 markings/sec, 755 secs
lola: 9924123 markings, 39245800 edges, 10813 markings/sec, 760 secs
lola: 9975377 markings, 39502454 edges, 10251 markings/sec, 765 secs
lola: 10037818 markings, 39756587 edges, 12488 markings/sec, 770 secs
lola: 10095353 markings, 40009629 edges, 11507 markings/sec, 775 secs
lola: 10147363 markings, 40264842 edges, 10402 markings/sec, 780 secs
lola: 10200544 markings, 40519632 edges, 10636 markings/sec, 785 secs
lola: 10251149 markings, 40773380 edges, 10121 markings/sec, 790 secs
lola: 10305244 markings, 41026398 edges, 10819 markings/sec, 795 secs
lola: 10356487 markings, 41281573 edges, 10249 markings/sec, 800 secs
lola: 10429771 markings, 41539080 edges, 14657 markings/sec, 805 secs
lola: 10509635 markings, 41795863 edges, 15973 markings/sec, 810 secs
lola: 10581295 markings, 42054387 edges, 14332 markings/sec, 815 secs
lola: 10663122 markings, 42311501 edges, 16365 markings/sec, 820 secs
lola: 10742511 markings, 42566697 edges, 15878 markings/sec, 825 secs
lola: 10812855 markings, 42820966 edges, 14069 markings/sec, 830 secs
lola: 10894237 markings, 43076365 edges, 16276 markings/sec, 835 secs
lola: 10973249 markings, 43330751 edges, 15802 markings/sec, 840 secs
lola: 11043632 markings, 43584940 edges, 14077 markings/sec, 845 secs
lola: 11124813 markings, 43839611 edges, 16236 markings/sec, 850 secs
lola: 11203745 markings, 44094077 edges, 15786 markings/sec, 855 secs
lola: 11274421 markings, 44349225 edges, 14135 markings/sec, 860 secs
lola: 11350130 markings, 44604330 edges, 15142 markings/sec, 865 secs
lola: 11415153 markings, 44860419 edges, 13005 markings/sec, 870 secs
lola: 11483337 markings, 45111496 edges, 13637 markings/sec, 875 secs
lola: 11547736 markings, 45363802 edges, 12880 markings/sec, 880 secs
lola: 11606476 markings, 45618421 edges, 11748 markings/sec, 885 secs
lola: 11666877 markings, 45873323 edges, 12080 markings/sec, 890 secs
lola: 11725617 markings, 46128926 edges, 11748 markings/sec, 895 secs
lola: 11782109 markings, 46384697 edges, 11298 markings/sec, 900 secs
lola: 11836663 markings, 46642614 edges, 10911 markings/sec, 905 secs
lola: 11888742 markings, 46902983 edges, 10416 markings/sec, 910 secs
lola: 11939516 markings, 47164075 edges, 10155 markings/sec, 915 secs
lola: 12022340 markings, 47421263 edges, 16565 markings/sec, 920 secs
lola: 12100260 markings, 47678164 edges, 15584 markings/sec, 925 secs
lola: 12171764 markings, 47936223 edges, 14301 markings/sec, 930 secs
lola: 12254436 markings, 48191093 edges, 16534 markings/sec, 935 secs
lola: 12331593 markings, 48444315 edges, 15431 markings/sec, 940 secs
lola: 12402011 markings, 48698555 edges, 14084 markings/sec, 945 secs
lola: 12473175 markings, 48951399 edges, 14233 markings/sec, 950 secs
lola: 12539544 markings, 49203196 edges, 13274 markings/sec, 955 secs
lola: 12603342 markings, 49455744 edges, 12760 markings/sec, 960 secs
lola: 12662007 markings, 49712656 edges, 11733 markings/sec, 965 secs
lola: 12721944 markings, 49970292 edges, 11987 markings/sec, 970 secs
lola: 12781620 markings, 50227843 edges, 11935 markings/sec, 975 secs
lola: 12836506 markings, 50486467 edges, 10977 markings/sec, 980 secs
lola: 12890117 markings, 50747497 edges, 10722 markings/sec, 985 secs
lola: 12941181 markings, 51009047 edges, 10213 markings/sec, 990 secs
lola: 13023898 markings, 51265436 edges, 16543 markings/sec, 995 secs
lola: 13102190 markings, 51521420 edges, 15658 markings/sec, 1000 secs
lola: 13173327 markings, 51778183 edges, 14227 markings/sec, 1005 secs
lola: 13241815 markings, 52033231 edges, 13698 markings/sec, 1010 secs
lola: 13309318 markings, 52287592 edges, 13501 markings/sec, 1015 secs
lola: 13369391 markings, 52543645 edges, 12015 markings/sec, 1020 secs
lola: 13428587 markings, 52800669 edges, 11839 markings/sec, 1025 secs
lola: 13487918 markings, 53057576 edges, 11866 markings/sec, 1030 secs
lola: 13542093 markings, 53316613 edges, 10835 markings/sec, 1035 secs
lola: 13594202 markings, 53577326 edges, 10422 markings/sec, 1040 secs
lola: 13655772 markings, 53836470 edges, 12314 markings/sec, 1045 secs
lola: 13718995 markings, 54092122 edges, 12645 markings/sec, 1050 secs
lola: 13780579 markings, 54346276 edges, 12317 markings/sec, 1055 secs
lola: 13837133 markings, 54601611 edges, 11311 markings/sec, 1060 secs
lola: 13895246 markings, 54859223 edges, 11623 markings/sec, 1065 secs
lola: 13947370 markings, 55118859 edges, 10425 markings/sec, 1070 secs
lola: 14009682 markings, 55377400 edges, 12462 markings/sec, 1075 secs
lola: 14072834 markings, 55633260 edges, 12630 markings/sec, 1080 secs
lola: 14134392 markings, 55888619 edges, 12312 markings/sec, 1085 secs
lola: 14191270 markings, 56144699 edges, 11376 markings/sec, 1090 secs
lola: 14248956 markings, 56402974 edges, 11537 markings/sec, 1095 secs
lola: 14300650 markings, 56663995 edges, 10339 markings/sec, 1100 secs
lola: 14377261 markings, 56924039 edges, 15322 markings/sec, 1105 secs
lola: 14456837 markings, 57184276 edges, 15915 markings/sec, 1110 secs
lola: 14525106 markings, 57445159 edges, 13654 markings/sec, 1115 secs
lola: 14592875 markings, 57704849 edges, 13554 markings/sec, 1120 secs
lola: 14660905 markings, 57962909 edges, 13606 markings/sec, 1125 secs
lola: 14725937 markings, 58220760 edges, 13006 markings/sec, 1130 secs
lola: 14787848 markings, 58477797 edges, 12382 markings/sec, 1135 secs
lola: 14842473 markings, 58736437 edges, 10925 markings/sec, 1140 secs
lola: 14895368 markings, 58996451 edges, 10579 markings/sec, 1145 secs
lola: 14954432 markings, 59255607 edges, 11813 markings/sec, 1150 secs
lola: 15021797 markings, 59512483 edges, 13473 markings/sec, 1155 secs
lola: 15082400 markings, 59769203 edges, 12121 markings/sec, 1160 secs
lola: 15136556 markings, 60026430 edges, 10831 markings/sec, 1165 secs
lola: 15186565 markings, 60286166 edges, 10002 markings/sec, 1170 secs
lola: 15253136 markings, 60543125 edges, 13314 markings/sec, 1175 secs
lola: 15309271 markings, 60799824 edges, 11227 markings/sec, 1180 secs
lola: 15360798 markings, 61059395 edges, 10305 markings/sec, 1185 secs
lola: 15415841 markings, 61316045 edges, 11009 markings/sec, 1190 secs
lola: 15467076 markings, 61574449 edges, 10247 markings/sec, 1195 secs
lola: 15521362 markings, 61830110 edges, 10857 markings/sec, 1200 secs
lola: 15578449 markings, 62090320 edges, 11417 markings/sec, 1205 secs
lola: 15643100 markings, 62352449 edges, 12930 markings/sec, 1210 secs
lola: 15704724 markings, 62613958 edges, 12325 markings/sec, 1215 secs
lola: 15765472 markings, 62871176 edges, 12150 markings/sec, 1220 secs
lola: 15826049 markings, 63127527 edges, 12115 markings/sec, 1225 secs
lola: 15886713 markings, 63383521 edges, 12133 markings/sec, 1230 secs
lola: 15955285 markings, 63640785 edges, 13714 markings/sec, 1235 secs
lola: 16020899 markings, 63897686 edges, 13123 markings/sec, 1240 secs
lola: 16081787 markings, 64154714 edges, 12178 markings/sec, 1245 secs
lola: 16148415 markings, 64405655 edges, 13326 markings/sec, 1250 secs
lola: 16209996 markings, 64658977 edges, 12316 markings/sec, 1255 secs
lola: 16272534 markings, 64910867 edges, 12508 markings/sec, 1260 secs
lola: 16337450 markings, 65160809 edges, 12983 markings/sec, 1265 secs
lola: 16397493 markings, 65412834 edges, 12009 markings/sec, 1270 secs
lola: 16456635 markings, 65667782 edges, 11828 markings/sec, 1275 secs
lola: 16516288 markings, 65926463 edges, 11931 markings/sec, 1280 secs
lola: 16573182 markings, 66183761 edges, 11379 markings/sec, 1285 secs
lola: 16632133 markings, 66438169 edges, 11790 markings/sec, 1290 secs
lola: 16687923 markings, 66692417 edges, 11158 markings/sec, 1295 secs
lola: 16746569 markings, 66944441 edges, 11729 markings/sec, 1300 secs
lola: 16800640 markings, 67199759 edges, 10814 markings/sec, 1305 secs
lola: 16854624 markings, 67461989 edges, 10797 markings/sec, 1310 secs
lola: 16907538 markings, 67720884 edges, 10583 markings/sec, 1315 secs
lola: 16961269 markings, 67980866 edges, 10746 markings/sec, 1320 secs
lola: 17011485 markings, 68242025 edges, 10043 markings/sec, 1325 secs
lola: 17063762 markings, 68503592 edges, 10455 markings/sec, 1330 secs
lola: 17115816 markings, 68765394 edges, 10411 markings/sec, 1335 secs
lola: 17173187 markings, 69025713 edges, 11474 markings/sec, 1340 secs
lola: 17233738 markings, 69282080 edges, 12110 markings/sec, 1345 secs
lola: 17294013 markings, 69536830 edges, 12055 markings/sec, 1350 secs
lola: 17358337 markings, 69788302 edges, 12865 markings/sec, 1355 secs
lola: 17423393 markings, 70038988 edges, 13011 markings/sec, 1360 secs
lola: 17483638 markings, 70291492 edges, 12049 markings/sec, 1365 secs
lola: 17546958 markings, 70540992 edges, 12664 markings/sec, 1370 secs
lola: 17611173 markings, 70788932 edges, 12843 markings/sec, 1375 secs
lola: 17670494 markings, 71039383 edges, 11864 markings/sec, 1380 secs
lola: 17728691 markings, 71290877 edges, 11639 markings/sec, 1385 secs
lola: 17786958 markings, 71543909 edges, 11653 markings/sec, 1390 secs
lola: 17843024 markings, 71796556 edges, 11213 markings/sec, 1395 secs
lola: 17901097 markings, 72047796 edges, 11615 markings/sec, 1400 secs
lola: 17954202 markings, 72302474 edges, 10621 markings/sec, 1405 secs
lola: 18007193 markings, 72560411 edges, 10598 markings/sec, 1410 secs
lola: 18059547 markings, 72819221 edges, 10471 markings/sec, 1415 secs
lola: 18110425 markings, 73079218 edges, 10176 markings/sec, 1420 secs
lola: 18163544 markings, 73340099 edges, 10624 markings/sec, 1425 secs
lola: 18217956 markings, 73601140 edges, 10882 markings/sec, 1430 secs
lola: 18277601 markings, 73853959 edges, 11929 markings/sec, 1435 secs
lola: 18341412 markings, 74100467 edges, 12762 markings/sec, 1440 secs
lola: 18404893 markings, 74346389 edges, 12696 markings/sec, 1445 secs
lola: 18463454 markings, 74594086 edges, 11712 markings/sec, 1450 secs
lola: 18520873 markings, 74841723 edges, 11484 markings/sec, 1455 secs
lola: 18578012 markings, 75090116 edges, 11428 markings/sec, 1460 secs
lola: 18630434 markings, 75341424 edges, 10484 markings/sec, 1465 secs
lola: 18680819 markings, 75596950 edges, 10077 markings/sec, 1470 secs
lola: 18732031 markings, 75852004 edges, 10242 markings/sec, 1475 secs
lola: 18784669 markings, 76109818 edges, 10528 markings/sec, 1480 secs
lola: 18840613 markings, 76361319 edges, 11189 markings/sec, 1485 secs
lola: 18894712 markings, 76610413 edges, 10820 markings/sec, 1490 secs
lola: 18942452 markings, 76862781 edges, 9548 markings/sec, 1495 secs
lola: 18998443 markings, 77112787 edges, 11198 markings/sec, 1500 secs
lola: 19048018 markings, 77365915 edges, 9915 markings/sec, 1505 secs
lola: 19101143 markings, 77617574 edges, 10625 markings/sec, 1510 secs
lola: 19150150 markings, 77872217 edges, 9801 markings/sec, 1515 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no no no unknown no unknown no yes no yes no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no no unknown no unknown no yes no yes no unknown
lola: memory consumption: 11295824 KB
lola: time consumption: 2048 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 1522 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (G ((F (((1 <= p1444) AND (1 <= p1446))) AND ((((p89 <= 0) OR (p91 <= 0)) R ((p975 <= 0) OR (p976 <= 0))) OR ((1 <= p1444) AND (1 <= p1446)))))) OR G (((1 <= p1616) AND (1 <= p1620))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 1522 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((1 <= p1616) AND (1 <= p1620)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((1 <= p1616) AND (1 <= p1620)))
lola: processed formula length: 35
lola: 70 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 154 markings, 154 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (G ((X (G (((1 <= p967) AND (1 <= p970)))) OR G (((p2021 <= 0) OR (p2024 <= 0))))) OR G (((1 <= p2021) AND (1 <= p2024))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: G (((1 <= p2021) AND (1 <= p2024)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((1 <= p2021) AND (1 <= p2024)))
lola: processed formula length: 35
lola: 70 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 154 markings, 154 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: G ((X (G (((1 <= p967) AND (1 <= p970)))) OR G (((p2021 <= 0) OR (p2024 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((X (G (((1 <= p967) AND (1 <= p970)))) OR G (((p2021 <= 0) OR (p2024 <= 0)))))
lola: processed formula length: 82
lola: 70 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 41335 markings, 282277 edges, 8267 markings/sec, 0 secs
lola: 74845 markings, 564977 edges, 6702 markings/sec, 5 secs
lola: 110777 markings, 846605 edges, 7186 markings/sec, 10 secs
lola: 146307 markings, 1124713 edges, 7106 markings/sec, 15 secs
lola: 177390 markings, 1404101 edges, 6217 markings/sec, 20 secs
lola: 216113 markings, 1683304 edges, 7745 markings/sec, 25 secs
lola: 252598 markings, 1961123 edges, 7297 markings/sec, 30 secs
lola: 283211 markings, 2241855 edges, 6123 markings/sec, 35 secs
lola: 313363 markings, 2523177 edges, 6030 markings/sec, 40 secs
lola: 339800 markings, 2804498 edges, 5287 markings/sec, 45 secs
lola: 364788 markings, 3086402 edges, 4998 markings/sec, 50 secs
lola: 389188 markings, 3369906 edges, 4880 markings/sec, 55 secs
lola: 417067 markings, 3650950 edges, 5576 markings/sec, 60 secs
lola: 443969 markings, 3931561 edges, 5380 markings/sec, 65 secs
lola: 466347 markings, 4213619 edges, 4476 markings/sec, 70 secs
lola: 498654 markings, 4494159 edges, 6461 markings/sec, 75 secs
lola: 533921 markings, 4768516 edges, 7053 markings/sec, 80 secs
lola: 563881 markings, 5044455 edges, 5992 markings/sec, 85 secs
lola: 602574 markings, 5321380 edges, 7739 markings/sec, 90 secs
lola: 638761 markings, 5596689 edges, 7237 markings/sec, 95 secs
lola: 668891 markings, 5873714 edges, 6026 markings/sec, 100 secs
lola: 698934 markings, 6152030 edges, 6009 markings/sec, 105 secs
lola: 724913 markings, 6430330 edges, 5196 markings/sec, 110 secs
lola: 749961 markings, 6710030 edges, 5010 markings/sec, 115 secs
lola: 773483 markings, 6990281 edges, 4704 markings/sec, 120 secs
lola: 801070 markings, 7268305 edges, 5517 markings/sec, 125 secs
lola: 828316 markings, 7546133 edges, 5449 markings/sec, 130 secs
lola: 851092 markings, 7825718 edges, 4555 markings/sec, 135 secs
lola: 880489 markings, 8104934 edges, 5879 markings/sec, 140 secs
lola: 916871 markings, 8379618 edges, 7276 markings/sec, 145 secs
lola: 948337 markings, 8655328 edges, 6293 markings/sec, 150 secs
lola: 980695 markings, 8933459 edges, 6472 markings/sec, 155 secs
lola: 1007353 markings, 9212292 edges, 5332 markings/sec, 160 secs
lola: 1032046 markings, 9491432 edges, 4939 markings/sec, 165 secs
lola: 1054964 markings, 9772079 edges, 4584 markings/sec, 170 secs
lola: 1083201 markings, 10051595 edges, 5647 markings/sec, 175 secs
lola: 1109373 markings, 10329779 edges, 5234 markings/sec, 180 secs
lola: 1134027 markings, 10608511 edges, 4931 markings/sec, 185 secs
lola: 1157474 markings, 10888340 edges, 4689 markings/sec, 190 secs
lola: 1185163 markings, 11168363 edges, 5538 markings/sec, 195 secs
lola: 1212432 markings, 11448283 edges, 5454 markings/sec, 200 secs
lola: 1236077 markings, 11728312 edges, 4729 markings/sec, 205 secs
lola: 1261125 markings, 12009836 edges, 5010 markings/sec, 210 secs
lola: 1288907 markings, 12289656 edges, 5556 markings/sec, 215 secs
lola: 1314900 markings, 12568411 edges, 5199 markings/sec, 220 secs
lola: 1336629 markings, 12848639 edges, 4346 markings/sec, 225 secs
lola: 1360775 markings, 13129700 edges, 4829 markings/sec, 230 secs
lola: 1378701 markings, 13411132 edges, 3585 markings/sec, 235 secs
lola: 1397377 markings, 13692771 edges, 3735 markings/sec, 240 secs
lola: 1415116 markings, 13976098 edges, 3548 markings/sec, 245 secs
lola: 1431170 markings, 14259151 edges, 3211 markings/sec, 250 secs
lola: 1448469 markings, 14542574 edges, 3460 markings/sec, 255 secs
lola: 1487342 markings, 14823665 edges, 7775 markings/sec, 260 secs
lola: 1519265 markings, 15104640 edges, 6385 markings/sec, 265 secs
lola: 1554761 markings, 15386023 edges, 7099 markings/sec, 270 secs
lola: 1583804 markings, 15666485 edges, 5809 markings/sec, 275 secs
lola: 1614643 markings, 15945068 edges, 6168 markings/sec, 280 secs
lola: 1643598 markings, 16223846 edges, 5791 markings/sec, 285 secs
lola: 1669433 markings, 16504357 edges, 5167 markings/sec, 290 secs
lola: 1694474 markings, 16787055 edges, 5008 markings/sec, 295 secs
lola: 1732183 markings, 17061531 edges, 7542 markings/sec, 300 secs
lola: 1766066 markings, 17335625 edges, 6777 markings/sec, 305 secs
lola: 1797942 markings, 17610265 edges, 6375 markings/sec, 310 secs
lola: 1836217 markings, 17881968 edges, 7655 markings/sec, 315 secs
lola: 1868546 markings, 18153736 edges, 6466 markings/sec, 320 secs
lola: 1902941 markings, 18426966 edges, 6879 markings/sec, 325 secs
lola: 1938590 markings, 18700168 edges, 7130 markings/sec, 330 secs
lola: 1969784 markings, 18973411 edges, 6239 markings/sec, 335 secs
lola: 2001843 markings, 19248296 edges, 6412 markings/sec, 340 secs
lola: 2028264 markings, 19523962 edges, 5284 markings/sec, 345 secs
lola: 2052579 markings, 19799313 edges, 4863 markings/sec, 350 secs
lola: 2074832 markings, 20075720 edges, 4451 markings/sec, 355 secs
lola: 2103127 markings, 20350772 edges, 5659 markings/sec, 360 secs
lola: 2128910 markings, 20625488 edges, 5157 markings/sec, 365 secs
lola: 2153349 markings, 20900206 edges, 4888 markings/sec, 370 secs
lola: 2176114 markings, 21175421 edges, 4553 markings/sec, 375 secs
lola: 2212287 markings, 21448154 edges, 7235 markings/sec, 380 secs
lola: 2246759 markings, 21719970 edges, 6894 markings/sec, 385 secs
lola: 2277161 markings, 21993095 edges, 6080 markings/sec, 390 secs
lola: 2317046 markings, 22267408 edges, 7977 markings/sec, 395 secs
lola: 2349479 markings, 22540442 edges, 6487 markings/sec, 400 secs
lola: 2380203 markings, 22814884 edges, 6145 markings/sec, 405 secs
lola: 2407190 markings, 23088652 edges, 5397 markings/sec, 410 secs
lola: 2432708 markings, 23362302 edges, 5104 markings/sec, 415 secs
lola: 2454139 markings, 23636776 edges, 4286 markings/sec, 420 secs
lola: 2481666 markings, 23911994 edges, 5505 markings/sec, 425 secs
lola: 2508549 markings, 24185156 edges, 5377 markings/sec, 430 secs
lola: 2532990 markings, 24457925 edges, 4888 markings/sec, 435 secs
lola: 2554267 markings, 24732378 edges, 4255 markings/sec, 440 secs
lola: 2588238 markings, 25006695 edges, 6794 markings/sec, 445 secs
lola: 2624448 markings, 25279311 edges, 7242 markings/sec, 450 secs
lola: 2653108 markings, 25552509 edges, 5732 markings/sec, 455 secs
lola: 2684200 markings, 25827285 edges, 6218 markings/sec, 460 secs
lola: 2710149 markings, 26102261 edges, 5190 markings/sec, 465 secs
lola: 2734469 markings, 26377649 edges, 4864 markings/sec, 470 secs
lola: 2757602 markings, 26653189 edges, 4627 markings/sec, 475 secs
lola: 2785038 markings, 26929138 edges, 5487 markings/sec, 480 secs
lola: 2811452 markings, 27204189 edges, 5283 markings/sec, 485 secs
lola: 2835270 markings, 27479699 edges, 4764 markings/sec, 490 secs
lola: 2859103 markings, 27755406 edges, 4767 markings/sec, 495 secs
lola: 2886299 markings, 28030574 edges, 5439 markings/sec, 500 secs
lola: 2912929 markings, 28306340 edges, 5326 markings/sec, 505 secs
lola: 2935275 markings, 28583244 edges, 4469 markings/sec, 510 secs
lola: 2961672 markings, 28861151 edges, 5279 markings/sec, 515 secs
lola: 2989165 markings, 29139038 edges, 5499 markings/sec, 520 secs
lola: 3014311 markings, 29416193 edges, 5029 markings/sec, 525 secs
lola: 3035359 markings, 29694133 edges, 4210 markings/sec, 530 secs
lola: 3059326 markings, 29972357 edges, 4793 markings/sec, 535 secs
lola: 3076890 markings, 30250315 edges, 3513 markings/sec, 540 secs
lola: 3095372 markings, 30528126 edges, 3696 markings/sec, 545 secs
lola: 3112818 markings, 30806640 edges, 3489 markings/sec, 550 secs
lola: 3128564 markings, 31085484 edges, 3149 markings/sec, 555 secs
lola: 3145539 markings, 31363633 edges, 3395 markings/sec, 560 secs
lola: 3183908 markings, 31640424 edges, 7674 markings/sec, 565 secs
lola: 3215792 markings, 31918354 edges, 6377 markings/sec, 570 secs
lola: 3249656 markings, 32195876 edges, 6773 markings/sec, 575 secs
lola: 3277932 markings, 32472927 edges, 5655 markings/sec, 580 secs
lola: 3309815 markings, 32747770 edges, 6377 markings/sec, 585 secs
lola: 3338478 markings, 33024266 edges, 5733 markings/sec, 590 secs
lola: 3364577 markings, 33302162 edges, 5220 markings/sec, 595 secs
lola: 3388712 markings, 33581600 edges, 4827 markings/sec, 600 secs
lola: 3424674 markings, 33856288 edges, 7192 markings/sec, 605 secs
lola: 3459700 markings, 34129144 edges, 7005 markings/sec, 610 secs
lola: 3490314 markings, 34403381 edges, 6123 markings/sec, 615 secs
lola: 3529792 markings, 34675579 edges, 7896 markings/sec, 620 secs
lola: 3562070 markings, 34947224 edges, 6456 markings/sec, 625 secs
lola: 3595011 markings, 35220548 edges, 6588 markings/sec, 630 secs
lola: 3632131 markings, 35492230 edges, 7424 markings/sec, 635 secs
lola: 3664768 markings, 35767623 edges, 6527 markings/sec, 640 secs
lola: 3695790 markings, 36044978 edges, 6204 markings/sec, 645 secs
lola: 3723343 markings, 36323575 edges, 5511 markings/sec, 650 secs
lola: 3748224 markings, 36601966 edges, 4976 markings/sec, 655 secs
lola: 3769975 markings, 36879035 edges, 4350 markings/sec, 660 secs
lola: 3798915 markings, 37157459 edges, 5788 markings/sec, 665 secs
lola: 3824898 markings, 37435795 edges, 5197 markings/sec, 670 secs
lola: 3849758 markings, 37713811 edges, 4972 markings/sec, 675 secs
lola: 3872814 markings, 37993177 edges, 4611 markings/sec, 680 secs
lola: 3909139 markings, 38269447 edges, 7265 markings/sec, 685 secs
lola: 3944002 markings, 38544098 edges, 6973 markings/sec, 690 secs
lola: 3974813 markings, 38819528 edges, 6162 markings/sec, 695 secs
lola: 4014804 markings, 39095187 edges, 7998 markings/sec, 700 secs
lola: 4047353 markings, 39369839 edges, 6510 markings/sec, 705 secs
lola: 4078295 markings, 39646691 edges, 6188 markings/sec, 710 secs
lola: 4105835 markings, 39924389 edges, 5508 markings/sec, 715 secs
lola: 4131233 markings, 40202007 edges, 5080 markings/sec, 720 secs
lola: 4152480 markings, 40480151 edges, 4249 markings/sec, 725 secs
lola: 4181602 markings, 40758610 edges, 5824 markings/sec, 730 secs
lola: 4208257 markings, 41036075 edges, 5331 markings/sec, 735 secs
lola: 4232704 markings, 41313122 edges, 4889 markings/sec, 740 secs
lola: 4255189 markings, 41591194 edges, 4497 markings/sec, 745 secs
lola: 4289887 markings, 41868259 edges, 6940 markings/sec, 750 secs
lola: 4326217 markings, 42143877 edges, 7266 markings/sec, 755 secs
lola: 4357029 markings, 42421252 edges, 6162 markings/sec, 760 secs
lola: 4385684 markings, 42700075 edges, 5731 markings/sec, 765 secs
lola: 4412368 markings, 42978124 edges, 5337 markings/sec, 770 secs
lola: 4436149 markings, 43253931 edges, 4756 markings/sec, 775 secs
lola: 4460040 markings, 43529485 edges, 4778 markings/sec, 780 secs
lola: 4487330 markings, 43805484 edges, 5458 markings/sec, 785 secs
lola: 4513953 markings, 44081215 edges, 5325 markings/sec, 790 secs
lola: 4536139 markings, 44357393 edges, 4437 markings/sec, 795 secs
lola: 4562457 markings, 44633681 edges, 5264 markings/sec, 800 secs
lola: 4589746 markings, 44909639 edges, 5458 markings/sec, 805 secs
lola: 4614809 markings, 45185325 edges, 5013 markings/sec, 810 secs
lola: 4635629 markings, 45461408 edges, 4164 markings/sec, 815 secs
lola: 4664932 markings, 45739208 edges, 5861 markings/sec, 820 secs
lola: 4691391 markings, 46016047 edges, 5292 markings/sec, 825 secs
lola: 4715735 markings, 46291277 edges, 4869 markings/sec, 830 secs
lola: 4738158 markings, 46568201 edges, 4485 markings/sec, 835 secs
lola: 4760288 markings, 46846733 edges, 4426 markings/sec, 840 secs
lola: 4777895 markings, 47124825 edges, 3521 markings/sec, 845 secs
lola: 4795466 markings, 47402194 edges, 3514 markings/sec, 850 secs
lola: 4812952 markings, 47680322 edges, 3497 markings/sec, 855 secs
lola: 4828005 markings, 47959194 edges, 3011 markings/sec, 860 secs
lola: 4849909 markings, 48237147 edges, 4381 markings/sec, 865 secs
lola: 4886615 markings, 48514210 edges, 7341 markings/sec, 870 secs
lola: 4916520 markings, 48792963 edges, 5981 markings/sec, 875 secs
lola: 4953565 markings, 49069770 edges, 7409 markings/sec, 880 secs
lola: 4982214 markings, 49346236 edges, 5730 markings/sec, 885 secs
lola: 5011717 markings, 49621651 edges, 5901 markings/sec, 890 secs
lola: 5040617 markings, 49898414 edges, 5780 markings/sec, 895 secs
lola: 5065771 markings, 50176750 edges, 5031 markings/sec, 900 secs
lola: 5090833 markings, 50455802 edges, 5012 markings/sec, 905 secs
lola: 5118558 markings, 50734569 edges, 5545 markings/sec, 910 secs
lola: 5145752 markings, 51013372 edges, 5439 markings/sec, 915 secs
lola: 5169251 markings, 51291567 edges, 4700 markings/sec, 920 secs
lola: 5193626 markings, 51568066 edges, 4875 markings/sec, 925 secs
lola: 5220842 markings, 51842893 edges, 5443 markings/sec, 930 secs
lola: 5246842 markings, 52114736 edges, 5200 markings/sec, 935 secs
lola: 5268106 markings, 52381424 edges, 4253 markings/sec, 940 secs
lola: 5292697 markings, 52641226 edges, 4918 markings/sec, 945 secs
lola: 5319672 markings, 52914214 edges, 5395 markings/sec, 950 secs
lola: 5344639 markings, 53183748 edges, 4993 markings/sec, 955 secs
lola: 5365717 markings, 53451876 edges, 4216 markings/sec, 960 secs
lola: 5389708 markings, 53719221 edges, 4798 markings/sec, 965 secs
lola: 5410050 markings, 53995421 edges, 4068 markings/sec, 970 secs
lola: 5430431 markings, 54269931 edges, 4076 markings/sec, 975 secs
lola: 5450289 markings, 54547103 edges, 3972 markings/sec, 980 secs
lola: 5467665 markings, 54823361 edges, 3475 markings/sec, 985 secs
lola: 5489360 markings, 55100259 edges, 4339 markings/sec, 990 secs
lola: 5509323 markings, 55368718 edges, 3993 markings/sec, 995 secs
lola: 5528915 markings, 55635317 edges, 3918 markings/sec, 1000 secs
lola: 5547859 markings, 55904445 edges, 3789 markings/sec, 1005 secs
lola: 5565566 markings, 56183205 edges, 3541 markings/sec, 1010 secs
lola: 5591807 markings, 56463268 edges, 5248 markings/sec, 1015 secs
lola: 5617868 markings, 56740326 edges, 5212 markings/sec, 1020 secs
lola: 5642561 markings, 57017361 edges, 4939 markings/sec, 1025 secs
lola: 5665126 markings, 57293874 edges, 4513 markings/sec, 1030 secs
lola: 5693059 markings, 57572115 edges, 5587 markings/sec, 1035 secs
lola: 5719250 markings, 57849367 edges, 5238 markings/sec, 1040 secs
lola: 5743874 markings, 58126268 edges, 4925 markings/sec, 1045 secs
lola: 5767018 markings, 58404466 edges, 4629 markings/sec, 1050 secs
lola: 5789332 markings, 58683572 edges, 4463 markings/sec, 1055 secs
lola: 5810250 markings, 58960782 edges, 4184 markings/sec, 1060 secs
lola: 5829828 markings, 59236759 edges, 3916 markings/sec, 1065 secs
lola: 5847499 markings, 59513016 edges, 3534 markings/sec, 1070 secs
lola: 5867241 markings, 59787486 edges, 3948 markings/sec, 1075 secs
lola: 5888559 markings, 60063674 edges, 4264 markings/sec, 1080 secs
lola: 5908733 markings, 60333228 edges, 4035 markings/sec, 1085 secs
lola: 5928316 markings, 60606872 edges, 3917 markings/sec, 1090 secs
lola: 5945305 markings, 60880314 edges, 3398 markings/sec, 1095 secs
lola: 5967418 markings, 61156721 edges, 4423 markings/sec, 1100 secs
lola: 5994942 markings, 61434398 edges, 5505 markings/sec, 1105 secs
lola: 6020724 markings, 61712478 edges, 5156 markings/sec, 1110 secs
lola: 6042392 markings, 61991582 edges, 4334 markings/sec, 1115 secs
lola: 6067813 markings, 62271940 edges, 5084 markings/sec, 1120 secs
lola: 6088654 markings, 62551888 edges, 4168 markings/sec, 1125 secs
lola: 6109309 markings, 62830702 edges, 4131 markings/sec, 1130 secs
lola: 6128497 markings, 63109148 edges, 3838 markings/sec, 1135 secs
lola: 6146657 markings, 63386874 edges, 3632 markings/sec, 1140 secs
lola: 6168969 markings, 63667956 edges, 4462 markings/sec, 1145 secs
lola: 6189798 markings, 63948643 edges, 4166 markings/sec, 1150 secs
lola: 6209834 markings, 64222936 edges, 4007 markings/sec, 1155 secs
lola: 6227824 markings, 64489881 edges, 3598 markings/sec, 1160 secs
lola: 6244683 markings, 64749016 edges, 3372 markings/sec, 1165 secs
lola: 6264918 markings, 65003059 edges, 4047 markings/sec, 1170 secs
lola: 6284081 markings, 65265631 edges, 3833 markings/sec, 1175 secs
lola: 6304783 markings, 65544749 edges, 4140 markings/sec, 1180 secs
lola: 6323821 markings, 65824584 edges, 3808 markings/sec, 1185 secs
lola: 6342451 markings, 66106287 edges, 3726 markings/sec, 1190 secs
lola: 6364126 markings, 66378539 edges, 4335 markings/sec, 1195 secs
lola: 6384757 markings, 66655726 edges, 4126 markings/sec, 1200 secs
lola: 6404897 markings, 66935071 edges, 4028 markings/sec, 1205 secs
lola: 6423248 markings, 67210866 edges, 3670 markings/sec, 1210 secs
lola: 6440910 markings, 67474634 edges, 3532 markings/sec, 1215 secs
lola: 6457926 markings, 67753443 edges, 3403 markings/sec, 1220 secs
lola: 6472735 markings, 68036877 edges, 2962 markings/sec, 1225 secs
lola: 6488179 markings, 68316243 edges, 3089 markings/sec, 1230 secs
lola: 6502601 markings, 68585711 edges, 2884 markings/sec, 1235 secs
lola: 6516195 markings, 68856484 edges, 2719 markings/sec, 1240 secs
lola: 6528613 markings, 69123727 edges, 2484 markings/sec, 1245 secs
lola: 6544542 markings, 69381909 edges, 3186 markings/sec, 1250 secs
lola: 6571953 markings, 69658272 edges, 5482 markings/sec, 1255 secs
lola: 6597291 markings, 69937715 edges, 5068 markings/sec, 1260 secs
lola: 6618540 markings, 70206542 edges, 4250 markings/sec, 1265 secs
lola: 6644911 markings, 70484163 edges, 5274 markings/sec, 1270 secs
lola: 6666905 markings, 70757625 edges, 4399 markings/sec, 1275 secs
lola: 6690429 markings, 71026982 edges, 4705 markings/sec, 1280 secs
lola: 6710010 markings, 71287913 edges, 3916 markings/sec, 1285 secs
lola: 6732909 markings, 71570734 edges, 4580 markings/sec, 1290 secs
lola: 6753984 markings, 71854503 edges, 4215 markings/sec, 1295 secs
lola: 6770789 markings, 72138647 edges, 3361 markings/sec, 1300 secs
lola: 6795941 markings, 72422042 edges, 5030 markings/sec, 1305 secs
lola: 6823668 markings, 72701317 edges, 5545 markings/sec, 1310 secs
lola: 6849470 markings, 72980885 edges, 5160 markings/sec, 1315 secs
lola: 6870927 markings, 73260342 edges, 4291 markings/sec, 1320 secs
lola: 6900105 markings, 73541697 edges, 5836 markings/sec, 1325 secs
lola: 6926862 markings, 73818997 edges, 5351 markings/sec, 1330 secs
lola: 6951260 markings, 74095897 edges, 4880 markings/sec, 1335 secs
lola: 6973310 markings, 74370623 edges, 4410 markings/sec, 1340 secs
lola: 7002016 markings, 74649559 edges, 5741 markings/sec, 1345 secs
lola: 7028016 markings, 74927038 edges, 5200 markings/sec, 1350 secs
lola: 7052684 markings, 75204763 edges, 4934 markings/sec, 1355 secs
lola: 7075965 markings, 75483527 edges, 4656 markings/sec, 1360 secs
lola: 7098900 markings, 75763582 edges, 4587 markings/sec, 1365 secs
lola: 7119857 markings, 76043346 edges, 4191 markings/sec, 1370 secs
lola: 7139591 markings, 76323509 edges, 3947 markings/sec, 1375 secs
lola: 7157805 markings, 76602593 edges, 3643 markings/sec, 1380 secs
lola: 7177456 markings, 76883032 edges, 3930 markings/sec, 1385 secs
lola: 7199244 markings, 77162875 edges, 4358 markings/sec, 1390 secs
lola: 7220133 markings, 77442318 edges, 4178 markings/sec, 1395 secs
lola: 7240043 markings, 77722145 edges, 3982 markings/sec, 1400 secs
lola: 7257152 markings, 78002598 edges, 3422 markings/sec, 1405 secs
lola: 7281133 markings, 78283757 edges, 4796 markings/sec, 1410 secs
lola: 7308856 markings, 78563820 edges, 5545 markings/sec, 1415 secs
lola: 7333638 markings, 78836833 edges, 4956 markings/sec, 1420 secs
lola: 7354020 markings, 79106268 edges, 4076 markings/sec, 1425 secs
lola: 7382159 markings, 79376012 edges, 5628 markings/sec, 1430 secs
lola: 7408207 markings, 79643857 edges, 5210 markings/sec, 1435 secs
lola: 7432050 markings, 79911272 edges, 4769 markings/sec, 1440 secs
lola: 7452499 markings, 80178753 edges, 4090 markings/sec, 1445 secs
lola: 7476933 markings, 80447659 edges, 4887 markings/sec, 1450 secs
lola: 7496925 markings, 80717423 edges, 3998 markings/sec, 1455 secs
lola: 7516834 markings, 80986980 edges, 3982 markings/sec, 1460 secs
lola: 7535580 markings, 81256956 edges, 3749 markings/sec, 1465 secs
lola: 7552975 markings, 81528726 edges, 3479 markings/sec, 1470 secs
lola: 7574398 markings, 81799380 edges, 4285 markings/sec, 1475 secs
lola: 7594172 markings, 82069756 edges, 3955 markings/sec, 1480 secs
lola: 7614337 markings, 82340247 edges, 4033 markings/sec, 1485 secs
lola: 7632883 markings, 82611131 edges, 3709 markings/sec, 1490 secs
lola: 7650759 markings, 82885103 edges, 3575 markings/sec, 1495 secs
lola: 7677325 markings, 83167615 edges, 5313 markings/sec, 1500 secs
lola: 7703502 markings, 83447164 edges, 5235 markings/sec, 1505 secs
lola: 7728247 markings, 83725742 edges, 4949 markings/sec, 1510 secs
lola: 7750989 markings, 84000148 edges, 4548 markings/sec, 1515 secs
lola: time limit reached - aborting
lola:
preliminary result: no no no no unknown no unknown no yes no yes no unknown
lola:
preliminary result: no no no no unknown no unknown no yes no yes no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no no unknown no unknown no yes no yes no unknown
lola: memory consumption: 4224600 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no no unknown no unknown no yes no yes no unknown
lola: memory consumption: 4224600 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: memory consumption: 4224816 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.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="ViralEpidemic-PT-S04D1C1A04"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="gold2020"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool gold2020"
echo " Input is ViralEpidemic-PT-S04D1C1A04, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r284-smll-162123894500146"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ViralEpidemic-PT-S04D1C1A04.tgz
mv ViralEpidemic-PT-S04D1C1A04 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;