About the Execution of 2020-gold for DiscoveryGPU-PT-12a
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
16238.655 | 3600000.00 | 3591554.00 | 11376.40 | FFF?FFFFFT?FFFTT | 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.r094-tall-162048902400166.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2020
Input is DiscoveryGPU-PT-12a, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r094-tall-162048902400166
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 396K
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 99K May 10 09:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 99K May 10 09:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.6K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Mar 28 16:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 28 16:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Mar 28 16:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 23 10:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 23 10:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 22 18:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 22 18:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 09:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 09:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 4 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 43K May 5 16:51 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 DiscoveryGPU-PT-12a-00
FORMULA_NAME DiscoveryGPU-PT-12a-01
FORMULA_NAME DiscoveryGPU-PT-12a-02
FORMULA_NAME DiscoveryGPU-PT-12a-03
FORMULA_NAME DiscoveryGPU-PT-12a-04
FORMULA_NAME DiscoveryGPU-PT-12a-05
FORMULA_NAME DiscoveryGPU-PT-12a-06
FORMULA_NAME DiscoveryGPU-PT-12a-07
FORMULA_NAME DiscoveryGPU-PT-12a-08
FORMULA_NAME DiscoveryGPU-PT-12a-09
FORMULA_NAME DiscoveryGPU-PT-12a-10
FORMULA_NAME DiscoveryGPU-PT-12a-11
FORMULA_NAME DiscoveryGPU-PT-12a-12
FORMULA_NAME DiscoveryGPU-PT-12a-13
FORMULA_NAME DiscoveryGPU-PT-12a-14
FORMULA_NAME DiscoveryGPU-PT-12a-15
=== Now, execution of the tool begins
BK_START 1620740052214
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-11 13:34:13] [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-11 13:34:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-11 13:34:13] [INFO ] Load time of PNML (sax parser for PT used): 51 ms
[2021-05-11 13:34:13] [INFO ] Transformed 123 places.
[2021-05-11 13:34:13] [INFO ] Transformed 169 transitions.
[2021-05-11 13:34:13] [INFO ] Found NUPN structural information;
[2021-05-11 13:34:13] [INFO ] Parsed PT model containing 123 places and 169 transitions in 88 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 17 ms.
Working with output stream class java.io.PrintStream
Finished random walk after 1407 steps, including 11 resets, run visited all 45 properties in 16 ms. (steps per millisecond=87 )
[2021-05-11 13:34:14] [INFO ] Initial state reduction rules for CTL removed 6 formulas.
[2021-05-11 13:34:14] [INFO ] Flatten gal took : 43 ms
FORMULA DiscoveryGPU-PT-12a-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DiscoveryGPU-PT-12a-14 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DiscoveryGPU-PT-12a-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DiscoveryGPU-PT-12a-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DiscoveryGPU-PT-12a-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DiscoveryGPU-PT-12a-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-11 13:34:14] [INFO ] Applying decomposition
[2021-05-11 13:34:14] [INFO ] Flatten gal took : 17 ms
[2021-05-11 13:34:14] [INFO ] Decomposing Gal with order
[2021-05-11 13:34:14] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-11 13:34:14] [INFO ] Removed a total of 106 redundant transitions.
[2021-05-11 13:34:14] [INFO ] Flatten gal took : 40 ms
[2021-05-11 13:34:14] [INFO ] Fuse similar labels procedure discarded/fused a total of 108 labels/synchronizations in 7 ms.
[2021-05-11 13:34:14] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 3 ms.
[2021-05-11 13:34:14] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 4 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ DiscoveryGPU-PT-12a @ 3570 seconds
FORMULA DiscoveryGPU-PT-12a-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DiscoveryGPU-PT-12a-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DiscoveryGPU-PT-12a-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DiscoveryGPU-PT-12a-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DiscoveryGPU-PT-12a-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DiscoveryGPU-PT-12a-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DiscoveryGPU-PT-12a-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DiscoveryGPU-PT-12a-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ DiscoveryGPU-PT-12a
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Tue May 11 13:34:15 2021
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 356
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 356
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((p45 <= 0) OR (p121 <= 0))",
"processed_size": 28,
"rewrites": 77
},
"result":
{
"edges": 4,
"markings": 4,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 74
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 396
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "X (G (((p73 <= 0))))",
"processed_size": 20,
"rewrites": 75
},
"result":
{
"edges": 329,
"markings": 167,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 0,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 396
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "X ((G (((1 <= p74) AND (1 <= p122))) AND F (((1 <= p83) AND (1 <= p122)))))",
"processed_size": 75,
"rewrites": 75
},
"result":
{
"edges": 62,
"markings": 62,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 453
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 2,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "X (X (G (((1 <= p18)))))",
"processed_size": 24,
"rewrites": 75
},
"result":
{
"edges": 62,
"markings": 62,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 528
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 0,
"U": 0,
"X": 1,
"aconj": 3,
"adisj": 0,
"aneg": 0,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 0,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "X (F ((F (((1 <= p35) AND (1 <= p121))) OR (((1 <= p116)) OR ((1 <= p55) AND (1 <= p121))))))",
"processed_size": 93,
"rewrites": 75
},
"result":
{
"edges": 62,
"markings": 62,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 634
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 634
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "((p86 <= 0))",
"processed_size": 12,
"rewrites": 75
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 5,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 793
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 3,
"aconj": 1,
"adisj": 1,
"aneg": 1,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "X (X ((X (G (((1 <= p82) AND (1 <= p121)))) AND F (((1 <= p18))))))",
"processed_size": 67,
"rewrites": 75
},
"result":
{
"edges": 93,
"markings": 91,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 5,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 792
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "((p101 <= 0))",
"processed_size": 13,
"rewrites": 77
},
"result":
{
"edges": 14,
"markings": 14,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 2
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1189
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 4,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 1,
"aneg": 0,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "G (F ((G ((G (((1 <= p1))) AND ((p48 <= 0) OR (p122 <= 0)))) OR G (((1 <= p54) AND (1 <= p122))))))",
"processed_size": 100,
"rewrites": 75
},
"result":
{
"edges": 88,
"markings": 88,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 8
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2378
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 2,
"U": 1,
"X": 0,
"aconj": 3,
"adisj": 0,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "G (F (((((1 <= p64) AND (1 <= p122)) U ((1 <= p2) AND (1 <= p121))) OR G (((1 <= p64) AND (1 <= p122))))))",
"processed_size": 106,
"rewrites": 75
},
"result":
{
"edges": 62,
"markings": 62,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"error": null,
"memory": 1736,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "G(F((G((G(**) AND **)) OR G(**)))) : G(F(((** U **) OR G(**)))) : (X(G(*)) OR F(**)) : X(F((G(F(**)) AND X(G(*))))) : X((G(**) AND F(**))) : X(X(G(**))) : X(F((F(**) OR (** OR **)))) : (X(X((X(G(**)) AND F(*)))) AND **) : X(F((G(*) OR (* AND ((* AND (F(*) OR G(*))) R *))))) : F(**)"
},
"net":
{
"arcs": 543,
"conflict_clusters": 15,
"places": 123,
"places_significant": 121,
"singleton_clusters": 0,
"transitions": 169
},
"result":
{
"interim_value": "no no no unknown no no no no unknown no ",
"preliminary_value": "no no no unknown no no no no unknown no "
},
"task":
{
"type": "compound"
}
}
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: 292/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 123
lola: finding significant places
lola: 123 places, 169 transitions, 121 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: (p1 <= 1)
lola: LP says that atomic proposition is always true: (p48 <= 1)
lola: LP says that atomic proposition is always true: (p122 <= 1)
lola: LP says that atomic proposition is always true: (p54 <= 1)
lola: LP says that atomic proposition is always true: (p122 <= 1)
lola: LP says that atomic proposition is always true: (p64 <= 1)
lola: LP says that atomic proposition is always true: (p122 <= 1)
lola: LP says that atomic proposition is always true: (p2 <= 1)
lola: LP says that atomic proposition is always true: (p121 <= 1)
lola: LP says that atomic proposition is always true: (p64 <= 1)
lola: LP says that atomic proposition is always true: (p122 <= 1)
lola: LP says that atomic proposition is always true: (p45 <= 1)
lola: LP says that atomic proposition is always true: (p121 <= 1)
lola: LP says that atomic proposition is always true: (p73 <= 1)
lola: LP says that atomic proposition is always true: (p45 <= 1)
lola: LP says that atomic proposition is always true: (p121 <= 1)
lola: LP says that atomic proposition is always true: (p16 <= 1)
lola: LP says that atomic proposition is always true: (p83 <= 1)
lola: LP says that atomic proposition is always true: (p122 <= 1)
lola: LP says that atomic proposition is always true: (p74 <= 1)
lola: LP says that atomic proposition is always true: (p122 <= 1)
lola: LP says that atomic proposition is always true: (p83 <= 1)
lola: LP says that atomic proposition is always true: (p122 <= 1)
lola: LP says that atomic proposition is always true: (p18 <= 1)
lola: LP says that atomic proposition is always true: (p48 <= 1)
lola: LP says that atomic proposition is always true: (p35 <= 1)
lola: LP says that atomic proposition is always true: (p121 <= 1)
lola: LP says that atomic proposition is always true: (p116 <= 1)
lola: LP says that atomic proposition is always true: (p55 <= 1)
lola: LP says that atomic proposition is always true: (p121 <= 1)
lola: LP says that atomic proposition is always true: (p82 <= 1)
lola: LP says that atomic proposition is always true: (p121 <= 1)
lola: LP says that atomic proposition is always true: (p18 <= 1)
lola: LP says that atomic proposition is always true: (p86 <= 1)
lola: LP says that atomic proposition is always true: (p71 <= 1)
lola: LP says that atomic proposition is always true: (p48 <= 1)
lola: LP says that atomic proposition is always true: (p24 <= 1)
lola: LP says that atomic proposition is always true: (p48 <= 1)
lola: LP says that atomic proposition is always true: (p101 <= 1)
lola: X (NOT(F (G ((NOT(G ((G (((1 <= p1))) AND ((p48 <= 0) OR (p122 <= 0))))) AND NOT(G (((1 <= p54) AND (1 <= p122))))))))) : G (F (((((1 <= p64) AND (1 <= p122)) U ((1 <= p2) AND (1 <= p121))) OR G (((1 <= p64) AND (1 <= p122)))))) : (X (NOT(F ((((1 <= p45) AND (1 <= p121)) U F (((1 <= p73))))))) OR F (((1 <= p45) AND (1 <= p121)))) : X (F ((NOT(G (F (X (NOT(F (((1 <= p16)))))))) AND G (NOT(X (((1 <= p83) AND (1 <= p122)))))))) : X ((G (((1 <= p74) AND (1 <= p122))) AND F (((1 <= p83) AND (1 <= p122))))) : X (X (NOT(F (NOT(G (((1 <= p18)))))))) : F (X ((((((p48 <= 0)) U F (((1 <= p35) AND (1 <= p121)))) OR ((1 <= p116))) OR ((1 <= p55) AND (1 <= p121))))) : ((NOT(X (X (F (NOT(X (((1 <= p82) AND (1 <= p121)))))))) AND NOT(X (X (G (((p18 <= 0))))))) AND ((p86 <= 0))) : NOT(X (G ((((p71 <= 0)) U ((G (((1 <= p48))) U ((p24 <= 0))) U ((1 <= p48))))))) : F (((1 <= p101)))
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:434
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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (G (((p73 <= 0)))) OR F (((1 <= p45) AND (1 <= p121))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p45) AND (1 <= p121)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p45 <= 0) OR (p121 <= 0))
lola: processed formula length: 28
lola: 77 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 4 markings, 4 edges
lola: ========================================
lola: subprocess 1 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G (((p73 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G (((p73 <= 0))))
lola: processed formula length: 20
lola: 75 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: 167 markings, 329 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 1 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((G (F (((1 <= p16)))) AND X (G (((p83 <= 0) OR (p122 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((G (F (((1 <= p16)))) AND X (G (((p83 <= 0) OR (p122 <= 0)))))))
lola: processed formula length: 71
lola: 75 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 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: 370189 markings, 4032687 edges, 74038 markings/sec, 0 secs
lola: 688129 markings, 8006019 edges, 63588 markings/sec, 5 secs
lola: 994583 markings, 11991446 edges, 61291 markings/sec, 10 secs
lola: 1286542 markings, 15995250 edges, 58392 markings/sec, 15 secs
lola: 1579046 markings, 19975936 edges, 58501 markings/sec, 20 secs
lola: 1875071 markings, 23914167 edges, 59205 markings/sec, 25 secs
lola: 2246183 markings, 27815082 edges, 74222 markings/sec, 30 secs
lola: 2597549 markings, 31744484 edges, 70273 markings/sec, 35 secs
lola: 2881730 markings, 35676168 edges, 56836 markings/sec, 40 secs
lola: 3190834 markings, 39649479 edges, 61821 markings/sec, 45 secs
lola: 3484640 markings, 43622448 edges, 58761 markings/sec, 50 secs
lola: 3763521 markings, 47566627 edges, 55776 markings/sec, 55 secs
lola: 4029023 markings, 51519001 edges, 53100 markings/sec, 60 secs
lola: 4288813 markings, 55473982 edges, 51958 markings/sec, 65 secs
lola: 4547420 markings, 59416460 edges, 51721 markings/sec, 70 secs
lola: 4799670 markings, 63293690 edges, 50450 markings/sec, 75 secs
lola: 5099901 markings, 67117113 edges, 60046 markings/sec, 80 secs
lola: 5445585 markings, 70980746 edges, 69137 markings/sec, 85 secs
lola: 5707894 markings, 74900118 edges, 52462 markings/sec, 90 secs
lola: 5959344 markings, 78766674 edges, 50290 markings/sec, 95 secs
lola: 6269100 markings, 82739605 edges, 61951 markings/sec, 100 secs
lola: 6553855 markings, 86711268 edges, 56951 markings/sec, 105 secs
lola: 6830915 markings, 90654401 edges, 55412 markings/sec, 110 secs
lola: 7090851 markings, 94635655 edges, 51987 markings/sec, 115 secs
lola: 7358745 markings, 98594611 edges, 53579 markings/sec, 120 secs
lola: 7610512 markings, 102529163 edges, 50353 markings/sec, 125 secs
lola: 7873838 markings, 106408226 edges, 52665 markings/sec, 130 secs
lola: 8196001 markings, 110266109 edges, 64433 markings/sec, 135 secs
lola: 8521348 markings, 114154155 edges, 65069 markings/sec, 140 secs
lola: 8777036 markings, 118075435 edges, 51138 markings/sec, 145 secs
lola: 9038613 markings, 121967288 edges, 52315 markings/sec, 150 secs
lola: 9317377 markings, 125981918 edges, 55753 markings/sec, 155 secs
lola: 9566357 markings, 129940628 edges, 49796 markings/sec, 160 secs
lola: 9815400 markings, 133894127 edges, 49809 markings/sec, 165 secs
lola: 10052437 markings, 137857856 edges, 47407 markings/sec, 170 secs
lola: 10288242 markings, 141811439 edges, 47161 markings/sec, 175 secs
lola: 10521877 markings, 145765118 edges, 46727 markings/sec, 180 secs
lola: 10751832 markings, 149663917 edges, 45991 markings/sec, 185 secs
lola: 10991549 markings, 153511061 edges, 47943 markings/sec, 190 secs
lola: 11316498 markings, 157387339 edges, 64990 markings/sec, 195 secs
lola: 11585338 markings, 161292334 edges, 53768 markings/sec, 200 secs
lola: 11808523 markings, 165179255 edges, 44637 markings/sec, 205 secs
lola: 12060352 markings, 169072374 edges, 50366 markings/sec, 210 secs
lola: 12358535 markings, 173097951 edges, 59637 markings/sec, 215 secs
lola: 12652954 markings, 177073809 edges, 58884 markings/sec, 220 secs
lola: 12916419 markings, 181036863 edges, 52693 markings/sec, 225 secs
lola: 13170730 markings, 184943152 edges, 50862 markings/sec, 230 secs
lola: 13441356 markings, 188894260 edges, 54125 markings/sec, 235 secs
lola: 13698514 markings, 192811735 edges, 51432 markings/sec, 240 secs
lola: 13952806 markings, 196759593 edges, 50858 markings/sec, 245 secs
lola: 14182965 markings, 200714630 edges, 46032 markings/sec, 250 secs
lola: 14418638 markings, 204622643 edges, 47135 markings/sec, 255 secs
lola: 14687895 markings, 208589071 edges, 53851 markings/sec, 260 secs
lola: 14931787 markings, 212524045 edges, 48778 markings/sec, 265 secs
lola: 15167237 markings, 216416605 edges, 47090 markings/sec, 270 secs
lola: 15411307 markings, 220276477 edges, 48814 markings/sec, 275 secs
lola: 15652059 markings, 224085280 edges, 48150 markings/sec, 280 secs
lola: 15901706 markings, 227903345 edges, 49929 markings/sec, 285 secs
lola: 16223590 markings, 231727030 edges, 64377 markings/sec, 290 secs
lola: 16551445 markings, 235580536 edges, 65571 markings/sec, 295 secs
lola: 16875937 markings, 239421714 edges, 64898 markings/sec, 300 secs
lola: 17134876 markings, 243325386 edges, 51788 markings/sec, 305 secs
lola: 17373774 markings, 247222652 edges, 47780 markings/sec, 310 secs
lola: 17603992 markings, 251064707 edges, 46044 markings/sec, 315 secs
lola: 17848633 markings, 254894393 edges, 48928 markings/sec, 320 secs
lola: 18101069 markings, 258741632 edges, 50487 markings/sec, 325 secs
lola: 18370151 markings, 262665802 edges, 53816 markings/sec, 330 secs
lola: 18611784 markings, 266553811 edges, 48327 markings/sec, 335 secs
lola: 18857301 markings, 270439699 edges, 49103 markings/sec, 340 secs
lola: 19085175 markings, 274348000 edges, 45575 markings/sec, 345 secs
lola: 19319623 markings, 278232497 edges, 46890 markings/sec, 350 secs
lola: 19547811 markings, 282102263 edges, 45638 markings/sec, 355 secs
lola: 19771700 markings, 285910912 edges, 44778 markings/sec, 360 secs
lola: 20009571 markings, 289638406 edges, 47574 markings/sec, 365 secs
lola: 20329949 markings, 293434482 edges, 64076 markings/sec, 370 secs
lola: 20587793 markings, 297232257 edges, 51569 markings/sec, 375 secs
lola: 20805411 markings, 301025409 edges, 43524 markings/sec, 380 secs
lola: 21048159 markings, 304823118 edges, 48550 markings/sec, 385 secs
lola: 21358897 markings, 308803326 edges, 62148 markings/sec, 390 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown no unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3150172 KB
lola: time consumption: 398 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 2 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((G (((1 <= p74) AND (1 <= p122))) AND F (((1 <= p83) AND (1 <= p122)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((G (((1 <= p74) AND (1 <= p122))) AND F (((1 <= p83) AND (1 <= p122)))))
lola: processed formula length: 75
lola: 75 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: 62 markings, 62 edges
lola: ========================================
lola: subprocess 3 will run for 453 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (G (((1 <= p18)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (G (((1 <= p18)))))
lola: processed formula length: 24
lola: 75 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: 62 markings, 62 edges
lola: ========================================
lola: subprocess 4 will run for 528 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((F (((1 <= p35) AND (1 <= p121))) OR (((1 <= p116)) OR ((1 <= p55) AND (1 <= p121))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((F (((1 <= p35) AND (1 <= p121))) OR (((1 <= p116)) OR ((1 <= p55) AND (1 <= p121))))))
lola: processed formula length: 93
lola: 75 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: 62 markings, 62 edges
lola: ========================================
lola: subprocess 5 will run for 634 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (X ((X (G (((1 <= p82) AND (1 <= p121)))) AND F (((1 <= p18)))))) AND ((p86 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 634 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p86 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p86 <= 0))
lola: processed formula length: 12
lola: 75 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 793 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X ((X (G (((1 <= p82) AND (1 <= p121)))) AND F (((1 <= p18))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X ((X (G (((1 <= p82) AND (1 <= p121)))) AND F (((1 <= p18))))))
lola: processed formula length: 67
lola: 75 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 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: 91 markings, 93 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 6 will run for 793 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((G (((p48 <= 0))) OR (((1 <= p71)) AND ((((1 <= p24)) AND (F (((p48 <= 0))) OR G (((1 <= p24))))) R ((p48 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((G (((p48 <= 0))) OR (((1 <= p71)) AND ((((1 <= p24)) AND (F (((p48 <= 0))) OR G (((1 <= p24))))) R ((p48 <= 0)))))))
lola: processed formula length: 123
lola: 75 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 16 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: 515821 markings, 3907267 edges, 103164 markings/sec, 0 secs
lola: 996210 markings, 7766682 edges, 96078 markings/sec, 5 secs
lola: 1454943 markings, 11656776 edges, 91747 markings/sec, 10 secs
lola: 1880563 markings, 15499386 edges, 85124 markings/sec, 15 secs
lola: 2336649 markings, 19382791 edges, 91217 markings/sec, 20 secs
lola: 2759547 markings, 23247282 edges, 84580 markings/sec, 25 secs
lola: 3191623 markings, 27116300 edges, 86415 markings/sec, 30 secs
lola: 3582017 markings, 31012091 edges, 78079 markings/sec, 35 secs
lola: 3964965 markings, 34835851 edges, 76590 markings/sec, 40 secs
lola: 4417155 markings, 38730370 edges, 90438 markings/sec, 45 secs
lola: 4825384 markings, 42604681 edges, 81646 markings/sec, 50 secs
lola: 5226724 markings, 46434959 edges, 80268 markings/sec, 55 secs
lola: 5629829 markings, 50242664 edges, 80621 markings/sec, 60 secs
lola: 6029205 markings, 54028716 edges, 79875 markings/sec, 65 secs
lola: 6429179 markings, 57859606 edges, 79995 markings/sec, 70 secs
lola: 6802705 markings, 61619924 edges, 74705 markings/sec, 75 secs
lola: 7226346 markings, 65404849 edges, 84728 markings/sec, 80 secs
lola: 7647776 markings, 69240232 edges, 84286 markings/sec, 85 secs
lola: 8084732 markings, 73048349 edges, 87391 markings/sec, 90 secs
lola: 8520197 markings, 76865081 edges, 87093 markings/sec, 95 secs
lola: 8920611 markings, 80668322 edges, 80083 markings/sec, 100 secs
lola: 9303149 markings, 84407753 edges, 76508 markings/sec, 105 secs
lola: 9706917 markings, 88141875 edges, 80754 markings/sec, 110 secs
lola: 10217903 markings, 91813756 edges, 102197 markings/sec, 115 secs
lola: 11032537 markings, 95427793 edges, 162927 markings/sec, 120 secs
lola: 11825698 markings, 98995453 edges, 158632 markings/sec, 125 secs
lola: 12603081 markings, 102562293 edges, 155477 markings/sec, 130 secs
lola: 13305392 markings, 106142020 edges, 140462 markings/sec, 135 secs
lola: 14016294 markings, 109657948 edges, 142180 markings/sec, 140 secs
lola: 14778334 markings, 113280820 edges, 152408 markings/sec, 145 secs
lola: 15486000 markings, 116843667 edges, 141533 markings/sec, 150 secs
lola: 16210875 markings, 120398828 edges, 144975 markings/sec, 155 secs
lola: 16886676 markings, 124040236 edges, 135160 markings/sec, 160 secs
lola: 17524036 markings, 127592699 edges, 127472 markings/sec, 165 secs
lola: 18211051 markings, 131127852 edges, 137403 markings/sec, 170 secs
lola: 18943951 markings, 134688094 edges, 146580 markings/sec, 175 secs
lola: 19616887 markings, 138270361 edges, 134587 markings/sec, 180 secs
lola: 20289272 markings, 141791692 edges, 134477 markings/sec, 185 secs
lola: 20937459 markings, 145252195 edges, 129637 markings/sec, 190 secs
lola: 21620560 markings, 148763371 edges, 136620 markings/sec, 195 secs
lola: 22286685 markings, 152190357 edges, 133225 markings/sec, 200 secs
lola: 22937615 markings, 155721760 edges, 130186 markings/sec, 205 secs
lola: 23554216 markings, 159156067 edges, 123320 markings/sec, 210 secs
lola: 24233537 markings, 162593720 edges, 135864 markings/sec, 215 secs
lola: 24962315 markings, 166185326 edges, 145756 markings/sec, 220 secs
lola: 25665024 markings, 169693485 edges, 140542 markings/sec, 225 secs
lola: 26395462 markings, 173178224 edges, 146088 markings/sec, 230 secs
lola: 27100904 markings, 176696891 edges, 141088 markings/sec, 235 secs
lola: 27770034 markings, 180220610 edges, 133826 markings/sec, 240 secs
lola: 28414465 markings, 183666824 edges, 128886 markings/sec, 245 secs
lola: 29065086 markings, 187116367 edges, 130124 markings/sec, 250 secs
lola: 29730993 markings, 190570564 edges, 133181 markings/sec, 255 secs
lola: 30239909 markings, 194166478 edges, 101783 markings/sec, 260 secs
lola: 30615180 markings, 197943180 edges, 75054 markings/sec, 265 secs
lola: 30988509 markings, 201681172 edges, 74666 markings/sec, 270 secs
lola: 31354057 markings, 205461651 edges, 73110 markings/sec, 275 secs
lola: 31686482 markings, 209187407 edges, 66485 markings/sec, 280 secs
lola: 32031311 markings, 212877268 edges, 68966 markings/sec, 285 secs
lola: 32389967 markings, 216679431 edges, 71731 markings/sec, 290 secs
lola: 32726669 markings, 220411098 edges, 67340 markings/sec, 295 secs
lola: 33068771 markings, 224119102 edges, 68420 markings/sec, 300 secs
lola: 33393208 markings, 227912093 edges, 64887 markings/sec, 305 secs
lola: 33698830 markings, 231634278 edges, 61124 markings/sec, 310 secs
lola: 34013732 markings, 235318507 edges, 62980 markings/sec, 315 secs
lola: 34367155 markings, 239025296 edges, 70685 markings/sec, 320 secs
lola: 34698599 markings, 242756335 edges, 66289 markings/sec, 325 secs
lola: 35016890 markings, 246454834 edges, 63658 markings/sec, 330 secs
lola: 35323197 markings, 250060811 edges, 61261 markings/sec, 335 secs
lola: 35648841 markings, 253699172 edges, 65129 markings/sec, 340 secs
lola: 35959487 markings, 257314925 edges, 62129 markings/sec, 345 secs
lola: 36285117 markings, 260971566 edges, 65126 markings/sec, 350 secs
lola: 36587705 markings, 264648660 edges, 60518 markings/sec, 355 secs
lola: 36892974 markings, 268285969 edges, 61054 markings/sec, 360 secs
lola: 37235874 markings, 271960318 edges, 68580 markings/sec, 365 secs
lola: 37574082 markings, 275702499 edges, 67642 markings/sec, 370 secs
lola: 37908917 markings, 279377966 edges, 66967 markings/sec, 375 secs
lola: 38259038 markings, 283010814 edges, 70024 markings/sec, 380 secs
lola: 38589201 markings, 286677018 edges, 66033 markings/sec, 385 secs
lola: 38907576 markings, 290363357 edges, 63675 markings/sec, 390 secs
lola: 39213582 markings, 293944272 edges, 61201 markings/sec, 395 secs
lola: 39523792 markings, 297544575 edges, 62042 markings/sec, 400 secs
lola: 39839664 markings, 301123030 edges, 63174 markings/sec, 405 secs
lola: 40216177 markings, 304721388 edges, 75303 markings/sec, 410 secs
lola: 40635301 markings, 308518452 edges, 83825 markings/sec, 415 secs
lola: 41056586 markings, 312270533 edges, 84257 markings/sec, 420 secs
lola: 41449945 markings, 316061329 edges, 78672 markings/sec, 425 secs
lola: 41820520 markings, 319777573 edges, 74115 markings/sec, 430 secs
lola: 42215688 markings, 323532868 edges, 79034 markings/sec, 435 secs
lola: 42592314 markings, 327319049 edges, 75325 markings/sec, 440 secs
lola: 42964613 markings, 331032554 edges, 74460 markings/sec, 445 secs
lola: 43332251 markings, 334800954 edges, 73528 markings/sec, 450 secs
lola: 43666227 markings, 338556542 edges, 66795 markings/sec, 455 secs
lola: 44008802 markings, 342264477 edges, 68515 markings/sec, 460 secs
lola: 44399412 markings, 345993173 edges, 78122 markings/sec, 465 secs
lola: 44763783 markings, 349788898 edges, 72874 markings/sec, 470 secs
lola: 45117944 markings, 353521836 edges, 70832 markings/sec, 475 secs
lola: 45462373 markings, 357183807 edges, 68886 markings/sec, 480 secs
lola: 45819646 markings, 360866632 edges, 71455 markings/sec, 485 secs
lola: 46170548 markings, 364488338 edges, 70180 markings/sec, 490 secs
lola: 46511707 markings, 368208965 edges, 68232 markings/sec, 495 secs
lola: 46843067 markings, 371837122 edges, 66272 markings/sec, 500 secs
lola: 47212373 markings, 375501489 edges, 73861 markings/sec, 505 secs
lola: 47586142 markings, 379256016 edges, 74754 markings/sec, 510 secs
lola: 47955638 markings, 382948568 edges, 73899 markings/sec, 515 secs
lola: 48344107 markings, 386634062 edges, 77694 markings/sec, 520 secs
lola: 48706031 markings, 390344639 edges, 72385 markings/sec, 525 secs
lola: 49051549 markings, 394009157 edges, 69104 markings/sec, 530 secs
lola: 49382002 markings, 397593988 edges, 66091 markings/sec, 535 secs
lola: 49742440 markings, 401230903 edges, 72088 markings/sec, 540 secs
lola: 50105477 markings, 404821659 edges, 72607 markings/sec, 545 secs
lola: 50532981 markings, 408588207 edges, 85501 markings/sec, 550 secs
lola: 50932832 markings, 412386628 edges, 79970 markings/sec, 555 secs
lola: 51315068 markings, 416131099 edges, 76447 markings/sec, 560 secs
lola: 51720798 markings, 419869987 edges, 81146 markings/sec, 565 secs
lola: 52112087 markings, 423589052 edges, 78258 markings/sec, 570 secs
lola: 52495851 markings, 427332117 edges, 76753 markings/sec, 575 secs
lola: 52854293 markings, 431106802 edges, 71688 markings/sec, 580 secs
lola: 53199806 markings, 434797202 edges, 69103 markings/sec, 585 secs
lola: 53547838 markings, 438470898 edges, 69606 markings/sec, 590 secs
lola: 53902345 markings, 442159571 edges, 70901 markings/sec, 595 secs
lola: 54288797 markings, 445857898 edges, 77290 markings/sec, 600 secs
lola: 54660013 markings, 449621587 edges, 74243 markings/sec, 605 secs
lola: 55013022 markings, 453395219 edges, 70602 markings/sec, 610 secs
lola: 55352272 markings, 457067068 edges, 67850 markings/sec, 615 secs
lola: 55717574 markings, 460758068 edges, 73060 markings/sec, 620 secs
lola: 56065730 markings, 464418871 edges, 69631 markings/sec, 625 secs
lola: 56414851 markings, 468142895 edges, 69824 markings/sec, 630 secs
lola: 56744862 markings, 471930592 edges, 66002 markings/sec, 635 secs
lola: 57068243 markings, 475671171 edges, 64676 markings/sec, 640 secs
lola: 57376797 markings, 479310701 edges, 61711 markings/sec, 645 secs
lola: 57710885 markings, 483000050 edges, 66818 markings/sec, 650 secs
lola: 58026076 markings, 486611136 edges, 63038 markings/sec, 655 secs
lola: 58410065 markings, 490284550 edges, 76798 markings/sec, 660 secs
lola: 58764759 markings, 494014631 edges, 70939 markings/sec, 665 secs
lola: 59117337 markings, 497715454 edges, 70516 markings/sec, 670 secs
lola: 59450827 markings, 501452139 edges, 66698 markings/sec, 675 secs
lola: 59792815 markings, 505171817 edges, 68398 markings/sec, 680 secs
lola: 60117996 markings, 508849267 edges, 65036 markings/sec, 685 secs
lola: 60440734 markings, 512414161 edges, 64548 markings/sec, 690 secs
lola: 60751411 markings, 516020423 edges, 62135 markings/sec, 695 secs
lola: 61094188 markings, 519673729 edges, 68555 markings/sec, 700 secs
lola: 61441279 markings, 523299354 edges, 69418 markings/sec, 705 secs
lola: 61752395 markings, 526859072 edges, 62223 markings/sec, 710 secs
lola: 62078310 markings, 530356654 edges, 65183 markings/sec, 715 secs
lola: 62421964 markings, 534012001 edges, 68731 markings/sec, 720 secs
lola: 62743595 markings, 537716398 edges, 64326 markings/sec, 725 secs
lola: 63060092 markings, 541367369 edges, 63299 markings/sec, 730 secs
lola: 63360723 markings, 544918782 edges, 60126 markings/sec, 735 secs
lola: 63684596 markings, 548500892 edges, 64775 markings/sec, 740 secs
lola: 63986279 markings, 552033626 edges, 60337 markings/sec, 745 secs
lola: 64376164 markings, 555751314 edges, 77977 markings/sec, 750 secs
lola: 64736199 markings, 559491935 edges, 72007 markings/sec, 755 secs
lola: 65087403 markings, 563204574 edges, 70241 markings/sec, 760 secs
lola: 65426649 markings, 566834286 edges, 67849 markings/sec, 765 secs
lola: 65787896 markings, 570516318 edges, 72249 markings/sec, 770 secs
lola: 66146664 markings, 574133887 edges, 71754 markings/sec, 775 secs
lola: 66518835 markings, 577770809 edges, 74434 markings/sec, 780 secs
lola: 66860814 markings, 581375207 edges, 68396 markings/sec, 785 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown no unknown no no no no unknown unknown
lola: memory consumption: 10298828 KB
lola: time consumption: 1191 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 7 will run for 792 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p101)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p101 <= 0))
lola: processed formula length: 13
lola: 77 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 14 markings, 14 edges
lola: ========================================
lola: subprocess 8 will run for 1189 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((G ((G (((1 <= p1))) AND ((p48 <= 0) OR (p122 <= 0)))) OR G (((1 <= p54) AND (1 <= p122))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((G ((G (((1 <= p1))) AND ((p48 <= 0) OR (p122 <= 0)))) OR G (((1 <= p54) AND (1 <= p122))))))
lola: processed formula length: 100
lola: 75 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: 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: 88 markings, 88 edges
lola: ========================================
lola: subprocess 9 will run for 2378 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((((1 <= p64) AND (1 <= p122)) U ((1 <= p2) AND (1 <= p121))) OR G (((1 <= p64) AND (1 <= p122))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((((1 <= p64) AND (1 <= p122)) U ((1 <= p2) AND (1 <= p121))) OR G (((1 <= p64) AND (1 <= p122))))))
lola: processed formula length: 106
lola: 75 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: 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: 62 markings, 62 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: X (F ((G (F (((1 <= p16)))) AND X (G (((p83 <= 0) OR (p122 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((G (F (((1 <= p16)))) AND X (G (((p83 <= 0) OR (p122 <= 0)))))))
lola: processed formula length: 71
lola: 75 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 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: 370037 markings, 4030412 edges, 74007 markings/sec, 0 secs
lola: 688151 markings, 8006265 edges, 63623 markings/sec, 5 secs
lola: 994340 markings, 11987710 edges, 61238 markings/sec, 10 secs
lola: 1285723 markings, 15984772 edges, 58277 markings/sec, 15 secs
lola: 1577747 markings, 19957553 edges, 58405 markings/sec, 20 secs
lola: 1873227 markings, 23888362 edges, 59096 markings/sec, 25 secs
lola: 2243861 markings, 27792847 edges, 74127 markings/sec, 30 secs
lola: 2596520 markings, 31730139 edges, 70532 markings/sec, 35 secs
lola: 2881552 markings, 35674131 edges, 57006 markings/sec, 40 secs
lola: 3191296 markings, 39656553 edges, 61949 markings/sec, 45 secs
lola: 3485793 markings, 43639932 edges, 58899 markings/sec, 50 secs
lola: 3765719 markings, 47598448 edges, 55985 markings/sec, 55 secs
lola: 4031874 markings, 51564883 edges, 53231 markings/sec, 60 secs
lola: 4292843 markings, 55535516 edges, 52194 markings/sec, 65 secs
lola: 4551848 markings, 59489251 edges, 51801 markings/sec, 70 secs
lola: 4806920 markings, 63379211 edges, 51014 markings/sec, 75 secs
lola: 5111933 markings, 67244780 edges, 61003 markings/sec, 80 secs
lola: 5456882 markings, 71127493 edges, 68990 markings/sec, 85 secs
lola: 5717727 markings, 75058725 edges, 52169 markings/sec, 90 secs
lola: 5970593 markings, 78941093 edges, 50573 markings/sec, 95 secs
lola: 6283909 markings, 82938979 edges, 62663 markings/sec, 100 secs
lola: 6568022 markings, 86920983 edges, 56823 markings/sec, 105 secs
lola: 6848464 markings, 90886539 edges, 56088 markings/sec, 110 secs
lola: 7104974 markings, 94880264 edges, 51302 markings/sec, 115 secs
lola: 7376272 markings, 98853319 edges, 54260 markings/sec, 120 secs
lola: 7628828 markings, 102801342 edges, 50511 markings/sec, 125 secs
lola: 7894301 markings, 106701664 edges, 53095 markings/sec, 130 secs
lola: 8224399 markings, 110584987 edges, 66020 markings/sec, 135 secs
lola: 8545576 markings, 114495360 edges, 64235 markings/sec, 140 secs
lola: 8798049 markings, 118426762 edges, 50495 markings/sec, 145 secs
lola: 9065373 markings, 122334842 edges, 53465 markings/sec, 150 secs
lola: 9343453 markings, 126357907 edges, 55616 markings/sec, 155 secs
lola: 9589415 markings, 130321376 edges, 49192 markings/sec, 160 secs
lola: 9840956 markings, 134290993 edges, 50308 markings/sec, 165 secs
lola: 10075618 markings, 138277784 edges, 46932 markings/sec, 170 secs
lola: 10314449 markings, 142245273 edges, 47766 markings/sec, 175 secs
lola: 10547898 markings, 146203718 edges, 46690 markings/sec, 180 secs
lola: 10777733 markings, 150109367 edges, 45967 markings/sec, 185 secs
lola: 11033100 markings, 153985444 edges, 51073 markings/sec, 190 secs
lola: 11358588 markings, 157884203 edges, 65098 markings/sec, 195 secs
lola: 11614801 markings, 161820060 edges, 51243 markings/sec, 200 secs
lola: 11842167 markings, 165733064 edges, 45473 markings/sec, 205 secs
lola: 12106690 markings, 169664873 edges, 52905 markings/sec, 210 secs
lola: 12399959 markings, 173694596 edges, 58654 markings/sec, 215 secs
lola: 12695720 markings, 177678563 edges, 59152 markings/sec, 220 secs
lola: 12955429 markings, 181645379 edges, 51942 markings/sec, 225 secs
lola: 13213999 markings, 185560001 edges, 51714 markings/sec, 230 secs
lola: 13483848 markings, 189521338 edges, 53970 markings/sec, 235 secs
lola: 13737712 markings, 193418202 edges, 50773 markings/sec, 240 secs
lola: 13989960 markings, 197370947 edges, 50450 markings/sec, 245 secs
lola: 14215598 markings, 201307510 edges, 45128 markings/sec, 250 secs
lola: 14462424 markings, 205229570 edges, 49365 markings/sec, 255 secs
lola: 14724741 markings, 209174496 edges, 52463 markings/sec, 260 secs
lola: 14967131 markings, 213106034 edges, 48478 markings/sec, 265 secs
lola: 15199042 markings, 216973017 edges, 46382 markings/sec, 270 secs
lola: 15444848 markings, 220825516 edges, 49161 markings/sec, 275 secs
lola: 15689128 markings, 224624864 edges, 48856 markings/sec, 280 secs
lola: 15937904 markings, 228426831 edges, 49755 markings/sec, 285 secs
lola: 16270314 markings, 232263012 edges, 66482 markings/sec, 290 secs
lola: 16598803 markings, 236098192 edges, 65698 markings/sec, 295 secs
lola: 16913693 markings, 239949414 edges, 62978 markings/sec, 300 secs
lola: 17168595 markings, 243846141 edges, 50980 markings/sec, 305 secs
lola: 17405874 markings, 247749382 edges, 47456 markings/sec, 310 secs
lola: 17634856 markings, 251588286 edges, 45796 markings/sec, 315 secs
lola: 17880890 markings, 255424125 edges, 49207 markings/sec, 320 secs
lola: 18137964 markings, 259280720 edges, 51415 markings/sec, 325 secs
lola: 18403028 markings, 263193268 edges, 53013 markings/sec, 330 secs
lola: 18647253 markings, 267068752 edges, 48845 markings/sec, 335 secs
lola: 18886793 markings, 270931913 edges, 47908 markings/sec, 340 secs
lola: 19111685 markings, 274843777 edges, 44978 markings/sec, 345 secs
lola: 19350988 markings, 278728449 edges, 47861 markings/sec, 350 secs
lola: 19576222 markings, 282590174 edges, 45047 markings/sec, 355 secs
lola: 19799414 markings, 286387959 edges, 44638 markings/sec, 360 secs
lola: 20055580 markings, 290131990 edges, 51233 markings/sec, 365 secs
lola: 20369510 markings, 293921455 edges, 62786 markings/sec, 370 secs
lola: 20616487 markings, 297751361 edges, 49395 markings/sec, 375 secs
lola: 20838046 markings, 301561948 edges, 44312 markings/sec, 380 secs
lola: 21094528 markings, 305383205 edges, 51296 markings/sec, 385 secs
lola: 21398707 markings, 309353116 edges, 60836 markings/sec, 390 secs
lola: 21675349 markings, 313273167 edges, 55328 markings/sec, 395 secs
lola: 21945439 markings, 317189993 edges, 54018 markings/sec, 400 secs
lola: 22189827 markings, 321128059 edges, 48878 markings/sec, 405 secs
lola: 22460942 markings, 325069180 edges, 54223 markings/sec, 410 secs
lola: 22714257 markings, 328945955 edges, 50663 markings/sec, 415 secs
lola: 22974164 markings, 332763541 edges, 51981 markings/sec, 420 secs
lola: 23327381 markings, 336597383 edges, 70643 markings/sec, 425 secs
lola: 23614887 markings, 340463754 edges, 57501 markings/sec, 430 secs
lola: 23863573 markings, 344317536 edges, 49737 markings/sec, 435 secs
lola: 24150018 markings, 348211914 edges, 57289 markings/sec, 440 secs
lola: 24432786 markings, 352135548 edges, 56554 markings/sec, 445 secs
lola: 24720171 markings, 356041068 edges, 57477 markings/sec, 450 secs
lola: 24973469 markings, 359918282 edges, 50660 markings/sec, 455 secs
lola: 25228248 markings, 363747793 edges, 50956 markings/sec, 460 secs
lola: 25491528 markings, 367639957 edges, 52656 markings/sec, 465 secs
lola: 25741277 markings, 371475134 edges, 49950 markings/sec, 470 secs
lola: 25989516 markings, 375362906 edges, 49648 markings/sec, 475 secs
lola: 26212508 markings, 379250152 edges, 44598 markings/sec, 480 secs
lola: 26453262 markings, 383097615 edges, 48151 markings/sec, 485 secs
lola: 26712204 markings, 386969847 edges, 51788 markings/sec, 490 secs
lola: 26951453 markings, 390837821 edges, 47850 markings/sec, 495 secs
lola: 27181788 markings, 394666100 edges, 46067 markings/sec, 500 secs
lola: 27423724 markings, 398475257 edges, 48387 markings/sec, 505 secs
lola: 27663151 markings, 402252318 edges, 47885 markings/sec, 510 secs
lola: 27909707 markings, 406023438 edges, 49311 markings/sec, 515 secs
lola: 28228388 markings, 409776627 edges, 63736 markings/sec, 520 secs
lola: 28550632 markings, 413570747 edges, 64449 markings/sec, 525 secs
lola: 28868954 markings, 417322204 edges, 63664 markings/sec, 530 secs
lola: 29123671 markings, 421159332 edges, 50943 markings/sec, 535 secs
lola: 29360750 markings, 424992470 edges, 47416 markings/sec, 540 secs
lola: 29588474 markings, 428783195 edges, 45545 markings/sec, 545 secs
lola: 29828474 markings, 432549068 edges, 48000 markings/sec, 550 secs
lola: 30079677 markings, 436302886 edges, 50241 markings/sec, 555 secs
lola: 30382027 markings, 440218341 edges, 60470 markings/sec, 560 secs
lola: 30655125 markings, 444099395 edges, 54620 markings/sec, 565 secs
lola: 30923411 markings, 447967351 edges, 53657 markings/sec, 570 secs
lola: 31167686 markings, 451861980 edges, 48855 markings/sec, 575 secs
lola: 31431715 markings, 455738389 edges, 52806 markings/sec, 580 secs
lola: 31680911 markings, 459569406 edges, 49839 markings/sec, 585 secs
lola: 31939954 markings, 463390386 edges, 51809 markings/sec, 590 secs
lola: 32279780 markings, 467216641 edges, 67965 markings/sec, 595 secs
lola: 32584767 markings, 471075592 edges, 60997 markings/sec, 600 secs
lola: 32829517 markings, 474911536 edges, 48950 markings/sec, 605 secs
lola: 33094998 markings, 478747944 edges, 53096 markings/sec, 610 secs
lola: 33361546 markings, 482638957 edges, 53310 markings/sec, 615 secs
lola: 33600088 markings, 486500311 edges, 47708 markings/sec, 620 secs
lola: 33846182 markings, 490365549 edges, 49219 markings/sec, 625 secs
lola: 34074143 markings, 494249987 edges, 45592 markings/sec, 630 secs
lola: 34306809 markings, 498122015 edges, 46533 markings/sec, 635 secs
lola: 34533870 markings, 501966665 edges, 45412 markings/sec, 640 secs
lola: 34758032 markings, 505773931 edges, 44832 markings/sec, 645 secs
lola: 34993676 markings, 509543774 edges, 47129 markings/sec, 650 secs
lola: 35314019 markings, 513357277 edges, 64069 markings/sec, 655 secs
lola: 35579159 markings, 517194595 edges, 53028 markings/sec, 660 secs
lola: 35799386 markings, 521016372 edges, 44045 markings/sec, 665 secs
lola: 36034030 markings, 524806334 edges, 46929 markings/sec, 670 secs
lola: 36305383 markings, 528714996 edges, 54271 markings/sec, 675 secs
lola: 36551896 markings, 532605293 edges, 49303 markings/sec, 680 secs
lola: 36796696 markings, 536488111 edges, 48960 markings/sec, 685 secs
lola: 37031672 markings, 540381085 edges, 46995 markings/sec, 690 secs
lola: 37259744 markings, 544264921 edges, 45614 markings/sec, 695 secs
lola: 37492839 markings, 548148294 edges, 46619 markings/sec, 700 secs
lola: 37718413 markings, 551973523 edges, 45115 markings/sec, 705 secs
lola: 37951338 markings, 555771680 edges, 46585 markings/sec, 710 secs
lola: 38258402 markings, 559586704 edges, 61413 markings/sec, 715 secs
lola: 38538664 markings, 563421240 edges, 56052 markings/sec, 720 secs
lola: 38762217 markings, 567252258 edges, 44711 markings/sec, 725 secs
lola: 38985624 markings, 571044678 edges, 44681 markings/sec, 730 secs
lola: 39230794 markings, 574937042 edges, 49034 markings/sec, 735 secs
lola: 39462116 markings, 578838803 edges, 46264 markings/sec, 740 secs
lola: 39686267 markings, 582712785 edges, 44830 markings/sec, 745 secs
lola: 39901911 markings, 586577037 edges, 43129 markings/sec, 750 secs
lola: 40105664 markings, 590477381 edges, 40751 markings/sec, 755 secs
lola: 40321307 markings, 594357805 edges, 43129 markings/sec, 760 secs
lola: 40528248 markings, 598218665 edges, 41388 markings/sec, 765 secs
lola: 40733575 markings, 602029124 edges, 41065 markings/sec, 770 secs
lola: 40946398 markings, 605812773 edges, 42565 markings/sec, 775 secs
lola: 41223625 markings, 609636277 edges, 55445 markings/sec, 780 secs
lola: 41488360 markings, 613460769 edges, 52947 markings/sec, 785 secs
lola: 41696705 markings, 617309993 edges, 41669 markings/sec, 790 secs
lola: 41899885 markings, 621099021 edges, 40636 markings/sec, 795 secs
lola: 42141474 markings, 624934429 edges, 48318 markings/sec, 800 secs
lola: 42390876 markings, 628806474 edges, 49880 markings/sec, 805 secs
lola: 42645649 markings, 632657466 edges, 50955 markings/sec, 810 secs
lola: 42880920 markings, 636539645 edges, 47054 markings/sec, 815 secs
lola: 43105735 markings, 640360535 edges, 44963 markings/sec, 820 secs
lola: 43344012 markings, 644215169 edges, 47655 markings/sec, 825 secs
lola: 43568782 markings, 648059690 edges, 44954 markings/sec, 830 secs
lola: 43792631 markings, 651870203 edges, 44770 markings/sec, 835 secs
lola: 44014324 markings, 655768202 edges, 44339 markings/sec, 840 secs
lola: 44216318 markings, 659615379 edges, 40399 markings/sec, 845 secs
lola: 44432926 markings, 663466863 edges, 43322 markings/sec, 850 secs
lola: 44669780 markings, 667347711 edges, 47371 markings/sec, 855 secs
lola: 44881167 markings, 671174327 edges, 42277 markings/sec, 860 secs
lola: 45096084 markings, 674992980 edges, 42983 markings/sec, 865 secs
lola: 45306044 markings, 678782075 edges, 41992 markings/sec, 870 secs
lola: 45520121 markings, 682559820 edges, 42815 markings/sec, 875 secs
lola: 45745274 markings, 686303904 edges, 45031 markings/sec, 880 secs
lola: 45967663 markings, 690045502 edges, 44478 markings/sec, 885 secs
lola: 46274308 markings, 693853569 edges, 61329 markings/sec, 890 secs
lola: 46563634 markings, 697626165 edges, 57865 markings/sec, 895 secs
lola: 46854404 markings, 701404035 edges, 58154 markings/sec, 900 secs
lola: 47087082 markings, 705253478 edges, 46536 markings/sec, 905 secs
lola: 47300389 markings, 709075709 edges, 42661 markings/sec, 910 secs
lola: 47509949 markings, 712852718 edges, 41912 markings/sec, 915 secs
lola: 47718756 markings, 716607778 edges, 41761 markings/sec, 920 secs
lola: 47931899 markings, 720372439 edges, 42629 markings/sec, 925 secs
lola: 48165671 markings, 724173900 edges, 46754 markings/sec, 930 secs
lola: 48399421 markings, 727994895 edges, 46750 markings/sec, 935 secs
lola: 48614095 markings, 731808190 edges, 42935 markings/sec, 940 secs
lola: 48831367 markings, 735631070 edges, 43454 markings/sec, 945 secs
lola: 49040666 markings, 739474326 edges, 41860 markings/sec, 950 secs
lola: 49242891 markings, 743289600 edges, 40445 markings/sec, 955 secs
lola: 49454041 markings, 747110906 edges, 42230 markings/sec, 960 secs
lola: 49654179 markings, 750888581 edges, 40028 markings/sec, 965 secs
lola: 49863336 markings, 754633402 edges, 41831 markings/sec, 970 secs
lola: 50107125 markings, 758363811 edges, 48758 markings/sec, 975 secs
lola: 50386671 markings, 762114665 edges, 55909 markings/sec, 980 secs
lola: 50606436 markings, 765909910 edges, 43953 markings/sec, 985 secs
lola: 50803591 markings, 769665426 edges, 39431 markings/sec, 990 secs
lola: 51007199 markings, 773376533 edges, 40722 markings/sec, 995 secs
lola: 51280006 markings, 777255490 edges, 54561 markings/sec, 1000 secs
lola: 51526717 markings, 781120756 edges, 49342 markings/sec, 1005 secs
lola: 51772037 markings, 784973912 edges, 49064 markings/sec, 1010 secs
lola: 52006611 markings, 788834140 edges, 46915 markings/sec, 1015 secs
lola: 52228315 markings, 792695984 edges, 44341 markings/sec, 1020 secs
lola: 52464103 markings, 796556569 edges, 47158 markings/sec, 1025 secs
lola: 52686972 markings, 800360662 edges, 44574 markings/sec, 1030 secs
lola: 52918689 markings, 804142971 edges, 46343 markings/sec, 1035 secs
lola: 53212356 markings, 807919018 edges, 58733 markings/sec, 1040 secs
lola: 53498900 markings, 811692001 edges, 57309 markings/sec, 1045 secs
lola: 53724331 markings, 815509671 edges, 45086 markings/sec, 1050 secs
lola: 53946532 markings, 819271049 edges, 44440 markings/sec, 1055 secs
lola: 54203654 markings, 823078841 edges, 51424 markings/sec, 1060 secs
lola: 54447945 markings, 826879851 edges, 48858 markings/sec, 1065 secs
lola: 54698619 markings, 830686912 edges, 50135 markings/sec, 1070 secs
lola: 54923292 markings, 834491821 edges, 44935 markings/sec, 1075 secs
lola: 55145714 markings, 838256448 edges, 44484 markings/sec, 1080 secs
lola: 55382901 markings, 842053131 edges, 47437 markings/sec, 1085 secs
lola: 55600532 markings, 845838749 edges, 43526 markings/sec, 1090 secs
lola: 55826038 markings, 849605555 edges, 45101 markings/sec, 1095 secs
lola: 56038071 markings, 853439372 edges, 42407 markings/sec, 1100 secs
lola: 56239941 markings, 857225788 edges, 40374 markings/sec, 1105 secs
lola: 56454803 markings, 861010057 edges, 42972 markings/sec, 1110 secs
lola: 56685206 markings, 864819466 edges, 46081 markings/sec, 1115 secs
lola: 56895765 markings, 868604069 edges, 42112 markings/sec, 1120 secs
lola: 57104135 markings, 872347939 edges, 41674 markings/sec, 1125 secs
lola: 57311554 markings, 876078404 edges, 41484 markings/sec, 1130 secs
lola: 57522151 markings, 879798396 edges, 42119 markings/sec, 1135 secs
lola: 57745111 markings, 883500989 edges, 44592 markings/sec, 1140 secs
lola: 57963404 markings, 887172716 edges, 43659 markings/sec, 1145 secs
lola: 58263703 markings, 890907332 edges, 60060 markings/sec, 1150 secs
lola: 58548216 markings, 894625064 edges, 56903 markings/sec, 1155 secs
lola: 58837406 markings, 898333278 edges, 57838 markings/sec, 1160 secs
lola: 59067689 markings, 902112068 edges, 46057 markings/sec, 1165 secs
lola: 59274769 markings, 905858087 edges, 41416 markings/sec, 1170 secs
lola: 59483773 markings, 909565640 edges, 41801 markings/sec, 1175 secs
lola: 59686022 markings, 913233690 edges, 40450 markings/sec, 1180 secs
lola: 59897851 markings, 916938103 edges, 42366 markings/sec, 1185 secs
lola: 60158674 markings, 920729231 edges, 52165 markings/sec, 1190 secs
lola: 60449816 markings, 924608775 edges, 58228 markings/sec, 1195 secs
lola: 60721292 markings, 928453560 edges, 54295 markings/sec, 1200 secs
lola: 60986076 markings, 932315738 edges, 52957 markings/sec, 1205 secs
lola: 61232051 markings, 936200506 edges, 49195 markings/sec, 1210 secs
lola: 61494651 markings, 940087837 edges, 52520 markings/sec, 1215 secs
lola: 61744116 markings, 943922219 edges, 49893 markings/sec, 1220 secs
lola: 62007080 markings, 947705493 edges, 52593 markings/sec, 1225 secs
lola: 62365916 markings, 951518944 edges, 71767 markings/sec, 1230 secs
lola: 62640665 markings, 955386403 edges, 54950 markings/sec, 1235 secs
lola: 62892410 markings, 959222123 edges, 50349 markings/sec, 1240 secs
lola: 63158262 markings, 963087040 edges, 53170 markings/sec, 1245 secs
lola: 63417272 markings, 966940685 edges, 51802 markings/sec, 1250 secs
lola: 63660103 markings, 970770500 edges, 48566 markings/sec, 1255 secs
lola: 63898381 markings, 974621013 edges, 47656 markings/sec, 1260 secs
lola: 64121599 markings, 978509327 edges, 44644 markings/sec, 1265 secs
lola: 64359260 markings, 982368451 edges, 47532 markings/sec, 1270 secs
lola: 64583001 markings, 986215249 edges, 44748 markings/sec, 1275 secs
lola: 64808539 markings, 990012726 edges, 45108 markings/sec, 1280 secs
lola: 65068149 markings, 993782418 edges, 51922 markings/sec, 1285 secs
lola: 65380259 markings, 997556410 edges, 62422 markings/sec, 1290 secs
lola: 65624134 markings, 1001392235 edges, 48775 markings/sec, 1295 secs
lola: 65845100 markings, 1005180887 edges, 44193 markings/sec, 1300 secs
lola: 66090252 markings, 1008982153 edges, 49030 markings/sec, 1305 secs
lola: 66356359 markings, 1012860666 edges, 53221 markings/sec, 1310 secs
lola: 66593663 markings, 1016691594 edges, 47461 markings/sec, 1315 secs
lola: 66838319 markings, 1020552593 edges, 48931 markings/sec, 1320 secs
lola: 67067729 markings, 1024436145 edges, 45882 markings/sec, 1325 secs
lola: 67299055 markings, 1028294672 edges, 46265 markings/sec, 1330 secs
lola: 67527262 markings, 1032155233 edges, 45641 markings/sec, 1335 secs
lola: 67751391 markings, 1035955759 edges, 44826 markings/sec, 1340 secs
lola: 67985540 markings, 1039713007 edges, 46830 markings/sec, 1345 secs
lola: 68300966 markings, 1043504970 edges, 63085 markings/sec, 1350 secs
lola: 68569190 markings, 1047328315 edges, 53645 markings/sec, 1355 secs
lola: 68790426 markings, 1051149545 edges, 44247 markings/sec, 1360 secs
lola: 69016725 markings, 1054923054 edges, 45260 markings/sec, 1365 secs
lola: 69261195 markings, 1058805266 edges, 48894 markings/sec, 1370 secs
lola: 69485820 markings, 1062659455 edges, 44925 markings/sec, 1375 secs
lola: 69707717 markings, 1066505338 edges, 44379 markings/sec, 1380 secs
lola: 69924091 markings, 1070356453 edges, 43275 markings/sec, 1385 secs
lola: 70124902 markings, 1074240642 edges, 40162 markings/sec, 1390 secs
lola: 70341341 markings, 1078103324 edges, 43288 markings/sec, 1395 secs
lola: 70546390 markings, 1081954127 edges, 41010 markings/sec, 1400 secs
lola: 70750519 markings, 1085758015 edges, 40826 markings/sec, 1405 secs
lola: 70964876 markings, 1089523465 edges, 42871 markings/sec, 1410 secs
lola: 71245152 markings, 1093323634 edges, 56055 markings/sec, 1415 secs
lola: 71502520 markings, 1097125067 edges, 51474 markings/sec, 1420 secs
lola: 71710339 markings, 1100974295 edges, 41564 markings/sec, 1425 secs
lola: 71913626 markings, 1104749013 edges, 40657 markings/sec, 1430 secs
lola: 72158260 markings, 1108587019 edges, 48927 markings/sec, 1435 secs
lola: 72404834 markings, 1112440081 edges, 49315 markings/sec, 1440 secs
lola: 72660659 markings, 1116277126 edges, 51165 markings/sec, 1445 secs
lola: 72892077 markings, 1120135456 edges, 46284 markings/sec, 1450 secs
lola: 73116144 markings, 1123935207 edges, 44813 markings/sec, 1455 secs
lola: 73353988 markings, 1127778470 edges, 47569 markings/sec, 1460 secs
lola: 73578352 markings, 1131626808 edges, 44873 markings/sec, 1465 secs
lola: 73802611 markings, 1135434238 edges, 44852 markings/sec, 1470 secs
lola: 74022320 markings, 1139332268 edges, 43942 markings/sec, 1475 secs
lola: 74225642 markings, 1143177266 edges, 40664 markings/sec, 1480 secs
lola: 74442250 markings, 1147013613 edges, 43322 markings/sec, 1485 secs
lola: 74677927 markings, 1150884761 edges, 47135 markings/sec, 1490 secs
lola: 74891752 markings, 1154737583 edges, 42765 markings/sec, 1495 secs
lola: 75103014 markings, 1158525046 edges, 42252 markings/sec, 1500 secs
lola: 75312152 markings, 1162289391 edges, 41828 markings/sec, 1505 secs
lola: 75525385 markings, 1166059160 edges, 42647 markings/sec, 1510 secs
lola: 75750658 markings, 1169800989 edges, 45055 markings/sec, 1515 secs
lola: 75971614 markings, 1173514562 edges, 44191 markings/sec, 1520 secs
lola: 76277673 markings, 1177298887 edges, 61212 markings/sec, 1525 secs
lola: 76565276 markings, 1181044353 edges, 57521 markings/sec, 1530 secs
lola: 76851716 markings, 1184762919 edges, 57288 markings/sec, 1535 secs
lola: 77084725 markings, 1188610778 edges, 46602 markings/sec, 1540 secs
lola: 77298186 markings, 1192442543 edges, 42692 markings/sec, 1545 secs
lola: 77509304 markings, 1196241832 edges, 42224 markings/sec, 1550 secs
lola: 77717921 markings, 1199991960 edges, 41723 markings/sec, 1555 secs
lola: 77930779 markings, 1203753224 edges, 42572 markings/sec, 1560 secs
lola: 78163355 markings, 1207536607 edges, 46515 markings/sec, 1565 secs
lola: 78394030 markings, 1211296212 edges, 46135 markings/sec, 1570 secs
lola: 78605088 markings, 1215069579 edges, 42212 markings/sec, 1575 secs
lola: 78823572 markings, 1218892415 edges, 43697 markings/sec, 1580 secs
lola: 79032777 markings, 1222720150 edges, 41841 markings/sec, 1585 secs
lola: 79233180 markings, 1226525906 edges, 40081 markings/sec, 1590 secs
lola: 79443942 markings, 1230340249 edges, 42152 markings/sec, 1595 secs
lola: 79644261 markings, 1234109037 edges, 40064 markings/sec, 1600 secs
lola: 79851542 markings, 1237832144 edges, 41456 markings/sec, 1605 secs
lola: 80089327 markings, 1241528934 edges, 47557 markings/sec, 1610 secs
lola: 80366767 markings, 1245245682 edges, 55488 markings/sec, 1615 secs
lola: 80591149 markings, 1249010104 edges, 44876 markings/sec, 1620 secs
lola: 80788056 markings, 1252751654 edges, 39381 markings/sec, 1625 secs
lola: 80985733 markings, 1256422801 edges, 39535 markings/sec, 1630 secs
lola: 81253952 markings, 1260262624 edges, 53644 markings/sec, 1635 secs
lola: 81500073 markings, 1264098611 edges, 49224 markings/sec, 1640 secs
lola: 81744865 markings, 1267927562 edges, 48958 markings/sec, 1645 secs
lola: 81980376 markings, 1271764068 edges, 47102 markings/sec, 1650 secs
lola: 82195324 markings, 1275612429 edges, 42990 markings/sec, 1655 secs
lola: 82434112 markings, 1279469631 edges, 47758 markings/sec, 1660 secs
lola: 82656655 markings, 1283273243 edges, 44509 markings/sec, 1665 secs
lola: 82887333 markings, 1287031240 edges, 46136 markings/sec, 1670 secs
lola: 83168299 markings, 1290776374 edges, 56193 markings/sec, 1675 secs
lola: 83464084 markings, 1294526177 edges, 59157 markings/sec, 1680 secs
lola: 83691620 markings, 1298327423 edges, 45507 markings/sec, 1685 secs
lola: 83911632 markings, 1302059581 edges, 44002 markings/sec, 1690 secs
lola: 84161591 markings, 1305840488 edges, 49992 markings/sec, 1695 secs
lola: 84404684 markings, 1309637801 edges, 48619 markings/sec, 1700 secs
lola: 84655871 markings, 1313406719 edges, 50237 markings/sec, 1705 secs
lola: 84884005 markings, 1317197498 edges, 45627 markings/sec, 1710 secs
lola: 85103563 markings, 1320927506 edges, 43912 markings/sec, 1715 secs
lola: 85336950 markings, 1324694170 edges, 46677 markings/sec, 1720 secs
lola: 85557834 markings, 1328479860 edges, 44177 markings/sec, 1725 secs
lola: 85777632 markings, 1332207743 edges, 43960 markings/sec, 1730 secs
lola: 85996277 markings, 1336008028 edges, 43729 markings/sec, 1735 secs
lola: 86195002 markings, 1339792334 edges, 39745 markings/sec, 1740 secs
lola: 86396538 markings, 1343530504 edges, 40307 markings/sec, 1745 secs
lola: 86631621 markings, 1347331449 edges, 47017 markings/sec, 1750 secs
lola: 86845970 markings, 1351117527 edges, 42870 markings/sec, 1755 secs
lola: 87055217 markings, 1354868307 edges, 41849 markings/sec, 1760 secs
lola: 87258900 markings, 1358568896 edges, 40737 markings/sec, 1765 secs
lola: 87473355 markings, 1362285705 edges, 42891 markings/sec, 1770 secs
lola: 87688058 markings, 1365942864 edges, 42941 markings/sec, 1775 secs
lola: 87905245 markings, 1369613743 edges, 43437 markings/sec, 1780 secs
lola: 88182663 markings, 1373295114 edges, 55484 markings/sec, 1785 secs
lola: 88471123 markings, 1377002594 edges, 57692 markings/sec, 1790 secs
lola: 88757462 markings, 1380649466 edges, 57268 markings/sec, 1795 secs
lola: 89000422 markings, 1384399716 edges, 48592 markings/sec, 1800 secs
lola: 89216846 markings, 1388153074 edges, 43285 markings/sec, 1805 secs
lola: 89423166 markings, 1391878531 edges, 41264 markings/sec, 1810 secs
lola: 89622246 markings, 1395534014 edges, 39816 markings/sec, 1815 secs
lola: 89836306 markings, 1399202562 edges, 42812 markings/sec, 1820 secs
lola: 90055087 markings, 1402898912 edges, 43756 markings/sec, 1825 secs
lola: 90326306 markings, 1406806080 edges, 54244 markings/sec, 1830 secs
lola: 90568431 markings, 1410675073 edges, 48425 markings/sec, 1835 secs
lola: 90812435 markings, 1414551185 edges, 48801 markings/sec, 1840 secs
lola: 91046479 markings, 1418446631 edges, 46809 markings/sec, 1845 secs
lola: 91277304 markings, 1422329596 edges, 46165 markings/sec, 1850 secs
lola: 91507865 markings, 1426212510 edges, 46112 markings/sec, 1855 secs
lola: 91733824 markings, 1430044579 edges, 45192 markings/sec, 1860 secs
lola: 91969345 markings, 1433845800 edges, 47104 markings/sec, 1865 secs
lola: 92279274 markings, 1437659362 edges, 61986 markings/sec, 1870 secs
lola: 92555374 markings, 1441502404 edges, 55220 markings/sec, 1875 secs
lola: 92780572 markings, 1445368364 edges, 45040 markings/sec, 1880 secs
lola: 93005315 markings, 1449164029 edges, 44949 markings/sec, 1885 secs
lola: 93250181 markings, 1453028333 edges, 48973 markings/sec, 1890 secs
lola: 93476548 markings, 1456895828 edges, 45273 markings/sec, 1895 secs
lola: 93699776 markings, 1460751638 edges, 44646 markings/sec, 1900 secs
lola: 93915119 markings, 1464599835 edges, 43069 markings/sec, 1905 secs
lola: 94117043 markings, 1468490871 edges, 40385 markings/sec, 1910 secs
lola: 94333023 markings, 1472353029 edges, 43196 markings/sec, 1915 secs
lola: 94538634 markings, 1476207219 edges, 41122 markings/sec, 1920 secs
lola: 94742801 markings, 1480008624 edges, 40833 markings/sec, 1925 secs
lola: 94955928 markings, 1483777585 edges, 42625 markings/sec, 1930 secs
lola: 95233854 markings, 1487573807 edges, 55585 markings/sec, 1935 secs
lola: 95493978 markings, 1491364780 edges, 52025 markings/sec, 1940 secs
lola: 95702145 markings, 1495215843 edges, 41633 markings/sec, 1945 secs
lola: 95904584 markings, 1498984068 edges, 40488 markings/sec, 1950 secs
lola: 96131080 markings, 1502802007 edges, 45299 markings/sec, 1955 secs
lola: 96370130 markings, 1506682005 edges, 47810 markings/sec, 1960 secs
lola: 96585540 markings, 1510537370 edges, 43082 markings/sec, 1965 secs
lola: 96807659 markings, 1514423674 edges, 44424 markings/sec, 1970 secs
lola: 97021196 markings, 1518308022 edges, 42707 markings/sec, 1975 secs
lola: 97223962 markings, 1522174148 edges, 40553 markings/sec, 1980 secs
lola: 97438944 markings, 1526056943 edges, 42996 markings/sec, 1985 secs
lola: 97642777 markings, 1529881268 edges, 40767 markings/sec, 1990 secs
lola: 97853621 markings, 1533669108 edges, 42169 markings/sec, 1995 secs
lola: 98099111 markings, 1537456388 edges, 49098 markings/sec, 2000 secs
lola: 98381496 markings, 1541248571 edges, 56477 markings/sec, 2005 secs
lola: 98605803 markings, 1545097358 edges, 44861 markings/sec, 2010 secs
lola: 98805379 markings, 1548900262 edges, 39915 markings/sec, 2015 secs
lola: 99009291 markings, 1552631821 edges, 40782 markings/sec, 2020 secs
lola: 99230984 markings, 1556525142 edges, 44339 markings/sec, 2025 secs
lola: 99441938 markings, 1560401351 edges, 42191 markings/sec, 2030 secs
lola: 99643361 markings, 1564250796 edges, 40285 markings/sec, 2035 secs
lola: 99843277 markings, 1568134815 edges, 39983 markings/sec, 2040 secs
lola: 100036615 markings, 1572021709 edges, 38668 markings/sec, 2045 secs
lola: 100221865 markings, 1575873484 edges, 37050 markings/sec, 2050 secs
lola: 100420313 markings, 1579758817 edges, 39690 markings/sec, 2055 secs
lola: 100606019 markings, 1583589500 edges, 37141 markings/sec, 2060 secs
lola: 100793672 markings, 1587366456 edges, 37531 markings/sec, 2065 secs
lola: 100994877 markings, 1591147667 edges, 40241 markings/sec, 2070 secs
lola: 101260719 markings, 1594969133 edges, 53168 markings/sec, 2075 secs
lola: 101496706 markings, 1598775975 edges, 47197 markings/sec, 2080 secs
lola: 101687471 markings, 1602618979 edges, 38153 markings/sec, 2085 secs
lola: 101872771 markings, 1606413002 edges, 37060 markings/sec, 2090 secs
lola: 102081403 markings, 1610198984 edges, 41726 markings/sec, 2095 secs
lola: 102312530 markings, 1614095247 edges, 46225 markings/sec, 2100 secs
lola: 102539364 markings, 1617942149 edges, 45367 markings/sec, 2105 secs
lola: 102762679 markings, 1621797385 edges, 44663 markings/sec, 2110 secs
lola: 102967601 markings, 1625651422 edges, 40984 markings/sec, 2115 secs
lola: 103171149 markings, 1629453136 edges, 40710 markings/sec, 2120 secs
lola: 103392108 markings, 1633328711 edges, 44192 markings/sec, 2125 secs
lola: 103594946 markings, 1637191013 edges, 40568 markings/sec, 2130 secs
lola: 103799733 markings, 1640993262 edges, 40957 markings/sec, 2135 secs
lola: 104003551 markings, 1644894079 edges, 40764 markings/sec, 2140 secs
lola: 104190427 markings, 1648750619 edges, 37375 markings/sec, 2145 secs
lola: 104379093 markings, 1652560453 edges, 37733 markings/sec, 2150 secs
lola: 104595083 markings, 1656424125 edges, 43198 markings/sec, 2155 secs
lola: 104799190 markings, 1660277541 edges, 40821 markings/sec, 2160 secs
lola: 104993495 markings, 1664117441 edges, 38861 markings/sec, 2165 secs
lola: 105181739 markings, 1667870478 edges, 37649 markings/sec, 2170 secs
lola: 105377892 markings, 1671627531 edges, 39231 markings/sec, 2175 secs
lola: 105567510 markings, 1675338845 edges, 37924 markings/sec, 2180 secs
lola: 105777098 markings, 1679098278 edges, 41918 markings/sec, 2185 secs
lola: 105979207 markings, 1682814397 edges, 40422 markings/sec, 2190 secs
lola: 106261599 markings, 1686606805 edges, 56478 markings/sec, 2195 secs
lola: 106525713 markings, 1690377801 edges, 52823 markings/sec, 2200 secs
lola: 106792565 markings, 1694092047 edges, 53370 markings/sec, 2205 secs
lola: 107011838 markings, 1697946154 edges, 43855 markings/sec, 2210 secs
lola: 107214179 markings, 1701790851 edges, 40468 markings/sec, 2215 secs
lola: 107407981 markings, 1705613618 edges, 38760 markings/sec, 2220 secs
lola: 107594886 markings, 1709345053 edges, 37381 markings/sec, 2225 secs
lola: 107792672 markings, 1713093241 edges, 39557 markings/sec, 2230 secs
lola: 107979703 markings, 1716794024 edges, 37406 markings/sec, 2235 secs
lola: 108195628 markings, 1720595023 edges, 43185 markings/sec, 2240 secs
lola: 108351505 markings, 1723358872 edges, 31175 markings/sec, 2245 secs
lola: 108545653 markings, 1727126907 edges, 38830 markings/sec, 2250 secs
lola: 108743907 markings, 1730892706 edges, 39651 markings/sec, 2255 secs
lola: 108935953 markings, 1734621844 edges, 38409 markings/sec, 2260 secs
lola: 109114054 markings, 1738393375 edges, 35620 markings/sec, 2265 secs
lola: 109304645 markings, 1742135698 edges, 38118 markings/sec, 2270 secs
lola: 109491428 markings, 1745895358 edges, 37357 markings/sec, 2275 secs
lola: 109673121 markings, 1749619566 edges, 36339 markings/sec, 2280 secs
lola: 109861972 markings, 1753302283 edges, 37770 markings/sec, 2285 secs
lola: 110075453 markings, 1756953041 edges, 42696 markings/sec, 2290 secs
lola: 110327383 markings, 1760624779 edges, 50386 markings/sec, 2295 secs
lola: 110541032 markings, 1764332112 edges, 42730 markings/sec, 2300 secs
lola: 110722453 markings, 1768050282 edges, 36284 markings/sec, 2305 secs
lola: 110903067 markings, 1771695699 edges, 36123 markings/sec, 2310 secs
lola: 111112317 markings, 1775406656 edges, 41850 markings/sec, 2315 secs
lola: 111347217 markings, 1779196743 edges, 46980 markings/sec, 2320 secs
lola: 111559206 markings, 1782952183 edges, 42398 markings/sec, 2325 secs
lola: 111775481 markings, 1786725295 edges, 43255 markings/sec, 2330 secs
lola: 111985037 markings, 1790483053 edges, 41911 markings/sec, 2335 secs
lola: 112177848 markings, 1794259186 edges, 38562 markings/sec, 2340 secs
lola: 112392226 markings, 1798030630 edges, 42876 markings/sec, 2345 secs
lola: 112589957 markings, 1801790320 edges, 39546 markings/sec, 2350 secs
lola: 112788863 markings, 1805483361 edges, 39781 markings/sec, 2355 secs
lola: 112999649 markings, 1809142618 edges, 42157 markings/sec, 2360 secs
lola: 113282589 markings, 1812847966 edges, 56588 markings/sec, 2365 secs
lola: 113527240 markings, 1816552976 edges, 48930 markings/sec, 2370 secs
lola: time limit reached - aborting
lola:
preliminary result: no no no unknown no no no no unknown no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no unknown no no no no unknown no
lola:
preliminary result: no no no unknown no no no no unknown no
lola: memory consumption: 1736 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="DiscoveryGPU-PT-12a"
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 DiscoveryGPU-PT-12a, 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 r094-tall-162048902400166"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DiscoveryGPU-PT-12a.tgz
mv DiscoveryGPU-PT-12a 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 ;