About the Execution of 2020-gold for TokenRing-PT-020
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
4487.403 | 3600000.00 | 3637513.00 | 10892.40 | FTTTFFTFTT??FT?F | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r284-smll-162123894300053.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2021-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2020
Input is TokenRing-PT-020, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r284-smll-162123894300053
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 80M
-rw-r--r-- 1 mcc users 731K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 3.6M May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.2M May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 33M May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.6K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 258K Mar 28 16:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 896K Mar 28 16:46 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8M Mar 28 16:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 4.8M Mar 28 16:46 LTLFireability.xml
-rw-r--r-- 1 mcc users 197K Mar 27 14:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 623K Mar 27 14:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.0M Mar 25 20:17 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14M Mar 25 20:17 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 50K Mar 22 08:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 121K Mar 22 08:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:52 equiv_col
-rw-r--r-- 1 mcc users 4 May 5 16:52 instance
-rw-r--r-- 1 mcc users 6 May 5 16:52 iscolored
-rw-r--r-- 1 mcc users 6.0M May 5 16:52 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME TokenRing-PT-020-00
FORMULA_NAME TokenRing-PT-020-01
FORMULA_NAME TokenRing-PT-020-02
FORMULA_NAME TokenRing-PT-020-03
FORMULA_NAME TokenRing-PT-020-04
FORMULA_NAME TokenRing-PT-020-05
FORMULA_NAME TokenRing-PT-020-06
FORMULA_NAME TokenRing-PT-020-07
FORMULA_NAME TokenRing-PT-020-08
FORMULA_NAME TokenRing-PT-020-09
FORMULA_NAME TokenRing-PT-020-10
FORMULA_NAME TokenRing-PT-020-11
FORMULA_NAME TokenRing-PT-020-12
FORMULA_NAME TokenRing-PT-020-13
FORMULA_NAME TokenRing-PT-020-14
FORMULA_NAME TokenRing-PT-020-15
=== Now, execution of the tool begins
BK_START 1621414066521
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-19 08:47:48] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2021-05-19 08:47:48] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-19 08:47:49] [INFO ] Load time of PNML (sax parser for PT used): 637 ms
[2021-05-19 08:47:49] [INFO ] Transformed 441 places.
[2021-05-19 08:47:49] [INFO ] Transformed 8421 transitions.
[2021-05-19 08:47:49] [INFO ] Found NUPN structural information;
[2021-05-19 08:47:49] [INFO ] Parsed PT model containing 441 places and 8421 transitions in 754 ms.
Parsed 16 properties from file /home/mcc/execution/LTLCardinality.xml in 253 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 0 resets, run finished after 981 ms. (steps per millisecond=101 ) properties seen :[1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
// Phase 1: matrix 8421 rows 441 cols
[2021-05-19 08:47:51] [INFO ] Computed 21 place invariants in 56 ms
[2021-05-19 08:47:51] [INFO ] [Real]Absence check using 21 positive place invariants in 52 ms returned sat
[2021-05-19 08:47:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 08:47:58] [INFO ] [Real]Absence check using state equation in 6619 ms returned sat
[2021-05-19 08:47:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 08:47:59] [INFO ] [Nat]Absence check using 21 positive place invariants in 23 ms returned unsat
Successfully simplified 1 atomic propositions for a total of 1 simplifications.
[2021-05-19 08:48:00] [INFO ] Initial state reduction rules for CTL removed 9 formulas.
[2021-05-19 08:48:00] [INFO ] Flatten gal took : 699 ms
FORMULA TokenRing-PT-020-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-PT-020-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-PT-020-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-PT-020-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-PT-020-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-PT-020-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-PT-020-02 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-PT-020-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-PT-020-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-19 08:48:00] [INFO ] Applying decomposition
[2021-05-19 08:48:00] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2021-05-19 08:48:00] [INFO ] Flatten gal took : 393 ms
[2021-05-19 08:48:00] [INFO ] Decomposing Gal with order
[2021-05-19 08:48:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-19 08:48:06] [INFO ] Removed a total of 7980 redundant transitions.
[2021-05-19 08:48:06] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2021-05-19 08:48:06] [INFO ] Flatten gal took : 5136 ms
[2021-05-19 08:48:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 8400 labels/synchronizations in 1642 ms.
[2021-05-19 08:48:08] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
FORMULA TokenRing-PT-020-13 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-PT-020-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-PT-020-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-19 08:48:08] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLCardinality.sr.xml took 6 ms.
[2021-05-19 08:48:08] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 103 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ TokenRing-PT-020 @ 3570 seconds
FORMULA TokenRing-PT-020-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLCardinality @ TokenRing-PT-020
{
"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=LTLCardinality.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLCardinality.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Wed May 19 08:48:10 2021
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 890
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 6,
"adisj": 3,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 2,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "X (F ((G ((((p332 <= 0)) OR ((1 <= p93)))) AND ((((p372 <= 0)) OR ((1 <= p11))) AND (((p332 <= 0)) OR ((1 <= p93)))))))",
"processed_size": 122,
"rewrites": 22
},
"result":
{
"edges": 502,
"markings": 502,
"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":
{
"error": null,
"memory": 228584,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "G(F(*)) : G((F((X(F(**)) AND **)) AND (X(F(*)) OR (X(F(**)) AND **)))) : X(F((G(**) AND (** AND **)))) : (F(**) OR X(G(**)))"
},
"net":
{
"arcs": 33684,
"conflict_clusters": 1,
"places": 441,
"places_significant": 420,
"singleton_clusters": 0,
"transitions": 8421
},
"result":
{
"interim_value": "unknown unknown no unknown ",
"preliminary_value": "unknown unknown no unknown "
},
"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: 8862/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 441
lola: finding significant places
lola: 441 places, 8421 transitions, 420 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 LTLCardinality.xml
lola: LP says that atomic proposition is always true: (p270 <= 1)
lola: LP says that atomic proposition is always true: (p270 <= 1)
lola: LP says that atomic proposition is always true: (p368 <= 1)
lola: LP says that atomic proposition is always true: (p277 <= 1)
lola: LP says that atomic proposition is always true: (p194 <= 1)
lola: LP says that atomic proposition is always true: (p317 <= 1)
lola: LP says that atomic proposition is always true: (p93 <= 1)
lola: LP says that atomic proposition is always true: (p136 <= 1)
lola: LP says that atomic proposition is always true: (p93 <= 1)
lola: LP says that atomic proposition is always true: (p11 <= 1)
lola: LP says that atomic proposition is always true: (p93 <= 1)
lola: LP says that atomic proposition is always true: (p85 <= 1)
lola: LP says that atomic proposition is always true: (p420 <= 1)
lola: (X (X (((1 <= p270)))) U (F (((1 <= p270))) U NOT(F (G ((((p283 <= 0)) OR ((1 <= p368)))))))) : G ((F (NOT(X ((((p220 <= 0)) OR ((1 <= p277)))))) U (X (F (((1 <= p194)))) AND (((p417 <= 0)) OR ((1 <= p317)))))) : F ((((((p332 <= 0)) OR ((1 <= p93))) U ((((p228 <= 0)) OR ((1 <= p136))) U (1 <= 0))) OR X (F (((G ((((p332 <= 0)) OR ((1 <= p93)))) AND (((p372 <= 0)) OR ((1 <= p11)))) AND (((p332 <= 0)) OR ((1 <= p93)))))))) : (((1 <= 0) U ((0 <= 0) U ((1 <= p85)))) OR G (X ((((p31 <= 0)) OR ((1 <= p420))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:425
lola: rewrite Frontend/Parser/formula_rewrite.k:425
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:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 890 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((F ((X (F (((1 <= p194)))) AND (((p417 <= 0)) OR ((1 <= p317))))) AND (X (F ((((1 <= p220)) AND ((p277 <= 0))))) OR (X (F (((1 <= p194)))) AND (((p417 <= 0)) OR ((1 <= p317)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F ((X (F (((1 <= p194)))) AND (((p417 <= 0)) OR ((1 <= p317))))) AND (X (F ((((1 <= p220)) AND ((p277 <= 0))))) OR (X (F (((1 <= p194)))) AND (((p417 <= 0)) OR ((1 <= p317)))))))
lola: processed formula length: 184
lola: 22 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 166186 markings, 775095 edges, 33237 markings/sec, 0 secs
lola: 326767 markings, 1675154 edges, 32116 markings/sec, 5 secs
lola: 470622 markings, 2546061 edges, 28771 markings/sec, 10 secs
lola: 621614 markings, 3445998 edges, 30198 markings/sec, 15 secs
lola: 777708 markings, 4340945 edges, 31219 markings/sec, 20 secs
lola: 939388 markings, 5222674 edges, 32336 markings/sec, 25 secs
lola: 1097953 markings, 6115405 edges, 31713 markings/sec, 30 secs
lola: 1247255 markings, 7008268 edges, 29860 markings/sec, 35 secs
lola: 1379173 markings, 7895775 edges, 26384 markings/sec, 40 secs
lola: 1524773 markings, 8806116 edges, 29120 markings/sec, 45 secs
lola: 1665861 markings, 9722490 edges, 28218 markings/sec, 50 secs
lola: 1796539 markings, 10650988 edges, 26136 markings/sec, 55 secs
lola: 1927009 markings, 11586832 edges, 26094 markings/sec, 60 secs
lola: 2069007 markings, 12485338 edges, 28400 markings/sec, 65 secs
lola: 2197881 markings, 13401858 edges, 25775 markings/sec, 70 secs
lola: 2343730 markings, 14305169 edges, 29170 markings/sec, 75 secs
lola: 2493199 markings, 15202220 edges, 29894 markings/sec, 80 secs
lola: 2642979 markings, 16097922 edges, 29956 markings/sec, 85 secs
lola: 2786133 markings, 17012910 edges, 28631 markings/sec, 90 secs
lola: 2935351 markings, 17901965 edges, 29844 markings/sec, 95 secs
lola: 3075042 markings, 18813606 edges, 27938 markings/sec, 100 secs
lola: 3211123 markings, 19720368 edges, 27216 markings/sec, 105 secs
lola: 3339090 markings, 20646869 edges, 25593 markings/sec, 110 secs
lola: 3463298 markings, 21573424 edges, 24842 markings/sec, 115 secs
lola: 3598024 markings, 22488207 edges, 26945 markings/sec, 120 secs
lola: 3732731 markings, 23402436 edges, 26941 markings/sec, 125 secs
lola: 3861455 markings, 24325297 edges, 25745 markings/sec, 130 secs
lola: 3981854 markings, 25256325 edges, 24080 markings/sec, 135 secs
lola: 4098964 markings, 26191249 edges, 23422 markings/sec, 140 secs
lola: 4247693 markings, 27082886 edges, 29746 markings/sec, 145 secs
lola: 4384069 markings, 27995981 edges, 27275 markings/sec, 150 secs
lola: 4513596 markings, 28922664 edges, 25905 markings/sec, 155 secs
lola: 4638147 markings, 29850603 edges, 24910 markings/sec, 160 secs
lola: 4765676 markings, 30764496 edges, 25506 markings/sec, 165 secs
lola: 4896180 markings, 31676957 edges, 26101 markings/sec, 170 secs
lola: 5050351 markings, 32580429 edges, 30834 markings/sec, 175 secs
lola: 5201244 markings, 33484117 edges, 30179 markings/sec, 180 secs
lola: 5340579 markings, 34412532 edges, 27867 markings/sec, 185 secs
lola: 5476935 markings, 35340504 edges, 27271 markings/sec, 190 secs
lola: 5617351 markings, 36261000 edges, 28083 markings/sec, 195 secs
lola: 5755723 markings, 37188973 edges, 27674 markings/sec, 200 secs
lola: 5905234 markings, 38079071 edges, 29902 markings/sec, 205 secs
lola: 6047254 markings, 38987603 edges, 28404 markings/sec, 210 secs
lola: 6180365 markings, 39917206 edges, 26622 markings/sec, 215 secs
lola: 6314411 markings, 40856352 edges, 26809 markings/sec, 220 secs
lola: 6454248 markings, 41763738 edges, 27967 markings/sec, 225 secs
lola: 6582334 markings, 42685269 edges, 25617 markings/sec, 230 secs
lola: 6714784 markings, 43606827 edges, 26490 markings/sec, 235 secs
lola: 6843447 markings, 44537486 edges, 25733 markings/sec, 240 secs
lola: 6963008 markings, 45482036 edges, 23912 markings/sec, 245 secs
lola: 7085791 markings, 46424832 edges, 24557 markings/sec, 250 secs
lola: 7206029 markings, 47364798 edges, 24048 markings/sec, 255 secs
lola: 7330932 markings, 48310249 edges, 24981 markings/sec, 260 secs
lola: 7460226 markings, 49233546 edges, 25859 markings/sec, 265 secs
lola: 7595680 markings, 50157829 edges, 27091 markings/sec, 270 secs
lola: 7723946 markings, 51090165 edges, 25653 markings/sec, 275 secs
lola: 7859059 markings, 52003302 edges, 27023 markings/sec, 280 secs
lola: 7986893 markings, 52916106 edges, 25567 markings/sec, 285 secs
lola: 8111131 markings, 53847357 edges, 24848 markings/sec, 290 secs
lola: 8239555 markings, 54765742 edges, 25685 markings/sec, 295 secs
lola: 8362397 markings, 55683681 edges, 24568 markings/sec, 300 secs
lola: 8484147 markings, 56611266 edges, 24350 markings/sec, 305 secs
lola: 8600748 markings, 57529723 edges, 23320 markings/sec, 310 secs
lola: 8712508 markings, 58464510 edges, 22352 markings/sec, 315 secs
lola: 8822585 markings, 59411333 edges, 22015 markings/sec, 320 secs
lola: 8938406 markings, 60344040 edges, 23164 markings/sec, 325 secs
lola: 9056068 markings, 61280106 edges, 23532 markings/sec, 330 secs
lola: 9182167 markings, 62175784 edges, 25220 markings/sec, 335 secs
lola: 9308214 markings, 63068149 edges, 25209 markings/sec, 340 secs
lola: 9426206 markings, 63968224 edges, 23598 markings/sec, 345 secs
lola: 9539486 markings, 64879254 edges, 22656 markings/sec, 350 secs
lola: 9674611 markings, 65778290 edges, 27025 markings/sec, 355 secs
lola: 9809543 markings, 66676865 edges, 26986 markings/sec, 360 secs
lola: 9935751 markings, 67591813 edges, 25242 markings/sec, 365 secs
lola: 10067852 markings, 68498464 edges, 26420 markings/sec, 370 secs
lola: 10190989 markings, 69421414 edges, 24627 markings/sec, 375 secs
lola: 10307939 markings, 70342599 edges, 23390 markings/sec, 380 secs
lola: 10444778 markings, 71245474 edges, 27368 markings/sec, 385 secs
lola: 10576704 markings, 72154139 edges, 26385 markings/sec, 390 secs
lola: 10736386 markings, 73036834 edges, 31936 markings/sec, 395 secs
lola: 10880511 markings, 73936601 edges, 28825 markings/sec, 400 secs
lola: 11025547 markings, 74834675 edges, 29007 markings/sec, 405 secs
lola: 11179922 markings, 75718821 edges, 30875 markings/sec, 410 secs
lola: 11327266 markings, 76613042 edges, 29469 markings/sec, 415 secs
lola: 11458064 markings, 77528219 edges, 26160 markings/sec, 420 secs
lola: 11592808 markings, 78430255 edges, 26949 markings/sec, 425 secs
lola: 11713868 markings, 79348239 edges, 24212 markings/sec, 430 secs
lola: 11846887 markings, 80249560 edges, 26604 markings/sec, 435 secs
lola: 11982603 markings, 81138150 edges, 27143 markings/sec, 440 secs
lola: 12124708 markings, 82025244 edges, 28421 markings/sec, 445 secs
lola: 12265612 markings, 82915188 edges, 28181 markings/sec, 450 secs
lola: 12397989 markings, 83837474 edges, 26475 markings/sec, 455 secs
lola: 12519993 markings, 84756245 edges, 24401 markings/sec, 460 secs
lola: 12653987 markings, 85656265 edges, 26799 markings/sec, 465 secs
lola: 12789957 markings, 86560867 edges, 27194 markings/sec, 470 secs
lola: 12920771 markings, 87463770 edges, 26163 markings/sec, 475 secs
lola: 13044980 markings, 88379137 edges, 24842 markings/sec, 480 secs
lola: 13164958 markings, 89307783 edges, 23996 markings/sec, 485 secs
lola: 13285189 markings, 90210531 edges, 24046 markings/sec, 490 secs
lola: 13395800 markings, 91129210 edges, 22122 markings/sec, 495 secs
lola: 13514002 markings, 92045067 edges, 23640 markings/sec, 500 secs
lola: 13628607 markings, 92959570 edges, 22921 markings/sec, 505 secs
lola: 13760037 markings, 93857355 edges, 26286 markings/sec, 510 secs
lola: 13898559 markings, 94759169 edges, 27704 markings/sec, 515 secs
lola: 14037208 markings, 95680363 edges, 27730 markings/sec, 520 secs
lola: 14177008 markings, 96592328 edges, 27960 markings/sec, 525 secs
lola: 14309412 markings, 97510950 edges, 26481 markings/sec, 530 secs
lola: 14428341 markings, 98443312 edges, 23786 markings/sec, 535 secs
lola: 14555605 markings, 99315043 edges, 25453 markings/sec, 540 secs
lola: 14682328 markings, 100217719 edges, 25345 markings/sec, 545 secs
lola: 14801288 markings, 101113213 edges, 23792 markings/sec, 550 secs
lola: 14922873 markings, 102019617 edges, 24317 markings/sec, 555 secs
lola: 15039828 markings, 102935171 edges, 23391 markings/sec, 560 secs
lola: 15148639 markings, 103862424 edges, 21762 markings/sec, 565 secs
lola: 15264602 markings, 104774275 edges, 23193 markings/sec, 570 secs
lola: 15383307 markings, 105653522 edges, 23741 markings/sec, 575 secs
lola: 15501662 markings, 106568160 edges, 23671 markings/sec, 580 secs
lola: 15614015 markings, 107482118 edges, 22471 markings/sec, 585 secs
lola: 15717188 markings, 108359647 edges, 20635 markings/sec, 590 secs
lola: 15817001 markings, 109251648 edges, 19963 markings/sec, 595 secs
lola: 15949608 markings, 110152840 edges, 26521 markings/sec, 600 secs
lola: 16071920 markings, 111054566 edges, 24462 markings/sec, 605 secs
lola: 16193242 markings, 111987995 edges, 24264 markings/sec, 610 secs
lola: 16304697 markings, 112920809 edges, 22291 markings/sec, 615 secs
lola: 16423817 markings, 113835105 edges, 23824 markings/sec, 620 secs
lola: 16533982 markings, 114764323 edges, 22033 markings/sec, 625 secs
lola: 16683311 markings, 115663905 edges, 29866 markings/sec, 630 secs
lola: 16816930 markings, 116599795 edges, 26724 markings/sec, 635 secs
lola: 16950424 markings, 117518761 edges, 26699 markings/sec, 640 secs
lola: 17085901 markings, 118428972 edges, 27095 markings/sec, 645 secs
lola: 17221002 markings, 119327509 edges, 27020 markings/sec, 650 secs
lola: 17345722 markings, 120253888 edges, 24944 markings/sec, 655 secs
lola: 17472601 markings, 121167995 edges, 25376 markings/sec, 660 secs
lola: 17597521 markings, 122083273 edges, 24984 markings/sec, 665 secs
lola: 17712118 markings, 123016908 edges, 22919 markings/sec, 670 secs
lola: 17826470 markings, 123952053 edges, 22870 markings/sec, 675 secs
lola: 17948210 markings, 124876455 edges, 24348 markings/sec, 680 secs
lola: 18080914 markings, 125775259 edges, 26541 markings/sec, 685 secs
lola: 18207435 markings, 126689506 edges, 25304 markings/sec, 690 secs
lola: 18331223 markings, 127618973 edges, 24758 markings/sec, 695 secs
lola: 18445385 markings, 128562236 edges, 22832 markings/sec, 700 secs
lola: 18566569 markings, 129487223 edges, 24237 markings/sec, 705 secs
lola: 18690835 markings, 130400558 edges, 24853 markings/sec, 710 secs
lola: 18806863 markings, 131335866 edges, 23206 markings/sec, 715 secs
lola: 18921880 markings, 132263283 edges, 23003 markings/sec, 720 secs
lola: 19034483 markings, 133189465 edges, 22521 markings/sec, 725 secs
lola: 19143448 markings, 134124766 edges, 21793 markings/sec, 730 secs
lola: 19248328 markings, 135070496 edges, 20976 markings/sec, 735 secs
lola: 19355872 markings, 135991765 edges, 21509 markings/sec, 740 secs
lola: 19479321 markings, 136908454 edges, 24690 markings/sec, 745 secs
lola: 19594742 markings, 137845807 edges, 23084 markings/sec, 750 secs
lola: 19718789 markings, 138755541 edges, 24809 markings/sec, 755 secs
lola: 19838358 markings, 139675652 edges, 23914 markings/sec, 760 secs
lola: 19955219 markings, 140591191 edges, 23372 markings/sec, 765 secs
lola: 20067317 markings, 141507821 edges, 22420 markings/sec, 770 secs
lola: 20171409 markings, 142441474 edges, 20818 markings/sec, 775 secs
lola: 20286054 markings, 143352792 edges, 22929 markings/sec, 780 secs
lola: 20394869 markings, 144286863 edges, 21763 markings/sec, 785 secs
lola: 20505651 markings, 145213350 edges, 22156 markings/sec, 790 secs
lola: 20609149 markings, 146147686 edges, 20700 markings/sec, 795 secs
lola: 20707059 markings, 147087588 edges, 19582 markings/sec, 800 secs
lola: 20814887 markings, 148013997 edges, 21566 markings/sec, 805 secs
lola: 20929563 markings, 148917783 edges, 22935 markings/sec, 810 secs
lola: 21039328 markings, 149797746 edges, 21953 markings/sec, 815 secs
lola: 21145096 markings, 150656074 edges, 21154 markings/sec, 820 secs
lola: 21245747 markings, 151541237 edges, 20130 markings/sec, 825 secs
lola: 21373893 markings, 152427566 edges, 25629 markings/sec, 830 secs
lola: 21492332 markings, 153306195 edges, 23688 markings/sec, 835 secs
lola: 21614817 markings, 154206319 edges, 24497 markings/sec, 840 secs
lola: 21727167 markings, 155120690 edges, 22470 markings/sec, 845 secs
lola: 21847425 markings, 156025231 edges, 24052 markings/sec, 850 secs
lola: 21960404 markings, 156941217 edges, 22596 markings/sec, 855 secs
lola: 22070070 markings, 157852578 edges, 21933 markings/sec, 860 secs
lola: 22186671 markings, 158752367 edges, 23320 markings/sec, 865 secs
lola: 22310765 markings, 159657803 edges, 24819 markings/sec, 870 secs
lola: 22435832 markings, 160562446 edges, 25013 markings/sec, 875 secs
lola: 22590560 markings, 161420699 edges, 30946 markings/sec, 880 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown
lola: memory consumption: 3804724 KB
lola: time consumption: 900 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 890 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((G ((((p332 <= 0)) OR ((1 <= p93)))) AND ((((p372 <= 0)) OR ((1 <= p11))) AND (((p332 <= 0)) OR ((1 <= p93)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((G ((((p332 <= 0)) OR ((1 <= p93)))) AND ((((p372 <= 0)) OR ((1 <= p11))) AND (((p332 <= 0)) OR ((1 <= p93)))))))
lola: processed formula length: 122
lola: 22 rewrites
lola: closed formula file LTLCardinality.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: 502 markings, 502 edges
lola: ========================================
lola: subprocess 2 will run for 1335 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (((1 <= p85))) OR X (G ((((p31 <= 0)) OR ((1 <= p420))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 1335 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p85)))
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: ((p85 <= 0))
lola: processed formula length: 12
lola: 24 rewrites
lola: closed formula file LTLCardinality.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: 3392 markings, 8623 edges, 678 markings/sec, 0 secs
lola: 6853 markings, 21085 edges, 692 markings/sec, 5 secs
lola: 10444 markings, 32695 edges, 718 markings/sec, 10 secs
lola: 13973 markings, 44748 edges, 706 markings/sec, 15 secs
lola: 17405 markings, 56757 edges, 686 markings/sec, 20 secs
lola: 20909 markings, 69433 edges, 701 markings/sec, 25 secs
lola: 24278 markings, 84349 edges, 674 markings/sec, 30 secs
lola: 27658 markings, 100180 edges, 676 markings/sec, 35 secs
lola: 31198 markings, 116161 edges, 708 markings/sec, 40 secs
lola: 34672 markings, 131291 edges, 695 markings/sec, 45 secs
lola: 38155 markings, 146219 edges, 697 markings/sec, 50 secs
lola: 41566 markings, 162217 edges, 682 markings/sec, 55 secs
lola: 45115 markings, 176662 edges, 710 markings/sec, 60 secs
lola: 48557 markings, 188367 edges, 688 markings/sec, 65 secs
lola: 52025 markings, 200460 edges, 694 markings/sec, 70 secs
lola: 55423 markings, 213435 edges, 680 markings/sec, 75 secs
lola: 58773 markings, 228042 edges, 670 markings/sec, 80 secs
lola: 62213 markings, 243617 edges, 688 markings/sec, 85 secs
lola: 65664 markings, 259072 edges, 690 markings/sec, 90 secs
lola: 69086 markings, 274818 edges, 684 markings/sec, 95 secs
lola: 72612 markings, 289075 edges, 705 markings/sec, 100 secs
lola: 76098 markings, 304405 edges, 697 markings/sec, 105 secs
lola: 79548 markings, 316898 edges, 690 markings/sec, 110 secs
lola: 83068 markings, 329823 edges, 704 markings/sec, 115 secs
lola: 86400 markings, 343520 edges, 666 markings/sec, 120 secs
lola: 89781 markings, 359247 edges, 676 markings/sec, 125 secs
lola: 93208 markings, 375619 edges, 685 markings/sec, 130 secs
lola: 96655 markings, 392006 edges, 689 markings/sec, 135 secs
lola: 100067 markings, 406984 edges, 682 markings/sec, 140 secs
lola: 103500 markings, 421868 edges, 687 markings/sec, 145 secs
lola: 106932 markings, 435811 edges, 686 markings/sec, 150 secs
lola: 110337 markings, 451338 edges, 681 markings/sec, 155 secs
lola: 113724 markings, 467224 edges, 677 markings/sec, 160 secs
lola: 117134 markings, 483294 edges, 682 markings/sec, 165 secs
lola: 120555 markings, 498963 edges, 684 markings/sec, 170 secs
lola: 123946 markings, 514217 edges, 678 markings/sec, 175 secs
lola: 127374 markings, 530681 edges, 686 markings/sec, 180 secs
lola: 130678 markings, 548706 edges, 661 markings/sec, 185 secs
lola: 134011 markings, 567178 edges, 667 markings/sec, 190 secs
lola: 137352 markings, 585721 edges, 668 markings/sec, 195 secs
lola: 140637 markings, 603897 edges, 657 markings/sec, 200 secs
lola: 143959 markings, 622577 edges, 664 markings/sec, 205 secs
lola: 147140 markings, 640603 edges, 636 markings/sec, 210 secs
lola: 150147 markings, 657819 edges, 601 markings/sec, 215 secs
lola: 153439 markings, 676422 edges, 658 markings/sec, 220 secs
lola: 156835 markings, 695520 edges, 679 markings/sec, 225 secs
lola: 160228 markings, 714347 edges, 679 markings/sec, 230 secs
lola: 163718 markings, 731659 edges, 698 markings/sec, 235 secs
lola: 167152 markings, 749064 edges, 687 markings/sec, 240 secs
lola: 170531 markings, 768175 edges, 676 markings/sec, 245 secs
lola: 173793 markings, 786294 edges, 652 markings/sec, 250 secs
lola: 177260 markings, 803068 edges, 693 markings/sec, 255 secs
lola: 180732 markings, 819214 edges, 694 markings/sec, 260 secs
lola: 184155 markings, 838139 edges, 685 markings/sec, 265 secs
lola: 187658 markings, 855819 edges, 701 markings/sec, 270 secs
lola: 191210 markings, 872393 edges, 710 markings/sec, 275 secs
lola: 194833 markings, 887303 edges, 725 markings/sec, 280 secs
lola: 198214 markings, 898812 edges, 676 markings/sec, 285 secs
lola: 201689 markings, 910361 edges, 695 markings/sec, 290 secs
lola: 204995 markings, 923870 edges, 661 markings/sec, 295 secs
lola: 208306 markings, 938079 edges, 662 markings/sec, 300 secs
lola: 211651 markings, 952614 edges, 669 markings/sec, 305 secs
lola: 215015 markings, 967494 edges, 673 markings/sec, 310 secs
lola: 218424 markings, 982792 edges, 682 markings/sec, 315 secs
lola: 221886 markings, 998405 edges, 692 markings/sec, 320 secs
lola: 225375 markings, 1014139 edges, 698 markings/sec, 325 secs
lola: 228971 markings, 1029823 edges, 719 markings/sec, 330 secs
lola: 232632 markings, 1045321 edges, 732 markings/sec, 335 secs
lola: 236047 markings, 1058779 edges, 683 markings/sec, 340 secs
lola: 239385 markings, 1072566 edges, 668 markings/sec, 345 secs
lola: 242768 markings, 1086804 edges, 677 markings/sec, 350 secs
lola: 246202 markings, 1102030 edges, 687 markings/sec, 355 secs
lola: 249679 markings, 1117104 edges, 695 markings/sec, 360 secs
lola: 253145 markings, 1132361 edges, 693 markings/sec, 365 secs
lola: 256594 markings, 1147546 edges, 690 markings/sec, 370 secs
lola: 260045 markings, 1162485 edges, 690 markings/sec, 375 secs
lola: 263352 markings, 1177955 edges, 661 markings/sec, 380 secs
lola: 266660 markings, 1193416 edges, 662 markings/sec, 385 secs
lola: 269982 markings, 1209195 edges, 664 markings/sec, 390 secs
lola: 273261 markings, 1224810 edges, 656 markings/sec, 395 secs
lola: 276528 markings, 1241467 edges, 653 markings/sec, 400 secs
lola: 279701 markings, 1258412 edges, 635 markings/sec, 405 secs
lola: 283045 markings, 1274919 edges, 669 markings/sec, 410 secs
lola: 286365 markings, 1292362 edges, 664 markings/sec, 415 secs
lola: 289728 markings, 1309446 edges, 673 markings/sec, 420 secs
lola: 292974 markings, 1325564 edges, 649 markings/sec, 425 secs
lola: 296319 markings, 1342709 edges, 669 markings/sec, 430 secs
lola: 299680 markings, 1360036 edges, 672 markings/sec, 435 secs
lola: 303049 markings, 1378170 edges, 674 markings/sec, 440 secs
lola: 306411 markings, 1396369 edges, 672 markings/sec, 445 secs
lola: 309844 markings, 1414250 edges, 687 markings/sec, 450 secs
lola: 313222 markings, 1433070 edges, 676 markings/sec, 455 secs
lola: 316684 markings, 1451315 edges, 692 markings/sec, 460 secs
lola: 320165 markings, 1469901 edges, 696 markings/sec, 465 secs
lola: 323565 markings, 1487870 edges, 680 markings/sec, 470 secs
lola: 326988 markings, 1506394 edges, 685 markings/sec, 475 secs
lola: 330512 markings, 1525267 edges, 705 markings/sec, 480 secs
lola: 333932 markings, 1543025 edges, 684 markings/sec, 485 secs
lola: 337436 markings, 1561882 edges, 701 markings/sec, 490 secs
lola: 340886 markings, 1580037 edges, 690 markings/sec, 495 secs
lola: 344382 markings, 1598787 edges, 699 markings/sec, 500 secs
lola: 347836 markings, 1617019 edges, 691 markings/sec, 505 secs
lola: 351296 markings, 1635300 edges, 692 markings/sec, 510 secs
lola: 354882 markings, 1654207 edges, 717 markings/sec, 515 secs
lola: 358462 markings, 1671681 edges, 716 markings/sec, 520 secs
lola: 361910 markings, 1683815 edges, 690 markings/sec, 525 secs
lola: 365193 markings, 1697286 edges, 657 markings/sec, 530 secs
lola: 368543 markings, 1712287 edges, 670 markings/sec, 535 secs
lola: 371935 markings, 1727384 edges, 678 markings/sec, 540 secs
lola: 375470 markings, 1742650 edges, 707 markings/sec, 545 secs
lola: 379095 markings, 1757585 edges, 725 markings/sec, 550 secs
lola: 382710 markings, 1772992 edges, 723 markings/sec, 555 secs
lola: 386090 markings, 1787361 edges, 676 markings/sec, 560 secs
lola: 389401 markings, 1803742 edges, 662 markings/sec, 565 secs
lola: 392710 markings, 1820480 edges, 662 markings/sec, 570 secs
lola: 396055 markings, 1837240 edges, 669 markings/sec, 575 secs
lola: 399450 markings, 1853842 edges, 679 markings/sec, 580 secs
lola: 402815 markings, 1870549 edges, 673 markings/sec, 585 secs
lola: 406209 markings, 1887717 edges, 679 markings/sec, 590 secs
lola: 409604 markings, 1904805 edges, 679 markings/sec, 595 secs
lola: 413085 markings, 1922841 edges, 696 markings/sec, 600 secs
lola: 416508 markings, 1940252 edges, 685 markings/sec, 605 secs
lola: 419946 markings, 1958065 edges, 688 markings/sec, 610 secs
lola: 423390 markings, 1975725 edges, 689 markings/sec, 615 secs
lola: 426900 markings, 1992707 edges, 702 markings/sec, 620 secs
lola: 430429 markings, 2010262 edges, 706 markings/sec, 625 secs
lola: 433838 markings, 2027617 edges, 682 markings/sec, 630 secs
lola: 437278 markings, 2045303 edges, 688 markings/sec, 635 secs
lola: 440678 markings, 2063054 edges, 680 markings/sec, 640 secs
lola: 444056 markings, 2080759 edges, 676 markings/sec, 645 secs
lola: 447467 markings, 2098457 edges, 682 markings/sec, 650 secs
lola: 450908 markings, 2116097 edges, 688 markings/sec, 655 secs
lola: 454427 markings, 2133223 edges, 704 markings/sec, 660 secs
lola: 457883 markings, 2146631 edges, 691 markings/sec, 665 secs
lola: 461277 markings, 2160514 edges, 679 markings/sec, 670 secs
lola: 464545 markings, 2175729 edges, 654 markings/sec, 675 secs
lola: 467868 markings, 2191373 edges, 665 markings/sec, 680 secs
lola: 471238 markings, 2207233 edges, 674 markings/sec, 685 secs
lola: 474656 markings, 2223418 edges, 684 markings/sec, 690 secs
lola: 478067 markings, 2239426 edges, 682 markings/sec, 695 secs
lola: 481248 markings, 2254390 edges, 636 markings/sec, 700 secs
lola: 484539 markings, 2272940 edges, 658 markings/sec, 705 secs
lola: 487829 markings, 2291603 edges, 658 markings/sec, 710 secs
lola: 491116 markings, 2310332 edges, 657 markings/sec, 715 secs
lola: 494456 markings, 2328680 edges, 668 markings/sec, 720 secs
lola: 497816 markings, 2345359 edges, 672 markings/sec, 725 secs
lola: 501110 markings, 2362636 edges, 659 markings/sec, 730 secs
lola: 504376 markings, 2381145 edges, 653 markings/sec, 735 secs
lola: 507408 markings, 2398415 edges, 606 markings/sec, 740 secs
lola: 510732 markings, 2415602 edges, 665 markings/sec, 745 secs
lola: 514061 markings, 2433588 edges, 666 markings/sec, 750 secs
lola: 517420 markings, 2452553 edges, 672 markings/sec, 755 secs
lola: 520835 markings, 2470008 edges, 683 markings/sec, 760 secs
lola: 524264 markings, 2489252 edges, 686 markings/sec, 765 secs
lola: 527728 markings, 2507488 edges, 693 markings/sec, 770 secs
lola: 531259 markings, 2526380 edges, 706 markings/sec, 775 secs
lola: 534941 markings, 2545393 edges, 736 markings/sec, 780 secs
lola: 538382 markings, 2563443 edges, 688 markings/sec, 785 secs
lola: 541902 markings, 2581928 edges, 704 markings/sec, 790 secs
lola: 545450 markings, 2600810 edges, 710 markings/sec, 795 secs
lola: 548990 markings, 2619610 edges, 708 markings/sec, 800 secs
lola: 552519 markings, 2638139 edges, 706 markings/sec, 805 secs
lola: 556011 markings, 2655606 edges, 698 markings/sec, 810 secs
lola: 559305 markings, 2672708 edges, 659 markings/sec, 815 secs
lola: 562601 markings, 2689967 edges, 659 markings/sec, 820 secs
lola: 565910 markings, 2707413 edges, 662 markings/sec, 825 secs
lola: 569191 markings, 2727090 edges, 656 markings/sec, 830 secs
lola: 572490 markings, 2745634 edges, 660 markings/sec, 835 secs
lola: 575825 markings, 2763768 edges, 667 markings/sec, 840 secs
lola: 579123 markings, 2783168 edges, 660 markings/sec, 845 secs
lola: 582449 markings, 2802551 edges, 665 markings/sec, 850 secs
lola: 585726 markings, 2822700 edges, 655 markings/sec, 855 secs
lola: 589013 markings, 2842615 edges, 657 markings/sec, 860 secs
lola: 592313 markings, 2862193 edges, 660 markings/sec, 865 secs
lola: 595633 markings, 2880988 edges, 664 markings/sec, 870 secs
lola: 598951 markings, 2900636 edges, 664 markings/sec, 875 secs
lola: 602248 markings, 2920726 edges, 659 markings/sec, 880 secs
lola: 605560 markings, 2940873 edges, 662 markings/sec, 885 secs
lola: 608889 markings, 2960926 edges, 666 markings/sec, 890 secs
lola: 612220 markings, 2981382 edges, 666 markings/sec, 895 secs
lola: 615584 markings, 3000020 edges, 673 markings/sec, 900 secs
lola: 618928 markings, 3019685 edges, 669 markings/sec, 905 secs
lola: 622253 markings, 3039756 edges, 665 markings/sec, 910 secs
lola: 625591 markings, 3060330 edges, 668 markings/sec, 915 secs
lola: 629013 markings, 3079138 edges, 684 markings/sec, 920 secs
lola: 632450 markings, 3098448 edges, 687 markings/sec, 925 secs
lola: 635771 markings, 3118727 edges, 664 markings/sec, 930 secs
lola: 639137 markings, 3138212 edges, 673 markings/sec, 935 secs
lola: 642343 markings, 3156897 edges, 641 markings/sec, 940 secs
lola: 645664 markings, 3177148 edges, 664 markings/sec, 945 secs
lola: 648885 markings, 3196516 edges, 644 markings/sec, 950 secs
lola: 652237 markings, 3217018 edges, 670 markings/sec, 955 secs
lola: 655628 markings, 3237259 edges, 678 markings/sec, 960 secs
lola: 658970 markings, 3257447 edges, 668 markings/sec, 965 secs
lola: 662342 markings, 3277636 edges, 674 markings/sec, 970 secs
lola: 665698 markings, 3297569 edges, 671 markings/sec, 975 secs
lola: 669043 markings, 3317998 edges, 669 markings/sec, 980 secs
lola: 672474 markings, 3338498 edges, 686 markings/sec, 985 secs
lola: 675870 markings, 3359840 edges, 679 markings/sec, 990 secs
lola: 679304 markings, 3381332 edges, 687 markings/sec, 995 secs
lola: 682748 markings, 3401936 edges, 689 markings/sec, 1000 secs
lola: 686264 markings, 3423798 edges, 703 markings/sec, 1005 secs
lola: 689643 markings, 3444838 edges, 676 markings/sec, 1010 secs
lola: 692968 markings, 3463781 edges, 665 markings/sec, 1015 secs
lola: 696255 markings, 3483945 edges, 657 markings/sec, 1020 secs
lola: 699604 markings, 3503924 edges, 670 markings/sec, 1025 secs
lola: 702919 markings, 3523913 edges, 663 markings/sec, 1030 secs
lola: 706337 markings, 3544553 edges, 684 markings/sec, 1035 secs
lola: 709779 markings, 3566199 edges, 688 markings/sec, 1040 secs
lola: 713165 markings, 3587595 edges, 677 markings/sec, 1045 secs
lola: 716652 markings, 3609364 edges, 697 markings/sec, 1050 secs
lola: 720043 markings, 3628539 edges, 678 markings/sec, 1055 secs
lola: 723423 markings, 3648642 edges, 676 markings/sec, 1060 secs
lola: 726904 markings, 3669093 edges, 696 markings/sec, 1065 secs
lola: 730344 markings, 3690273 edges, 688 markings/sec, 1070 secs
lola: 733777 markings, 3711504 edges, 687 markings/sec, 1075 secs
lola: 737204 markings, 3732640 edges, 685 markings/sec, 1080 secs
lola: 740733 markings, 3754535 edges, 706 markings/sec, 1085 secs
lola: 744114 markings, 3773958 edges, 676 markings/sec, 1090 secs
lola: 747537 markings, 3794188 edges, 685 markings/sec, 1095 secs
lola: 750956 markings, 3815206 edges, 684 markings/sec, 1100 secs
lola: 754401 markings, 3836466 edges, 689 markings/sec, 1105 secs
lola: 757831 markings, 3857124 edges, 686 markings/sec, 1110 secs
lola: 761210 markings, 3877204 edges, 676 markings/sec, 1115 secs
lola: 764605 markings, 3898008 edges, 679 markings/sec, 1120 secs
lola: 768032 markings, 3919190 edges, 685 markings/sec, 1125 secs
lola: 771459 markings, 3940690 edges, 685 markings/sec, 1130 secs
lola: 774856 markings, 3961149 edges, 679 markings/sec, 1135 secs
lola: 778285 markings, 3981411 edges, 686 markings/sec, 1140 secs
lola: 781746 markings, 4002441 edges, 692 markings/sec, 1145 secs
lola: 785304 markings, 4024116 edges, 712 markings/sec, 1150 secs
lola: 788895 markings, 4045581 edges, 718 markings/sec, 1155 secs
lola: 792391 markings, 4066197 edges, 699 markings/sec, 1160 secs
lola: 795942 markings, 4086614 edges, 710 markings/sec, 1165 secs
lola: 799580 markings, 4103037 edges, 728 markings/sec, 1170 secs
lola: 802980 markings, 4114833 edges, 680 markings/sec, 1175 secs
lola: 806541 markings, 4126555 edges, 712 markings/sec, 1180 secs
lola: 810059 markings, 4139196 edges, 704 markings/sec, 1185 secs
lola: 813389 markings, 4151949 edges, 666 markings/sec, 1190 secs
lola: 816790 markings, 4166401 edges, 680 markings/sec, 1195 secs
lola: 820111 markings, 4182064 edges, 664 markings/sec, 1200 secs
lola: 823463 markings, 4197769 edges, 670 markings/sec, 1205 secs
lola: 826955 markings, 4213821 edges, 698 markings/sec, 1210 secs
lola: 830561 markings, 4229738 edges, 721 markings/sec, 1215 secs
lola: 834311 markings, 4245010 edges, 750 markings/sec, 1220 secs
lola: 837932 markings, 4258285 edges, 724 markings/sec, 1225 secs
lola: 841351 markings, 4271038 edges, 684 markings/sec, 1230 secs
lola: 844779 markings, 4285731 edges, 686 markings/sec, 1235 secs
lola: 848129 markings, 4301233 edges, 670 markings/sec, 1240 secs
lola: 851525 markings, 4317093 edges, 679 markings/sec, 1245 secs
lola: 855115 markings, 4333542 edges, 718 markings/sec, 1250 secs
lola: 858549 markings, 4346870 edges, 687 markings/sec, 1255 secs
lola: 861985 markings, 4362430 edges, 687 markings/sec, 1260 secs
lola: 865433 markings, 4378361 edges, 690 markings/sec, 1265 secs
lola: 868880 markings, 4394247 edges, 689 markings/sec, 1270 secs
lola: 872315 markings, 4409807 edges, 687 markings/sec, 1275 secs
lola: 875793 markings, 4425380 edges, 696 markings/sec, 1280 secs
lola: 879084 markings, 4441343 edges, 658 markings/sec, 1285 secs
lola: 882377 markings, 4459696 edges, 659 markings/sec, 1290 secs
lola: 885669 markings, 4477106 edges, 658 markings/sec, 1295 secs
lola: 888997 markings, 4495041 edges, 666 markings/sec, 1300 secs
lola: 892305 markings, 4513053 edges, 662 markings/sec, 1305 secs
lola: 895653 markings, 4531127 edges, 670 markings/sec, 1310 secs
lola: 898983 markings, 4549208 edges, 666 markings/sec, 1315 secs
lola: 902341 markings, 4567902 edges, 672 markings/sec, 1320 secs
lola: 905700 markings, 4585783 edges, 672 markings/sec, 1325 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown no unknown
lola: memory consumption: 292380 KB
lola: time consumption: 2235 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: memory consumption: 292380 KB
lola: time consumption: 2235 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 1335 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((((1 <= p283)) AND ((p368 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((((1 <= p283)) AND ((p368 <= 0)))))
lola: processed formula length: 41
lola: 22 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 3476 markings, 9872 edges, 695 markings/sec, 0 secs
lola: 6891 markings, 24189 edges, 683 markings/sec, 5 secs
lola: 10452 markings, 39480 edges, 712 markings/sec, 10 secs
lola: 14069 markings, 54553 edges, 723 markings/sec, 15 secs
lola: 17507 markings, 69280 edges, 688 markings/sec, 20 secs
lola: 20939 markings, 81445 edges, 686 markings/sec, 25 secs
lola: 24351 markings, 96652 edges, 682 markings/sec, 30 secs
lola: 27723 markings, 111261 edges, 674 markings/sec, 35 secs
lola: 31122 markings, 125320 edges, 680 markings/sec, 40 secs
lola: 34509 markings, 139497 edges, 677 markings/sec, 45 secs
lola: 37893 markings, 156459 edges, 677 markings/sec, 50 secs
lola: 41288 markings, 175078 edges, 679 markings/sec, 55 secs
lola: 44702 markings, 193205 edges, 683 markings/sec, 60 secs
lola: 48015 markings, 210941 edges, 663 markings/sec, 65 secs
lola: 51431 markings, 229040 edges, 683 markings/sec, 70 secs
lola: 54896 markings, 247456 edges, 693 markings/sec, 75 secs
lola: 58425 markings, 265219 edges, 706 markings/sec, 80 secs
lola: 61831 markings, 282526 edges, 681 markings/sec, 85 secs
lola: 65289 markings, 299149 edges, 692 markings/sec, 90 secs
lola: 68789 markings, 319378 edges, 700 markings/sec, 95 secs
lola: 72276 markings, 337273 edges, 697 markings/sec, 100 secs
lola: 75850 markings, 356966 edges, 715 markings/sec, 105 secs
lola: 79356 markings, 374819 edges, 701 markings/sec, 110 secs
lola: 82846 markings, 393362 edges, 698 markings/sec, 115 secs
lola: 86312 markings, 411313 edges, 693 markings/sec, 120 secs
lola: 89723 markings, 425298 edges, 682 markings/sec, 125 secs
lola: 93222 markings, 440750 edges, 700 markings/sec, 130 secs
lola: 96590 markings, 457946 edges, 674 markings/sec, 135 secs
lola: 99976 markings, 475449 edges, 677 markings/sec, 140 secs
lola: 103403 markings, 493549 edges, 685 markings/sec, 145 secs
lola: 106845 markings, 510961 edges, 688 markings/sec, 150 secs
lola: 110215 markings, 527758 edges, 674 markings/sec, 155 secs
lola: 113271 markings, 541025 edges, 611 markings/sec, 160 secs
lola: 116633 markings, 556294 edges, 672 markings/sec, 165 secs
lola: 120015 markings, 572730 edges, 676 markings/sec, 170 secs
lola: 123460 markings, 589854 edges, 689 markings/sec, 175 secs
lola: 126910 markings, 607539 edges, 690 markings/sec, 180 secs
lola: 130427 markings, 625179 edges, 703 markings/sec, 185 secs
lola: 133796 markings, 642697 edges, 674 markings/sec, 190 secs
lola: 137156 markings, 661312 edges, 672 markings/sec, 195 secs
lola: 140498 markings, 683075 edges, 668 markings/sec, 200 secs
lola: 143815 markings, 703639 edges, 663 markings/sec, 205 secs
lola: 147049 markings, 723359 edges, 647 markings/sec, 210 secs
lola: 149632 markings, 738122 edges, 517 markings/sec, 215 secs
lola: 153002 markings, 756911 edges, 674 markings/sec, 220 secs
lola: 156364 markings, 774435 edges, 672 markings/sec, 225 secs
lola: 159896 markings, 788645 edges, 706 markings/sec, 230 secs
lola: 163310 markings, 805350 edges, 683 markings/sec, 235 secs
lola: 166713 markings, 822634 edges, 681 markings/sec, 240 secs
lola: 169452 markings, 835965 edges, 548 markings/sec, 245 secs
lola: 172714 markings, 853502 edges, 652 markings/sec, 250 secs
lola: 176070 markings, 873452 edges, 671 markings/sec, 255 secs
lola: 179437 markings, 894436 edges, 673 markings/sec, 260 secs
lola: 181849 markings, 908881 edges, 482 markings/sec, 265 secs
lola: 185340 markings, 928006 edges, 698 markings/sec, 270 secs
lola: 188735 markings, 946284 edges, 679 markings/sec, 275 secs
lola: 192127 markings, 964953 edges, 678 markings/sec, 280 secs
lola: 195505 markings, 986127 edges, 676 markings/sec, 285 secs
lola: 198181 markings, 1002763 edges, 535 markings/sec, 290 secs
lola: 200338 markings, 1016175 edges, 431 markings/sec, 295 secs
lola: 203829 markings, 1032862 edges, 698 markings/sec, 300 secs
lola: 207414 markings, 1049631 edges, 717 markings/sec, 305 secs
lola: 210818 markings, 1066286 edges, 681 markings/sec, 310 secs
lola: 214191 markings, 1084641 edges, 675 markings/sec, 315 secs
lola: 217105 markings, 1102811 edges, 583 markings/sec, 320 secs
lola: 220062 markings, 1119437 edges, 591 markings/sec, 325 secs
lola: 223507 markings, 1138628 edges, 689 markings/sec, 330 secs
lola: 226892 markings, 1156704 edges, 677 markings/sec, 335 secs
lola: 229825 markings, 1174701 edges, 587 markings/sec, 340 secs
lola: 231879 markings, 1187531 edges, 411 markings/sec, 345 secs
lola: 235300 markings, 1204449 edges, 684 markings/sec, 350 secs
lola: 238701 markings, 1219437 edges, 680 markings/sec, 355 secs
lola: 242142 markings, 1236548 edges, 688 markings/sec, 360 secs
lola: 245522 markings, 1252800 edges, 676 markings/sec, 365 secs
lola: 248886 markings, 1268242 edges, 673 markings/sec, 370 secs
lola: 252291 markings, 1287247 edges, 681 markings/sec, 375 secs
lola: 255599 markings, 1304241 edges, 662 markings/sec, 380 secs
lola: 258994 markings, 1322152 edges, 679 markings/sec, 385 secs
lola: 262346 markings, 1343129 edges, 670 markings/sec, 390 secs
lola: 265723 markings, 1364502 edges, 675 markings/sec, 395 secs
lola: 269114 markings, 1383679 edges, 678 markings/sec, 400 secs
lola: 272559 markings, 1401908 edges, 689 markings/sec, 405 secs
lola: 275942 markings, 1421461 edges, 677 markings/sec, 410 secs
lola: 279390 markings, 1441858 edges, 690 markings/sec, 415 secs
lola: 282813 markings, 1461957 edges, 685 markings/sec, 420 secs
lola: 286205 markings, 1479724 edges, 678 markings/sec, 425 secs
lola: 289596 markings, 1498482 edges, 678 markings/sec, 430 secs
lola: 292981 markings, 1520203 edges, 677 markings/sec, 435 secs
lola: 296368 markings, 1541189 edges, 677 markings/sec, 440 secs
lola: 299635 markings, 1560841 edges, 653 markings/sec, 445 secs
lola: 302582 markings, 1578775 edges, 589 markings/sec, 450 secs
lola: 305955 markings, 1596562 edges, 675 markings/sec, 455 secs
lola: 309357 markings, 1615407 edges, 680 markings/sec, 460 secs
lola: 312709 markings, 1636270 edges, 670 markings/sec, 465 secs
lola: 315621 markings, 1654229 edges, 582 markings/sec, 470 secs
lola: 318851 markings, 1673971 edges, 646 markings/sec, 475 secs
lola: 322212 markings, 1694936 edges, 672 markings/sec, 480 secs
lola: 325560 markings, 1717909 edges, 670 markings/sec, 485 secs
lola: 328900 markings, 1742158 edges, 668 markings/sec, 490 secs
lola: 330776 markings, 1755525 edges, 375 markings/sec, 495 secs
lola: 333299 markings, 1773407 edges, 505 markings/sec, 500 secs
lola: 336711 markings, 1792169 edges, 682 markings/sec, 505 secs
lola: 340123 markings, 1812530 edges, 682 markings/sec, 510 secs
lola: 342978 markings, 1829696 edges, 571 markings/sec, 515 secs
lola: 346364 markings, 1849938 edges, 677 markings/sec, 520 secs
lola: 349698 markings, 1872203 edges, 667 markings/sec, 525 secs
lola: 352182 markings, 1890134 edges, 497 markings/sec, 530 secs
lola: 355184 markings, 1911324 edges, 600 markings/sec, 535 secs
lola: 358679 markings, 1926556 edges, 699 markings/sec, 540 secs
lola: 361619 markings, 1940752 edges, 588 markings/sec, 545 secs
lola: 364800 markings, 1956275 edges, 636 markings/sec, 550 secs
lola: 368159 markings, 1975950 edges, 672 markings/sec, 555 secs
lola: 371287 markings, 1994186 edges, 626 markings/sec, 560 secs
lola: 374531 markings, 2012211 edges, 649 markings/sec, 565 secs
lola: 377810 markings, 2030823 edges, 656 markings/sec, 570 secs
lola: 381098 markings, 2049343 edges, 658 markings/sec, 575 secs
lola: 384537 markings, 2068530 edges, 688 markings/sec, 580 secs
lola: 387975 markings, 2089403 edges, 688 markings/sec, 585 secs
lola: 391411 markings, 2112892 edges, 687 markings/sec, 590 secs
lola: 394074 markings, 2130605 edges, 533 markings/sec, 595 secs
lola: 396204 markings, 2145310 edges, 426 markings/sec, 600 secs
lola: 399321 markings, 2163902 edges, 623 markings/sec, 605 secs
lola: 402775 markings, 2186587 edges, 691 markings/sec, 610 secs
lola: 406267 markings, 2207832 edges, 698 markings/sec, 615 secs
lola: 409711 markings, 2222453 edges, 689 markings/sec, 620 secs
lola: 413162 markings, 2237330 edges, 690 markings/sec, 625 secs
lola: 416517 markings, 2254960 edges, 671 markings/sec, 630 secs
lola: 419894 markings, 2271940 edges, 675 markings/sec, 635 secs
lola: 423331 markings, 2288736 edges, 687 markings/sec, 640 secs
lola: 426835 markings, 2307710 edges, 701 markings/sec, 645 secs
lola: 430248 markings, 2325631 edges, 683 markings/sec, 650 secs
lola: 433629 markings, 2344918 edges, 676 markings/sec, 655 secs
lola: 436996 markings, 2366305 edges, 673 markings/sec, 660 secs
lola: 439813 markings, 2383268 edges, 563 markings/sec, 665 secs
lola: 443106 markings, 2402175 edges, 659 markings/sec, 670 secs
lola: 446446 markings, 2420123 edges, 668 markings/sec, 675 secs
lola: 449456 markings, 2438438 edges, 602 markings/sec, 680 secs
lola: 452241 markings, 2455383 edges, 557 markings/sec, 685 secs
lola: 455359 markings, 2471908 edges, 624 markings/sec, 690 secs
lola: 458353 markings, 2487931 edges, 599 markings/sec, 695 secs
lola: 461432 markings, 2507303 edges, 616 markings/sec, 700 secs
lola: 464529 markings, 2526086 edges, 619 markings/sec, 705 secs
lola: 467793 markings, 2545965 edges, 653 markings/sec, 710 secs
lola: 471155 markings, 2568644 edges, 672 markings/sec, 715 secs
lola: 473318 markings, 2584153 edges, 433 markings/sec, 720 secs
lola: 476050 markings, 2601724 edges, 546 markings/sec, 725 secs
lola: 479472 markings, 2622644 edges, 684 markings/sec, 730 secs
lola: 482912 markings, 2637711 edges, 688 markings/sec, 735 secs
lola: 486335 markings, 2655549 edges, 685 markings/sec, 740 secs
lola: 488904 markings, 2670311 edges, 514 markings/sec, 745 secs
lola: 491749 markings, 2686407 edges, 569 markings/sec, 750 secs
lola: 494203 markings, 2700998 edges, 491 markings/sec, 755 secs
lola: 496989 markings, 2716560 edges, 557 markings/sec, 760 secs
lola: 500592 markings, 2734822 edges, 721 markings/sec, 765 secs
lola: 504023 markings, 2753961 edges, 686 markings/sec, 770 secs
lola: 507483 markings, 2774260 edges, 692 markings/sec, 775 secs
lola: 510591 markings, 2791915 edges, 622 markings/sec, 780 secs
lola: 513530 markings, 2808859 edges, 588 markings/sec, 785 secs
lola: 516345 markings, 2827857 edges, 563 markings/sec, 790 secs
lola: 519037 markings, 2845503 edges, 538 markings/sec, 795 secs
lola: 521609 markings, 2862485 edges, 514 markings/sec, 800 secs
lola: 523862 markings, 2878239 edges, 451 markings/sec, 805 secs
lola: 526600 markings, 2896541 edges, 548 markings/sec, 810 secs
lola: 529289 markings, 2914416 edges, 538 markings/sec, 815 secs
lola: 532392 markings, 2933137 edges, 621 markings/sec, 820 secs
lola: 535236 markings, 2950940 edges, 569 markings/sec, 825 secs
lola: 537767 markings, 2968346 edges, 506 markings/sec, 830 secs
lola: 541045 markings, 2987519 edges, 656 markings/sec, 835 secs
lola: 543862 markings, 3003992 edges, 563 markings/sec, 840 secs
lola: 547271 markings, 3020303 edges, 682 markings/sec, 845 secs
lola: 550431 markings, 3037008 edges, 632 markings/sec, 850 secs
lola: 553211 markings, 3052974 edges, 556 markings/sec, 855 secs
lola: 555727 markings, 3067371 edges, 503 markings/sec, 860 secs
lola: 559107 markings, 3085134 edges, 676 markings/sec, 865 secs
lola: 562469 markings, 3104215 edges, 672 markings/sec, 870 secs
lola: 565508 markings, 3121903 edges, 608 markings/sec, 875 secs
lola: 568297 markings, 3140713 edges, 558 markings/sec, 880 secs
lola: 570532 markings, 3155805 edges, 447 markings/sec, 885 secs
lola: 573176 markings, 3173469 edges, 529 markings/sec, 890 secs
lola: 576267 markings, 3191252 edges, 618 markings/sec, 895 secs
lola: 578531 markings, 3206641 edges, 453 markings/sec, 900 secs
lola: 581394 markings, 3223622 edges, 573 markings/sec, 905 secs
lola: 584302 markings, 3239568 edges, 582 markings/sec, 910 secs
lola: 587720 markings, 3258217 edges, 684 markings/sec, 915 secs
lola: 590929 markings, 3276485 edges, 642 markings/sec, 920 secs
lola: 594204 markings, 3296825 edges, 655 markings/sec, 925 secs
lola: 597447 markings, 3317018 edges, 649 markings/sec, 930 secs
lola: 600657 markings, 3336132 edges, 642 markings/sec, 935 secs
lola: 603660 markings, 3355519 edges, 601 markings/sec, 940 secs
lola: 606877 markings, 3373156 edges, 643 markings/sec, 945 secs
lola: 610364 markings, 3391769 edges, 697 markings/sec, 950 secs
lola: 613879 markings, 3411354 edges, 703 markings/sec, 955 secs
lola: 617298 markings, 3432109 edges, 684 markings/sec, 960 secs
lola: 620783 markings, 3452536 edges, 697 markings/sec, 965 secs
lola: 623871 markings, 3470195 edges, 618 markings/sec, 970 secs
lola: 626783 markings, 3488595 edges, 582 markings/sec, 975 secs
lola: 629555 markings, 3504869 edges, 554 markings/sec, 980 secs
lola: 632337 markings, 3522474 edges, 556 markings/sec, 985 secs
lola: 635210 markings, 3540785 edges, 575 markings/sec, 990 secs
lola: 638762 markings, 3558355 edges, 710 markings/sec, 995 secs
lola: 642249 markings, 3578286 edges, 697 markings/sec, 1000 secs
lola: 645689 markings, 3597370 edges, 688 markings/sec, 1005 secs
lola: 648682 markings, 3615175 edges, 599 markings/sec, 1010 secs
lola: 651568 markings, 3632996 edges, 577 markings/sec, 1015 secs
lola: 654915 markings, 3650181 edges, 669 markings/sec, 1020 secs
lola: 658137 markings, 3667776 edges, 644 markings/sec, 1025 secs
lola: 661287 markings, 3686974 edges, 630 markings/sec, 1030 secs
lola: 664169 markings, 3704171 edges, 576 markings/sec, 1035 secs
lola: 666902 markings, 3720480 edges, 547 markings/sec, 1040 secs
lola: 670201 markings, 3735063 edges, 660 markings/sec, 1045 secs
lola: 673782 markings, 3750853 edges, 716 markings/sec, 1050 secs
lola: 676939 markings, 3767155 edges, 631 markings/sec, 1055 secs
lola: 680328 markings, 3782881 edges, 678 markings/sec, 1060 secs
lola: 683716 markings, 3798955 edges, 678 markings/sec, 1065 secs
lola: 687120 markings, 3817868 edges, 681 markings/sec, 1070 secs
lola: 690581 markings, 3835820 edges, 692 markings/sec, 1075 secs
lola: 693748 markings, 3852762 edges, 633 markings/sec, 1080 secs
lola: 697044 markings, 3873753 edges, 659 markings/sec, 1085 secs
lola: 700256 markings, 3893353 edges, 642 markings/sec, 1090 secs
lola: 703581 markings, 3912342 edges, 665 markings/sec, 1095 secs
lola: 707082 markings, 3930427 edges, 700 markings/sec, 1100 secs
lola: 710422 markings, 3949904 edges, 668 markings/sec, 1105 secs
lola: 713851 markings, 3970237 edges, 686 markings/sec, 1110 secs
lola: 717242 markings, 3989867 edges, 678 markings/sec, 1115 secs
lola: 720643 markings, 4007873 edges, 680 markings/sec, 1120 secs
lola: 724032 markings, 4026818 edges, 678 markings/sec, 1125 secs
lola: 727406 markings, 4048356 edges, 675 markings/sec, 1130 secs
lola: 730763 markings, 4069266 edges, 671 markings/sec, 1135 secs
lola: 733912 markings, 4088524 edges, 630 markings/sec, 1140 secs
lola: 736621 markings, 4105245 edges, 542 markings/sec, 1145 secs
lola: 740006 markings, 4123189 edges, 677 markings/sec, 1150 secs
lola: 743405 markings, 4141920 edges, 680 markings/sec, 1155 secs
lola: 746771 markings, 4162976 edges, 673 markings/sec, 1160 secs
lola: 749399 markings, 4179343 edges, 526 markings/sec, 1165 secs
lola: 752013 markings, 4195317 edges, 523 markings/sec, 1170 secs
lola: 755392 markings, 4216115 edges, 676 markings/sec, 1175 secs
lola: 758772 markings, 4238263 edges, 676 markings/sec, 1180 secs
lola: 762126 markings, 4262592 edges, 671 markings/sec, 1185 secs
lola: 764474 markings, 4279435 edges, 470 markings/sec, 1190 secs
lola: 765863 markings, 4289642 edges, 278 markings/sec, 1195 secs
lola: 769235 markings, 4310747 edges, 674 markings/sec, 1200 secs
lola: 772649 markings, 4329566 edges, 683 markings/sec, 1205 secs
lola: 775550 markings, 4347698 edges, 580 markings/sec, 1210 secs
lola: 778622 markings, 4366415 edges, 614 markings/sec, 1215 secs
lola: 781973 markings, 4387010 edges, 670 markings/sec, 1220 secs
lola: 785189 markings, 4409415 edges, 643 markings/sec, 1225 secs
lola: 786841 markings, 4421464 edges, 330 markings/sec, 1230 secs
lola: 790080 markings, 4442361 edges, 648 markings/sec, 1235 secs
lola: 793128 markings, 4458070 edges, 610 markings/sec, 1240 secs
lola: 796307 markings, 4476227 edges, 636 markings/sec, 1245 secs
lola: 799301 markings, 4494506 edges, 599 markings/sec, 1250 secs
lola: 802469 markings, 4512625 edges, 634 markings/sec, 1255 secs
lola: 805609 markings, 4531406 edges, 628 markings/sec, 1260 secs
lola: 808971 markings, 4552984 edges, 672 markings/sec, 1265 secs
lola: 811620 markings, 4572381 edges, 530 markings/sec, 1270 secs
lola: 813887 markings, 4588970 edges, 453 markings/sec, 1275 secs
lola: 817163 markings, 4608293 edges, 655 markings/sec, 1280 secs
lola: 820440 markings, 4625246 edges, 655 markings/sec, 1285 secs
lola: 823831 markings, 4644156 edges, 678 markings/sec, 1290 secs
lola: 827229 markings, 4665430 edges, 680 markings/sec, 1295 secs
lola: 830320 markings, 4684016 edges, 618 markings/sec, 1300 secs
lola: 833393 markings, 4702526 edges, 615 markings/sec, 1305 secs
lola: 836625 markings, 4722302 edges, 646 markings/sec, 1310 secs
lola: 839982 markings, 4743519 edges, 671 markings/sec, 1315 secs
lola: 843311 markings, 4766884 edges, 666 markings/sec, 1320 secs
lola: 846645 markings, 4791013 edges, 667 markings/sec, 1325 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown no unknown
lola: lola: caught signal User defined signal 1 - aborting LoLA
preliminary result: unknown unknown no unknown
lola:
preliminary result: unknown unknown no unknown
lola: memory consumption: 355724 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: lola: memory consumption: 228584 KB
...considering subproblem: G ((F ((X (F (((1 <= p194)))) AND (((p417 <= 0)) OR ((1 <= p317))))) AND (X (F ((((1 <= p220)) AND ((p277 <= 0))))) OR (X (F (((1 <= p194)))) AND (((p417 <= 0)) OR ((1 <= p317)))))))lola:
lola: time consumption: 3570 seconds
========================================lola:
lola: print data as JSON (--json)
SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: processed formula: G ((F ((X (F (((1 <= p194)))) AND (((p417 <= 0)) OR ((1 <= p317))))) AND (X (F ((((1 <= p220)) AND ((p277 <= 0))))) OR (X (F (((1 <= p194)))) AND (((p417 <= 0)) OR ((1 <= p317)))))))
lola: processed formula length: 184
lola: 22 rewrites
lola: closed formula file LTLCardinality.xml
lola: caught signal User defined signal 1 - aborting LoLA
rslt: finished
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16427332 kB
MemFree: 15823608 kB
After kill :
MemTotal: 16427332 kB
MemFree: 15823372 kB
--------------------
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="TokenRing-PT-020"
export BK_EXAMINATION="LTLCardinality"
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 TokenRing-PT-020, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r284-smll-162123894300053"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-PT-020.tgz
mv TokenRing-PT-020 execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;